| http://www.w3.org/ns/prov#value | - The article of claim 20, wherein each conditional assignment further a free variable, wherein each conditional state of the respective enriched RTL module produces a fixed variable output under a second condition and produces the value of the free variable under a first condition, wherein the first condition is a first binary condition on the select variable of the respective conditional state and
|
