ADL: exploring the middle ground between STRIPS and the situation calculus | Synapse