A man looked very small, as he walked along the ancient building.
There are men oustide
Though a man looked very small, as he walked along the ancient building, it doesn't have to mean that there are men oustide.
exists e1 p1 p2 s2 x1 x2.(n_building(x2) & a_ancient(s2) & Theme(s2,x2) & exists e2.(along(e2,x2) & Actor(e2,x1) & v_walk(e2)) & n_male(x1) & as(e1,p2) & exists s1.(r_very(s1) & Theme(s1,x1) & a_small(s1)) & Topic(e1,p1) & Actor(e1,x1) & v_look(e1) & n_man(x1))
exists p1 x1 x2 x3.((x1 = x2) & Time(x2,x3) & n_oustide(x3) & n_man(x2))