An old man in front of an Iron Man truck.
The Iron Man truck is on top of the man.
The truck cannot be both in front of and on top of the man.
exists s1 x1 x2 x3 x4 x5.(a_topic(x1) & in(x1,x2) & of(x2,x3) & n_truck(x3) & of(x3,x5) & n_man(x5) & (x3 = x4) & ne_org_iron(x4) & n_front(x2) & n_man(x1) & a_old(s1) & Theme(s1,x1))
exists p1 x1 x2 x3 x5.(n_man(x5) & n_truck(x1) & (x1 = x3) & ne_org_man(x3) & (x1 = x2) & ne_org_iron(x2) & exists x4.(on(x1,x4) & of(x4,x5) & n_top(x4)))