Child in red coat gets help with ice skating.
The child is ice skating in his shorts.
The child is not quite ice skating if he is getting help for it.
exists e1 s1 x1 x2 x3 x4 x5.(with(e1,x4) & n_skating(x4) & of(x4,x5) & n_ice(x5) & Theme(e1,x3) & Actor(e1,x1) & v_get(e1) & n_help(x3) & in(x1,x2) & n_coat(x2) & a_red(s1) & Theme(s1,x2) & n_child(x1))
exists p1 x1 x4.(n_shorts(x4) & of(x4,x1) & n_male(x1) & n_child(x1) & exists e1 x2 x3.((x1 = x2) & in(e1,x4) & Actor(e1,x3) & v_skate(e1) & (x2 = x3) & n_ice(x2)))