Reified Situation Calculus Example