premise: A woman lying in the grass in the park is wearing a red top and black capri pants and is barefoot.
hypothesis: A woman is lying in the grass.
explanation_1: " A woman is lying in the grass "   is another form of saying  "  A woman lying in the grass in the park " as grass is seen in the park.
explanation_2: Is lying in the grass is a paraphrase of lying in the grass.
explanation_3: A woman is lying in the grass is the same as a  woman lying in the grass.
premise_logic: exists e1 p1 s1 s2 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12.(n_park(x12) & n_grass(x11) & n_park(x4) & n_grass(x3) & exists x13.((x9 = x13) & n_barefoot(x13)) & in(x9,x11) & in(x11,x12) & n_lie(x9) & of(x9,x10) & n_woman(x10) & Theme(e1,x5) & Actor(e1,x1) & v_wear(e1) & subset_of(x7,x5) & n_pants(x7) & of(x7,x8) & n_caprus(x8) & a_black(s2) & Theme(s2,x7) & subset_of(x6,x5) & n_top(x6) & a_red(s1) & Theme(s1,x6) & in(x1,x3) & in(x3,x4) & n_lie(x1) & of(x1,x2) & n_woman(x2))
hypothesis_logic: exists e1 x1 x2.(n_grass(x2) & in(e1,x2) & Actor(e1,x1) & v_lie(e1) & n_woman(x1))
premise_sim: exists e1 s1 s2 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12.(v_wear(e1) & subset_of(x7,x5) & subset_of(x6,x5) & of(x9,x10) & of(x7,x8) & of(x1,x2) & n_woman(x2) & n_woman(x10) & n_top(x6) & n_park(x4) & n_park(x12) & n_pants(x7) & n_lie(x9) & n_lie(x1) & n_grass(x3) & n_grass(x11) & n_caprus(x8) & in(x9,x11) & in(x3,x4) & in(x11,x12) & in(x1,x3) & exists x13.(n_barefoot(x13) & (x9 = x13)) & a_red(s1) & a_black(s2) & Theme(s2,x7) & Theme(s1,x6) & Theme(e1,x5) & Actor(e1,x1))
hypothesis_sim: exists e1 x1 x2.(v_lie(e1) & n_woman(x1) & n_grass(x2) & in(e1,x2) & Actor(e1,x1))