Two guys are drinking beer out of glasses.
There are two guys drinking beer.
if two guys are drinking beer, then there are two guys drinking beer
exists e1 x1 x2 x3.(of(e1,x3) & n_glass(x3) & r_out(e1) & Theme(e1,x2) & Actor(e1,x1) & v_drink(e1) & n_beer(x2) & n_guy(x1) & card_eq_2(x1))
exists p1 x1 e1 x2 x3 x4.((x1 = x2) & Theme(e1,x4) & Actor(e1,x3) & v_drink(e1) & n_beer(x4) & (x2 = x3) & n_guy(x2) & card_eq_2(x2))