There are trees outside of a building in the middle of downtown.
A child skating in snow.
trees is not the same as snow
exists p1 x1 x2 x3.(n_middle(x2) & in(p1,x2) & of(x2,x3) & n_downtown(x3) & exists x4 x5 x6.((x1 = x4) & of(x5,x6) & n_building(x6) & outside(x4,x5) & n_thing(x5) & n_tree(x4)))
exists e1 x1 x2 x3.(a_topic(x1) & in(e1,x3) & n_snow(x3) & Actor(e1,x2) & v_skate(e1) & (x1 = x2) & n_child(x1))