A dog hops in a field while another dog stands next to it.
The dogs are asleep
one either hops or is asleep, not both
exists e1 p1 x1 x2.(exists e2 p2 x3.(exists s1.(to(s1,x1) & Theme(s1,x3) & a_next(s1)) & Topic(e2,p2) & Actor(e2,x3) & v_stand(e2) & n_dog(x3) & -(x3 = x1)) & n_thing(x1) & n_dog(x1) & n_dog(x1) & while(e1,p1) & in(e1,x2) & n_field(x2) & Actor(e1,x1) & v_hop(e1))
exists s1 x1.(n_dog(x1) & Theme(s1,x1) & a_asleep(s1))