| http://www.w3.org/ns/prov#value | - So subordination is a very helpful analysis for us; it allows us to avoid writing some patterns altogether (patterns that bind variables with types that are not inhabited) and it lets us simplify other patterns by noticing that for certain types the hole appears somewhere in this subterm is exactly the same statement as this subterm is exactly the hole.
|
