Two women are sitting in the back of a truck
There is a truck with two women in it.
If there are only two women in the truck and both of them are sitting in the back then neither of them are driving and the truck is parked.
exists e1 x1 x2 x3.(n_back(x2) & in(e1,x2) & of(x2,x3) & n_truck(x3) & Actor(e1,x1) & v_sit(e1) & n_woman(x1) & card_eq_2(x1))
exists p1 x1 x2 x3.((x1 = x2) & with(x2,x3) & in(x3,x2) & n_thing(x2) & n_woman(x3) & card_eq_2(x3) & n_truck(x2))