A dancer, with both arms and both legs spread, leaps into the air.
dancer leaps
A dancer who leaps is a dancer who leaps.
exists e2 e1 x1 x2 x3 x4 x5 x6 x7 x8 x9.(n_air(x9) & n_leg(x8) & n_arm(x7) & n_leg(x4) & n_arm(x3) & into(e2,x9) & Actor(e2,x5) & v_leap(e2) & with(x5,x6) & subset_of(x8,x6) & subset_of(x7,x6) & n_dancer(x5) & Actor(e1,x1) & v_spread(e1) & with(x1,x2) & subset_of(x4,x2) & subset_of(x3,x2) & n_dancer(x1))
exists x1 x2.(n_leap(x1) & of(x1,x2) & n_dancer(x2) & a_topic(x1))