The ponies look like they love each other.
The ponies look like they hate each other
The ponies look like they love each other not hate each other.
exists e1 x1.(n_thing(x1) & n_pony(x1) & all x2.(n_other(x2) -> exists e2.(like(e1,e2) & Theme(e2,x2) & Actor(e2,x1) & v_love(e2))) & Actor(e1,x1) & v_look(e1))
exists e1 x1.(n_thing(x1) & n_pony(x1) & all x2.(n_other(x2) -> exists e2.(like(e1,e2) & Theme(e2,x2) & Actor(e2,x1) & v_hate(e2))) & Actor(e1,x1) & v_look(e1))