Two women laugh and share conversation while each of them holds a can of refreshing Pabst Blue Ribbon Beer.
The women are lesbian lovers
Just because two women are together, doesn't mean they are always lesbian lovers.
(-x)
exists p1 x1.(n_woman(x1) & exists s1 x2.((x1 = x2) & n_lover(x2) & a_lesbian(s1) & Theme(s1,x2)))