Stripper at a busy airport.
The stripper is the only one at the airport.
Being at a busy airport doesn't imply that the stripper is the only one there.
exists s1 s2 x1.(ne_nam_stripper(s1) & a_topic(s1) & at(s1,x1) & n_airport(x1) & a_busy(s2) & Theme(s2,x1))
exists p1 x1 x2.(n_airport(x2) & all x3.((n_thing(x3) & card_eq_1(x3)) -> (x1 = x3)) & n_thing(x1) & card_eq_1(x1) & n_stripper(x1) & (x1 = x1) & at(x1,x2))