Two dachshunds, one black the other brown, run on grass.
Two dogs are riding in an airplane.
Dogs cannot run on grass and ride in an airplane at the same time.
exists e1 s1 x1 x2 x3 x4.(n_brown(x3) & on(e1,x4) & n_grass(x4) & Actor(e1,x1) & v_run(e1) & rel(x1,x2) & -(x2 = x3) & n_brown(x2) & a_black(s1) & Theme(s1,x2) & card_eq_1(x2) & n_dachshund(x1) & card_eq_2(x1))
exists e1 x1 x2.(in(e1,x2) & n_airplane(x2) & Actor(e1,x1) & v_ride(e1) & n_dog(x1) & card_eq_2(x1))