Three girls doing back flips on the beach.
Dogs are doing back flips at the beach.
Dogs are not three girls doing back flips.
exists e1 e2 s1 x1 x2 x3.(n_beach(x3) & on(e2,x3) & Actor(e2,x1) & v_flip(e2) & a_back(s1) & Manner(e1,s1) & Actor(e1,x2) & v_do(e1) & (x1 = x2) & n_girl(x1) & card_eq_3(x1))
exists e1 e2 s1 x1 x2 x3.(n_beach(x3) & at(e2,x3) & Actor(e2,x1) & v_flip(e2) & a_back(s1) & Manner(e1,s1) & Actor(e1,x2) & v_do(e1) & (x1 = x2) & n_dog(x1))