A man with a tank strapped to his back stands at the top of a ladder that is leaning up against a stone wall.
A ladder is against a building with nobody on it.
a ladder can not have nobody on it when a man is standing at the top of it.
exists e2 e1 s1 s2 x1 x2 x3 x4 x5 x6 x7 x8 x9.(n_top(x5) & a_topic(x1) & with(x1,x2) & to(e1,x4) & at(x4,x5) & of(x5,x6) & against(e2,x8) & n_wall(x8) & of(x8,x9) & n_stone(x9) & a_up(s2) & Manner(e2,s2) & Actor(e2,x7) & v_lean(e2) & (x6 = x7) & n_ladder(x6) & n_stand(x4) & a_back(s1) & Theme(s1,x4) & of(x4,x1) & n_male(x1) & Theme(e1,x3) & v_strap(e1) & (x2 = x3) & n_tank(x2) & n_man(x1))
exists p1 x1.(exists x2.(-exists x3.(against(x1,x2) & with(x2,x3) & on(x3,x1) & n_person(x3)) & n_building(x2)) & n_thing(x1) & n_ladder(x1))