(GoTo(john, theCinema) ∧ GoTo(john, today)) ↔ GoTo(jack, theCinema) ∧ GoTo(jack, today)
(GoTo(john, theCinema) ∧ GoTo(john, today)) ↔ (On(ironman) ∧ ¬Bad(weather, today))
∃x (Day(x) ∧ March(x) → ¬Bad(weather, x))
On(ironman)
Day(presentMoment) ∧ March(presentMoment)
GoTo(john, theCinema) ∧ GoTo(john, today)