A child and a grownup, each wearing hats, play by the ocean.
A tall person with a hat
Not all person that wear hats are tall.
exists s1 x1 x2 x5.(n_ocean(x5) & a_topic(s1) & all e1 x3.((n_hat(x3) & Actor(e1,x3) & v_wear(e1)) -> exists x4.(rel(s1,x3) & rel(x3,x4) & by(x4,x5) & n_play(x4))) & subset_of(x2,s1) & n_grownup(x2) & subset_of(x1,s1) & n_child(x1))
exists s1 x1 x2.(a_topic(x1) & with(x1,x2) & n_hat(x2) & n_person(x1) & a_tall(s1) & Theme(s1,x1))