premise: A skateboarder is performing a grab trick while hovering above a ramp, which is located within a city.
hypothesis: A skateboarder is doing tricks in an area with ramps.
explanation_1: A skateboarder perfrorming a grab tricks is hovering above a ramp, which means he is doing a trick in an area with ramps.
explanation_2: A skateboarder is performing tricks above a ramp.
explanation_3: It is well know that a skateboarder in a city has ramps and a ramp available.
premise_logic: exists e2 e1 e3 x1 x2 x3 x4 x5 x6.(while(e1,e2) & above(e2,x4) & within(e3,x6) & n_city(x6) & Theme(e3,x5) & v_locate(e3) & (x4 = x5) & n_ramp(x4) & Actor(e2,x1) & v_hover(e2) & Theme(e1,x2) & Actor(e1,x1) & v_perform(e1) & n_trick(x2) & of(x2,x3) & n_grab(x3) & n_skateboarder(x1))
hypothesis_logic: exists e1 x1 x2 x3 x4.(with(e1,x4) & n_ramp(x4) & in(e1,x3) & n_area(x3) & Theme(e1,x2) & Actor(e1,x1) & v_do(e1) & n_trick(x2) & n_skateboarder(x1))
premise_sim: exists e2 e1 e3 x1 x2 x3 x4 x5 x6.(within(e3,x6) & while(e1,e2) & v_perform(e1) & v_locate(e3) & v_hover(e2) & of(x2,x3) & n_trick(x2) & n_skateboarder(x1) & n_ramp(x4) & n_grab(x3) & n_city(x6) & above(e2,x4) & Theme(e3,x5) & Theme(e1,x2) & Actor(e2,x1) & Actor(e1,x1) & (x4 = x5))
hypothesis_sim: exists e1 x1 x2 x3 x4.(with(e1,x4) & v_do(e1) & n_trick(x2) & n_skateboarder(x1) & n_ramp(x4) & n_area(x3) & in(e1,x3) & Theme(e1,x2) & Actor(e1,x1))