Two women laugh and share conversation while each of them holds a can of refreshing Pabst Blue Ribbon Beer.
They are quite drunk.
Just because they are holding the beer doesn't mean they are drunk.
(-x)
exists s1 x1.(n_thing(x1) & r_quite(s1) & Theme(s1,x1) & a_drunk(s1))