premise: A group of girl dancers gathers in a group while another leaps into the air.
hypothesis: A group of girls is dancing.
explanation_1: Sentence one describes in detail the way the group of girls are dancing while sentence two simply says it. Girl dancers gathering and having one leap into the air certainly describes dancing.
premise_logic: exists p1 p2 p3 x1 x2 x3 x4 x5 x7.(n_air(x7) & for(p1,x1) & exists x8.n_event(x8) & exists e1 x6.(into(e1,x7) & Actor(e1,x6) & v_leap(e1) & n_thing(x6)) & while(p2,p3) & of(x1,x2) & in(x2,x5) & n_group(x5) & n_gather(x2) & of(x2,x4) & n_dancer(x4) & of(x2,x3) & n_girl(x3) & n_group(x1))
hypothesis_logic: exists e1 x1 x2.(Actor(e1,x1) & v_dance(e1) & of(x1,x2) & n_girl(x2) & n_group(x1))
premise_sim: exists p1 p2 p3 x1 x2 x3 x4 x5 x7.(while(p2,p3) & of(x2,x4) & of(x2,x3) & of(x1,x2) & n_group(x5) & n_group(x1) & n_girl(x3) & n_gather(x2) & n_dancer(x4) & n_air(x7) & in(x2,x5) & for(p1,x1) & exists x8.n_event(x8) & exists e1 x6.(v_leap(e1) & n_thing(x6) & into(e1,x7) & Actor(e1,x6)))
hypothesis_sim: exists e1 x1 x2.(v_dance(e1) & of(x1,x2) & n_group(x1) & n_girl(x2) & Actor(e1,x1))