:- consult(initial1).

goal(and(eventually(always(at(person1, city3))), eventually(always(at(person2, city3))))).