A group of adults and two infants enjoy dinner.
Nobody is at dinner
Adults and infants enjoy dinner can not happen if nobody is at dinner.
exists e1 x1 x2 x3 x4 x5.(Theme(e1,x5) & Actor(e1,x1) & v_enjoy(e1) & n_dinner(x5) & of(x1,x2) & subset_of(x4,x2) & n_infant(x4) & card_eq_2(x4) & subset_of(x3,x2) & n_adult(x3) & n_group(x1))
-exists p1 x1.(exists x2.(at(x1,x2) & n_dinner(x2)) & n_person(x1))