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.
A woman and a man are on a date.
We can't infer that the man and women are on a date.
(-x)
exists p1 x1 x2 x3.(exists x4.(on(x1,x4) & n_date(x4)) & subset_of(x3,x1) & n_man(x3) & subset_of(x2,x1) & n_woman(x2))