A snowboarder is leaping a mogul.
An athlete is doing tricks.
A snowboarder is an athlete.
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_leap(e1) & n_mogul(x2) & n_snowboarder(x1))
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_do(e1) & n_trick(x2) & n_athlete(x1))