Two women laugh and share conversation while each of them holds a can of refreshing Pabst Blue Ribbon Beer.
The women are at a picnic.
There are many places they could be besides a picnic.
(-x)
exists p1 x1.(n_woman(x1) & exists x2.(at(x1,x2) & n_picnic(x2)))