A man stands in a hole.
The man is able to see out of the hole.
The hole could be too deep for the man to be able to see out of it.
exists e1 x1 x2.(in(e1,x2) & n_hole(x2) & Actor(e1,x1) & v_stand(e1) & n_man(x1))
exists p1 s1 x1 x2.(n_hole(x2) & n_man(x1) & Topic(s1,p1) & Actor(s1,x1) & a_able(s1) & exists e1.(r_out(e1) & of(e1,x2) & Actor(e1,x1) & v_see(e1)))