People of different ages are looking at lighted machines of various bright colors in an indoor area.
A group of small kids inspect big machines outdoors.
The machines cannot be both indoors and outdoors The group cannot be both all small kids and all different ages
exists e1 s1 s2 s3 s4 x1 x2 x3 x4 x5 x6.(n_age(x3) & at(e1,x4) & in(x4,x6) & n_area(x6) & a_indoor(s4) & Theme(s4,x6) & of(x4,x5) & n_color(x5) & a_bright(s3) & Theme(s3,x5) & a_various(s2) & Theme(s2,x5) & n_machine(x4) & a_lighted(s1) & Theme(s1,x4) & Actor(e1,x1) & v_look(e1) & of(x1,x2) & -(x2 = x3) & n_age(x2) & n_people(x1))
exists e1 s1 s2 x1 x2 x3 x4.(Theme(e1,x3) & Actor(e1,x1) & v_inspect(e1) & Time(x3,x4) & n_outdoors(x4) & n_machine(x3) & a_big(s2) & Theme(s2,x3) & of(x1,x2) & n_kid(x2) & a_small(s1) & Theme(s1,x2) & n_group(x1))