| http://www.w3.org/ns/prov#value | - If either an output signal value for determining whether an output instruction is generated or not in step E7 or a state variable for determining whether the logic operation state has reached the end state or not in step E8 is given by a variable value or an expression including a variable value, it is determined that operation cannot be analyzed.
|
