A group of
A group of children
A group of can mean anything, does not say group of children
exists x1.(a_topic(x1) & r_of(x1) & n_group(x1))
exists x1 x2.(a_topic(x1) & of(x1,x2) & n_child(x2) & n_group(x1))