A man and a woman are standing in the middle of the highway looking at motorcycles on the road as traffic is passing.
The woman is 300 pounds.
Not all woman are 300 pounds.
exists e1 e2 p1 x1 x2 x3 x4 x5 x6 x7.(n_road(x6) & n_highway(x5) & n_middle(x4) & for(e1,e2) & at(e2,x7) & n_motorcycle(x7) & Actor(e2,x1) & v_look(e2) & exists e3 x8.(Actor(e3,x8) & v_pass(e3) & n_traffic(x8)) & as(e1,p1) & on(e1,x6) & in(e1,x4) & of(x4,x5) & Actor(e1,x1) & v_stand(e1) & subset_of(x3,x1) & n_woman(x3) & subset_of(x2,x1) & n_man(x2))
exists p1 x1.(n_woman(x1) & exists x2.((x1 = x2) & n_pound(x2) & card_eq_300(x2)))