| http://www.w3.org/ns/prov#value | - This "semi-final state, in addition to the ability to transfer control back to the previous state, where appropriate, includes a loop-back arc that allows it to retain control for as long as there is a possibility that the currently suspended, but not closed, predication might resume, and also includes an arc to F, to which control is transferred when an examination of the current input indicates
|