An old man with white long hair and a white long beard.
Santa Clause.
Not all men with white long hair and white long beards are Santa Clause.
exists s1 s2 s3 s4 s5 x1 x2 x3 x4.(a_topic(x1) & with(x1,x2) & subset_of(x4,x2) & n_beard(x4) & a_long(s5) & Theme(s5,x4) & a_white(s4) & Theme(s4,x4) & subset_of(x3,x2) & n_hair(x3) & a_long(s3) & Theme(s3,x3) & a_white(s2) & Theme(s2,x3) & n_man(x1) & a_old(s1) & Theme(s1,x1))
exists s1 s2 x1.(ne_geo_clause(s1) & a_.(s2) & Theme(s2,s1) & (s1 = x1) & ne_geo_santa(x1) & a_topic(s1))