:- consult(initial1).

goal(exists(c, and(city(c), eventually(and(and(at(person1, c), at(person2, c)), eventually(always(and(at(person1, city4), at(person2, city3))))))))).