premise: A woman and a child are at a crowded airport.
hypothesis: A woman and a child are at an airport.
explanation_1: three people are in a crowded airport
premise_logic: exists p1 x1 x2 x3.(exists s1 x4.(at(x1,x4) & n_airport(x4) & a_crowded(s1) & Theme(s1,x4)) & subset_of(x3,x1) & n_child(x3) & subset_of(x2,x1) & n_woman(x2))
hypothesis_logic: exists p1 x1 x2 x3.(exists x4.(at(x1,x4) & n_airport(x4)) & subset_of(x3,x1) & n_child(x3) & subset_of(x2,x1) & n_woman(x2))
premise_sim: exists x1 x2 x3.(subset_of(x3,x1) & subset_of(x2,x1) & n_woman(x2) & n_child(x3) & exists s1 x4.(n_airport(x4) & at(x1,x4) & a_crowded(s1) & Theme(s1,x4)))
hypothesis_sim: exists x1 x2 x3.(subset_of(x3,x1) & subset_of(x2,x1) & n_woman(x2) & n_child(x3) & exists x4.(n_airport(x4) & at(x1,x4)))