A child stands in the snow.
It is cold where the child is standing.
Snow is cold so if the child stands in the snow it is cold where the child is standing.
exists e1 x1 x2.(n_snow(x2) & in(e1,x2) & Actor(e1,x1) & v_stand(e1) & n_child(x1))
exists s1 x1 x3.(n_child(x3) & n_thing(x1) & exists e1 x2.(n_location(x2) & Topic(s1,e1) & loc_rel(e1,x2) & Actor(e1,x3) & v_stand(e1)) & Theme(s1,x1) & a_cold(s1))