On the face of a smooth, steep rock, a man who is mountain climbing and who is attached to a blue rope that has been fastened to the rock, is seen from below.
The rope is broken.
If the rope is broken, then the man would not be climbing the face of a smooth, steep rock as he is attached to the rope. The man would be falling backward.
exists e4 e2 e3 e1 p1 s1 s2 s3 s4 s5 s6 s7 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12.(n_face(x11) & n_face(x4) & on(e4,x11) & of(x11,x12) & n_rock(x12) & a_steep(s7) & Theme(s7,x12) & a_,(s6) & Theme(s6,x12) & a_smooth(s5) & Theme(s5,x12) & from(e4,x10) & n_below(x10) & Theme(e4,x6) & v_see(e4) & to(e2,x8) & to(e3,x5) & n_rock(x5) & n_rock(x5) & Theme(e3,x9) & v_fasten(e3) & (x8 = x9) & n_rope(x8) & a_blue(s4) & Theme(s4,x8) & Theme(e2,x7) & v_attach(e2) & (x6 = x7) & n_man(x6) & on(e1,x4) & of(x4,x5) & a_steep(s3) & Theme(s3,x5) & a_,(s2) & Theme(s2,x5) & a_smooth(s1) & Theme(s1,x5) & from(e1,x3) & n_below(x3) & Theme(e1,x1) & v_see(e1) & exists x13 x14.((x2 = x13) & n_climb(x13) & of(x13,x14) & n_mountain(x14)) & (x1 = x2) & n_man(x1))
exists e1 x1.(n_rope(x1) & Theme(e1,x1) & v_break(e1))