One horse has wraps around its legs.
Two horses cuddle.
Just because one horse has wraps around its legs does not mean that the two horses cuddle.
exists e1 x1 x2 x3.(Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & around(x2,x3) & n_leg(x3) & of(x3,x1) & n_thing(x1) & n_wrap(x2) & n_horse(x1) & card_eq_1(x1))
exists s1 x1 x2.(n_cuddle(x1) & a_.(s1) & Theme(s1,x1) & of(x1,x2) & n_horse(x2) & card_eq_2(x1) & a_topic(x1))