There is a group of firemen watching a huge fire in some buildings in the distance.
The men are all sleeping in their bunks in the firehouse, ready to spring to action if the alarm goes off.
The firemen cannot be watching a huge fire in the distance while they are sleeping in their bunks.
exists p1 x1 x7.(n_distance(x7) & exists e1 s1 x2 x3 x4 x5 x6.((x1 = x2) & in(e1,x6) & in(x6,x7) & n_building(x6) & Theme(e1,x5) & Actor(e1,x4) & v_watch(e1) & n_fire(x5) & a_huge(s1) & Theme(s1,x5) & (x2 = x4) & of(x2,x3) & n_fireman(x3) & n_group(x2)))
exists e1 p1 s1 s2 x1 x2 x3 x4 x5.(n_alarm(x5) & n_firehouse(x3) & n_bunk(x2) & of(x2,x1) & n_thing(x1) & n_man(x1) & a_all(s2) & Manner(e1,s2) & in(e1,x2) & in(x2,x3) & Topic(s1,p1) & Actor(s1,x4) & a_ready(s1) & all p2 e2.((exists s3.(Theme(s3,x5) & a_off(s3)) & Topic(e2,p2) & Actor(e2,x5) & v_go(e2)) -> exists e3 x6.(to(e3,x6) & n_action(x6) & Actor(e3,x4) & v_spring(e3))) & (x3 = x4) & Actor(e1,x1) & v_sleep(e1))