two dogs running in grassy area
The two dogs are asleep in the truck.
Two dogs running and two dogs asleep are pieces of information that totally contradict each other.
exists e1 s1 x1 x2 x3.(a_topic(x1) & in(e1,x3) & n_area(x3) & a_grassy(s1) & Theme(s1,x3) & Actor(e1,x2) & v_run(e1) & (x1 = x2) & n_dog(x1) & card_eq_2(x1))
exists s1 x1 x2.(n_truck(x2) & n_dog(x1) & card_eq_2(x1) & in(s1,x2) & Theme(s1,x1) & a_asleep(s1))