Two women laugh and share conversation while each of them holds a can of refreshing Pabst Blue Ribbon Beer.
The women are teetotalers.
People who are teetotalers will not holds can of  beer
(-x)
exists p1 x1.(n_woman(x1) & exists x2.((x1 = x2) & n_teetotaler(x2)))