Several children and parents are at a colorful inflatable maze.
the kids and parents are together
When children and parents are somewhere, they are usually together. Children are kids.
exists p1 s1 x1 x2 x3.(exists s2 s3 x4.(at(x1,x4) & n_maze(x4) & a_inflatable(s3) & Theme(s3,x4) & a_colorful(s2) & Theme(s2,x4)) & subset_of(x3,x1) & n_parent(x3) & subset_of(x2,x1) & n_child(x2) & a_several(s1) & Theme(s1,x2))
exists s1 x1 x2 x3.(n_parent(x3) & n_kid(x2) & subset_of(x3,x1) & subset_of(x2,x1) & Theme(s1,x1) & a_together(s1))