Two dogs are standing in a field of grass and dirt.
Two cats are running outside in the fields.
The animals must either be dogs or cats, they can't be both simultaneously
exists e1 x1 x2 x3 x4 x5.(in(e1,x2) & of(x2,x3) & n_dirt(x5) & n_grass(x4) & subset_of(x5,x3) & subset_of(x4,x3) & n_field(x2) & Actor(e1,x1) & v_stand(e1) & n_dog(x1) & card_eq_2(x1))
exists e1 s1 x1 x2.(n_field(x2) & in(e1,x2) & a_outside(s1) & Manner(e1,s1) & Actor(e1,x1) & v_run(e1) & n_cat(x1) & card_eq_2(x1))