premise: There is a restaurant and all the tables are empty.
hypothesis: The restaurant contains many hungry patrons.
explanation_1: The first one views that the tables are empty but the second one is observing that there are many hungry patrons which is focusing on two different types of information.
premise_logic: exists p1 x1 x4.(n_table(x4) & all x3.((x3 = x4) -> exists s1.(Theme(s1,x3) & a_empty(s1))) & exists x2.((x1 = x2) & n_restaurant(x2)))
hypothesis_logic: exists e1 s1 x1 x2.(n_restaurant(x1) & Theme(e1,x2) & Actor(e1,x1) & v_contain(e1) & n_patron(x2) & a_hungry(s1) & Theme(s1,x2) & n_quantity(x2))
premise_sim: exists x1 x4.(n_table(x4) & exists x2.(n_restaurant(x2) & (x1 = x2)) & all x3.(exists s1.(a_empty(s1) & Theme(s1,x3)) | -(x3 = x4)))
hypothesis_sim: exists e1 s1 x1 x2.(v_contain(e1) & n_restaurant(x1) & n_quantity(x2) & n_patron(x2) & a_hungry(s1) & Theme(s1,x2) & Theme(e1,x2) & Actor(e1,x1))