A man waits for his dinner at a German restaurant.
The man gave up on waiting for dinner and has left the german restaurant.
The man can't be waiting for his dinner if he gave up waiting on dinner.
exists e1 s1 x1 x2 x3.(for(e1,x2) & at(x2,x3) & n_restaurant(x3) & a_german(s1) & Theme(s1,x3) & n_dinner(x2) & of(x2,x1) & n_male(x1) & Actor(e1,x1) & v_wait(e1) & n_man(x1))
exists e3 e1 e2 s1 x1 x2 x3 x4 x5.(n_restaurant(x4) & of(x4,x5) & n_german(x5) & n_man(x1) & Theme(e3,x4) & Actor(e3,x1) & v_leave(e3) & a_up(s1) & Manner(e1,s1) & on(e1,e2) & for(e2,x3) & n_dinner(x3) & Actor(e2,x2) & v_wait(e2) & Actor(e1,x1) & v_give(e1))