Two dogs run around together in the field.
The two dogs are napping in the field.
The dogs cannot run around and be napping the same time.
exists e1 s1 s2 x1 x2.(n_field(x2) & in(e1,x2) & a_together(s2) & Manner(e1,s2) & a_around(s1) & Manner(e1,s1) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & card_eq_2(x1))
exists e1 x1 x2.(n_field(x2) & n_dog(x1) & card_eq_2(x1) & in(e1,x2) & Actor(e1,x1) & v_nap(e1))