premise: Some skiers at a resort.
hypothesis: The skiiers are at a resort.
explanation_1: some skiers implies skiiers
premise_logic: exists x1 x2.(a_topic(x1) & at(x1,x2) & n_resort(x2) & n_skier(x1))
hypothesis_logic: exists p1 x1.(n_skiier(x1) & exists x2.(at(x1,x2) & n_resort(x2)))
premise_sim: exists x1 x2.(n_skier(x1) & n_resort(x2) & at(x1,x2) & a_topic(x1))
hypothesis_sim: exists x1.(n_skiier(x1) & exists x2.(n_resort(x2) & at(x1,x2)))