A man lays down to fix an old blue truck.
The mechanic is under the truck.
The man may not be a mechanic. Someone lying down to fix a truck may not be underneath the truck.
exists e1 p1 s1 x1.(a_down(s1) & Manner(e1,s1) & Topic(e1,p1) & Actor(e1,x1) & v_lay(e1) & exists e2 s2 s3 x2.(Theme(e2,x2) & Actor(e2,x1) & v_fix(e2) & n_truck(x2) & a_blue(s3) & Theme(s3,x2) & a_old(s2) & Theme(s2,x2)) & n_man(x1))
exists p1 x1 x2.(n_truck(x2) & n_mechanic(x1) & under(x1,x2))