Children at an aquarium looking at different kinds of fish.
There are no children at any aquariums.
There can either be children or no children.
exists e1 x1 x2 x3 x4 x5.(n_kind(x4) & at(e1,x3) & of(x3,x5) & n_fish(x5) & -(x3 = x4) & n_kind(x3) & Actor(e1,x1) & v_look(e1) & at(x1,x2) & n_aquarium(x2) & n_child(x1))
exists p1 x1.(all x3.(n_aquarium(x3) -> at(p1,x3)) & -exists x2.((x1 = x2) & n_child(x2)))