:- consult(initial1).

goal(all(c, or(not(city(c)), eventually(at(person1, c))))).