A person in a Santa outfit is greeting children outside a building while the parents watch on.
Santa is at the north pole greeting children.
Santa  cannot greet children outside a building and at the north pole at the same time.
exists e1 p1 x1 x2 x3 x4 x5 x6.(n_parent(x6) & for(p1,e1) & while(e1,x6) & outside(e1,x5) & n_building(x5) & Theme(e1,x4) & Actor(e1,x1) & v_greet(e1) & n_child(x4) & exists s1 x7 x8.((x1 = x7) & Theme(s1,x8) & a_on(s1) & (x7 = x8) & n_watch(x7)) & in(x1,x2) & n_outfit(x2) & (x2 = x3) & ne_geo_santa(x3) & n_person(x1))
exists p1 x1 x2 x3.(n_pole(x2) & of(x2,x3) & n_north(x3) & ne_geo_santa(x1) & exists e1 x4 x5.(at(x1,x2) & Theme(e1,x5) & Actor(e1,x4) & v_greet(e1) & n_child(x5) & (x2 = x4)))