premise: Two men barbecuing at a beach.
hypothesis: Two men are barbecuing while on the beach.
explanation_1: At a beach implies location whereas on the beach describes the relationship between the people and the beach. While at the beach, they can do things on the beach, not in it.
premise_logic: exists e1 x1 x2 x3.(a_topic(x1) & at(e1,x3) & n_beach(x3) & Actor(e1,x2) & v_barbecue(e1) & (x1 = x2) & n_man(x1) & card_eq_2(x1))
hypothesis_logic: exists e1 x1 x2.(n_beach(x2) & on(e1,x2) & r_while(e1) & Actor(e1,x1) & v_barbecue(e1) & n_man(x1) & card_eq_2(x1))
premise_sim: exists e1 x1 x2 x3.(v_barbecue(e1) & n_man(x1) & n_beach(x3) & card_eq_2(x1) & at(e1,x3) & a_topic(x1) & Actor(e1,x2) & (x1 = x2))
hypothesis_sim: exists e1 x1 x2.(v_barbecue(e1) & r_while(e1) & on(e1,x2) & n_man(x1) & n_beach(x2) & card_eq_2(x1) & Actor(e1,x1))