Two men are walking together in an embrace.
Two drunk men walk home from the bar together.
Just because men are walking does not mean they are drunk. Just because men are walking does not mean they are walking home from the bar.
exists e1 s1 x1 x2.(in(e1,x2) & n_embrace(x2) & a_together(s1) & Manner(e1,s1) & Actor(e1,x1) & v_walk(e1) & n_man(x1) & card_eq_2(x1))
exists e1 s1 s2 x1 x2 x3.(n_bar(x3) & a_together(s2) & Manner(e1,s2) & from(e1,x3) & Time(e1,x2) & n_home(x2) & Actor(e1,x1) & v_walk(e1) & n_man(x1) & a_drunk(s1) & Theme(s1,x1) & card_eq_2(x1))