A young boy stands and watches a British guardsman.
a boy is looking at a horse.
A boy is not young
exists s1 s2 x1 x2.(a_topic(s1) & all x3 s3.((n_guardsman(x3) & a_british(s3) & Theme(s3,x3)) -> exists x4.(subset_of(x4,s1) & for(x4,x3) & n_watch(x4))) & subset_of(x1,s1) & n_stand(x1) & of(x1,x2) & n_boy(x2) & a_young(s2) & Theme(s2,x1))
exists e1 x1 x2.(at(e1,x2) & n_horse(x2) & Actor(e1,x1) & v_look(e1) & n_boy(x1))