A young man smiles and holds a cellphone in a greenhouse
The cellphone in the greenhouse is old.
The cellphone could be brand new, it is not necessarily old.
(x)
exists s1 x1 x2.(n_greenhouse(x2) & n_cellphone(x1) & Theme(s1,x1) & a_old(s1) & in(x1,x2))