| http://www.w3.org/ns/prov#value | - The program P imposes the constraint P. The program (A, B) imposes the constraints of both A and B--logically, this is the conjunction of A and B. new X in A imposes the constraints of A, but hides the variable X from the other programs--logically this can be thought of as a form of existential quantification.
|
