Bent Over<br>The man bent over. He felt a pain in his back. He sat on the ground. The pain intensified. He screamed for help from the ground.
This man hurt his back after several hours of computing in which he solved the halting problem as outlined by Church's thesis.
The halting problem is unsolvable.  This man could never solve it and the system is not aware of this fact.
( z1 hurt :ARG0 ( z2 man :mod ( z3 this ) ) :ARG1 ( z4 back :part-of z2 ) :time ( z5 after :op ( z6 compute :ARG0 z2 :duration ( z7 several :op ( z8 temporal-quantity :quant 1 :unit ( z9 hour ) ) :time-of ( z10 solve :ARG0 z2 :ARG1 ( z11 problem :topic ( z12 halt ) :ARG1-of ( z13 outline :ARG0 ( z14 thesis :source ( z15 organization :name ( z16 name :op "Church" ) ) ) ) ) ) ) ) ) )