premise: A snowboarder jumps high into the air off of a snowy ramp.
hypothesis: Snowboarder performs jump off a ramp.
explanation_1: A snowborder jumps high is the same as a snowborder performs jump.
explanation_2: To jump high, the snowboard must have performed a jump.
explanation_3: The ramp is snowy.
premise_logic: exists e1 p1 s1 x1 x2 x3.(n_air(x2) & of(e1,x3) & n_ramp(x3) & a_snowy(s1) & Theme(s1,x3) & r_off(e1) & into(e1,x2) & exists s2.(Theme(s2,x1) & a_high(s2)) & Topic(e1,p1) & Actor(e1,x1) & v_jump(e1) & n_snowboarder(x1))
hypothesis_logic: exists e1 x1 x2 x3.(ne_nam_snowboarder(x1) & off(e1,x3) & n_ramp(x3) & Theme(e1,x2) & Actor(e1,x1) & v_perform(e1) & n_jump(x2))