In the exercise, extend situation calculus to allow for actions that take place simultaneously.
Use a function called Simultaneously, which takes two actions as arguments and denotes the combined action. Consider a grid world containing two agents.
Write axioms describing the effects of simultaneous Forward actions.