Three young girls are standing on three balance beams in a gym.
The are no balance beams in the gym.
If there are three balance beams in the gym, it is not true that there are no balance beams.
exists e1 s1 x1 x2 x3 x4.(in(e1,x4) & n_gym(x4) & on(e1,x2) & n_beam(x2) & of(x2,x3) & n_balance(x3) & card_eq_3(x2) & Actor(e1,x1) & v_stand(e1) & n_girl(x1) & a_young(s1) & Theme(s1,x1) & card_eq_3(x1))
(x)