Two men are walking with an elephant.
The men are fishing from the pier.
Men walking with an elephant can not also be fishing from the pier.
exists e1 x1 x2.(with(e1,x2) & n_elephant(x2) & Actor(e1,x1) & v_walk(e1) & n_man(x1) & card_eq_2(x1))
exists e1 x1 x2.(n_pier(x2) & n_man(x1) & from(e1,x2) & Actor(e1,x1) & v_fish(e1))