| http://www.w3.org/ns/prov#value | - This is one of the reasons why languages such as Java have high-level syntactic constructs like exceptions - to allow the compiler to provide a hint for the first time past the branch (the exception path is known to be lower probability).
|
