At a party, an entertainer provides amusement to children in the form of balloon animals.
There are no children at this party.
No children is the opposite of children.
exists e1 x1 x2 x3 x4 x5 x6 x7.(n_form(x4) & at(e1,x7) & n_party(x7) & to(e1,x3) & in(x3,x4) & of(x4,x5) & n_animal(x5) & of(x5,x6) & n_balloon(x6) & n_child(x3) & Theme(e1,x2) & Actor(e1,x1) & v_provide(e1) & n_amusement(x2) & n_entertainer(x1))
exists p1 x1 x3.(n_party(x3) & -exists x2.((x1 = x2) & at(x2,x3) & n_child(x2)))