two dogs, playing in a field, wrestling with each other
The dogs are playing outside in the sunshine.
Just because two dogs are outside it does not mean there is sunshine.
exists e2 e1 x1 x2 x3.(all x4.(n_other(x4) -> with(e2,x4)) & Actor(e2,x1) & v_wrestle(e2) & in(e1,x3) & n_field(x3) & Actor(e1,x2) & v_play(e1) & (x1 = x2) & n_dog(x1) & card_eq_2(x1))
exists e1 s1 x1 x2.(n_sunshine(x2) & n_dog(x1) & in(e1,x2) & a_outside(s1) & Manner(e1,s1) & Actor(e1,x1) & v_play(e1))