Two ladies are walking on the road.
The two ladies went different ways
If the two ladies are walking on the road together, then they can't have went different ways.
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.(n_way(x3) & n_lady(x1) & card_eq_2(x1) & Theme(e1,x2) & Actor(e1,x1) & v_go(e1) & -(x2 = x3) & n_way(x2))