Two men behind a counter in a crowded room.
Two men order in a crowded restaurant.
It may no be a restaurant and the men may not be about to order
exists s1 x1 x2 x3.(a_topic(x1) & behind(x1,x2) & in(x2,x3) & n_room(x3) & a_crowded(s1) & Theme(s1,x3) & n_counter(x2) & n_man(x1) & card_eq_2(x1))
exists s1 x1 x2 x3.(a_topic(x1) & in(x1,x3) & n_restaurant(x3) & a_crowded(s1) & Theme(s1,x3) & n_order(x1) & of(x1,x2) & n_man(x2) & card_eq_2(x1))