A woman with long hair and a white top stands on a city street while two people stand beside her.
Three people are on the street.
A women and two people implies three people.
(x)
exists p1 x1 x2.(n_street(x2) & on(x1,x2) & n_people(x1) & card_eq_3(x1))