A woman sitting with a man of about the same age reaches towards a bird who had just landed on the table where the two share a drink.
The bird is a pigeon.
We don't know that the bird is a pigeon.
(-x)
exists p1 x1.(n_bird(x1) & exists x2.((x1 = x2) & n_pigeon(x2)))