A group of children dance and play instruments under colored lights.
A group of children are lit up by the colored lights.
If children are under colored lights, then the lights would make them lit up.
exists e2 e1 x1 x2 x3 x4 x5 x6 x7.(a_topic(x4) & under(e1,x7) & n_light(x7) & Theme(e2,x7) & v_color(e2) & Theme(e1,x6) & Actor(e1,x5) & v_play(e1) & n_instrument(x6) & (x4 = x5) & n_group(x4) & a_topic(x1) & of(x1,x2) & n_dance(x2) & of(x2,x3) & n_child(x3) & n_group(x1))
exists e2 e1 s1 x1 x2 x3.(n_light(x3) & Theme(e2,x3) & v_color(e2) & Actor(e1,x3) & a_up(s1) & Manner(e1,s1) & Theme(e1,x1) & v_light(e1) & of(x1,x2) & n_child(x2) & n_group(x1))