premise: A girl in the foreground is frowning while, in the background, there are trees, ATVs, and golf carts.
hypothesis: a girl is frowning with golf carts and atvs in front of her.
explanation_1: A girl is frowning with golf carts and ATVs in front of her implies it is the same girl who is frowning with trees, ATVs, and golf carts in the background.
premise_logic: exists e1 p1 x1 x2 x4 x7.(n_background(x4) & ne_per_atvs(x7) & n_foreground(x2) & exists p2 x3.(in(p2,x4) & exists x5 x6 x8 x9.((x3 = x5) & rel(x5,x6) & subset_of(x8,x6) & n_cart(x8) & of(x8,x9) & n_golf(x9) & subset_of(x7,x6) & n_tree(x5))) & while(e1,p1) & Actor(e1,x1) & v_frown(e1) & in(x1,x2) & n_girl(x1))
hypothesis_logic: exists e1 x1 x2 x3 x4 x5 x6.(with(e1,x2) & subset_of(x5,x2) & in(x5,x6) & of(x6,x1) & n_female(x1) & n_front(x6) & n_atv(x5) & subset_of(x3,x2) & n_cart(x3) & of(x3,x4) & n_golf(x4) & Actor(e1,x1) & v_frown(e1) & n_girl(x1))
premise_sim: exists e1 p1 x1 x2 x4 x7.(while(e1,p1) & v_frown(e1) & ne_per_atvs(x7) & n_girl(x1) & n_foreground(x2) & n_background(x4) & in(x1,x2) & exists p2 x3.(in(p2,x4) & exists x5 x6 x8 x9.(subset_of(x8,x6) & subset_of(x7,x6) & rel(x5,x6) & of(x8,x9) & n_tree(x5) & n_golf(x9) & n_cart(x8) & (x3 = x5))) & Actor(e1,x1))
hypothesis_sim: exists e1 x1 x2 x3 x4 x5 x6.(with(e1,x2) & v_frown(e1) & subset_of(x5,x2) & subset_of(x3,x2) & of(x6,x1) & of(x3,x4) & n_golf(x4) & n_girl(x1) & n_front(x6) & n_female(x1) & n_cart(x3) & n_atv(x5) & in(x5,x6) & Actor(e1,x1))