The ponies look like they love each other.
The ponies are enjoying spending time together.
Because ponies love each other does not necessarily mean they are enjoying spending time together.
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 s1 x1 x2 x3.(n_pony(x1) & a_together(s1) & Manner(e1,s1) & Theme(e1,x2) & Actor(e1,x1) & v_enjoy(e1) & n_time(x2) & of(x2,x3) & n_spending(x3))