Two dogs are running next to each other on the grass.
The dogs like eachother.
Two dogs running next to each other does not imply that they like eachother.
exists e1 x1 x2.(n_grass(x2) & on(e1,x2) & all x3.(n_other(x3) -> to(e1,x3)) & r_next(e1) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & card_eq_2(x1))
exists x1 x2.(n_dog(x1) & a_topic(x1) & like(x1,x2) & n_eachother(x2))