Three young men lounge while drinking beer from bottles.
the men are drinking from a can.
The men cannot drink from bottles and cans simultaneously.
(x)
exists e1 x1 x2.(n_man(x1) & from(e1,x2) & n_can(x2) & Actor(e1,x1) & v_drink(e1))