Two people enjoying a drink next to there bikes.
Two people are going to have to push their bike home.
Two people enjoying drinks next to their bikes does not necessarily imply that the two people will have to push their bikes home.
exists e1 s1 s2 x1 x2 x3 x4 x5.(a_topic(x1) & for(e1,s2) & Theme(s2,x2) & a_there(s2) & to(e1,x5) & n_bike(x5) & Theme(e1,x3) & Actor(e1,x2) & v_enjoy(e1) & Theme(s1,x4) & a_next(s1) & (x3 = x4) & n_drink(x3) & (x1 = x2) & n_people(x1) & card_eq_2(x1))
exists e1 p1 x1 x2 x3.(Topic(e1,p1) & Actor(e1,x1) & v_go(e1) & exists e2 p2.(Topic(e2,p2) & Actor(e2,x1) & v_have(e2) & exists e3.(Theme(e3,x2) & Actor(e3,x1) & v_push(e3))) & n_home(x2) & of(x2,x3) & n_bike(x3) & of(x2,x1) & n_thing(x1) & n_people(x1) & card_eq_2(x1))