Two ladies are walking on the road.
Two women are laying on the beach next to the ocean.
If the two ladies are walking on the road, then they cannot be laying on the beach next to the ocean.
exists e1 x1 x2.(n_road(x2) & on(e1,x2) & Actor(e1,x1) & v_walk(e1) & n_lady(x1) & card_eq_2(x1))
exists e1 x1 x2 x3 x4.(n_ocean(x4) & n_beach(x2) & on(e1,x2) & to(x3,x4) & next(x2,x3) & n_thing(x3) & Actor(e1,x1) & v_lay(e1) & n_woman(x1) & card_eq_2(x1))