A downhill skier races near trees.
An Olympic skiier races past pine trees.
Not all skiers are an Olympic one.  Not all trees are pine.
exists s1 x1 x2 x3.(a_topic(x1) & near(x1,x3) & n_tree(x3) & n_race(x1) & of(x1,x2) & n_skier(x2) & a_downhill(s1) & Theme(s1,x1))
exists s1 x1 x2 x3 x4 x5.(a_topic(x1) & n_tree(x1) & of(x1,x5) & n_pine(x5) & a_past(s1) & Theme(s1,x1) & of(x1,x4) & n_race(x4) & of(x1,x3) & n_skiier(x3) & (x1 = x2) & ne_nam_olympic(x2))