Two large dogs are running together through the grass.
The dogs are indoors
They can't be in the grass and indoors at the same time.
exists e1 p1 s1 x1 x2.(n_grass(x2) & through(e1,x2) & exists s2.(Theme(s2,x1) & a_together(s2)) & Topic(e1,p1) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & a_large(s1) & Theme(s1,x1) & card_eq_2(x1))
exists p1 x1.(n_dog(x1) & exists x2.((x1 = x2) & n_indoor(x2)))