| http://www.w3.org/ns/prov#value | - If we choose x so that its subject is a subset of that of y (e.g., x = male student passed the test, y = "student passed the test), then e is entailment-reversing like n; but if we choose x so that its predicate was a subset of that of y (e.g., x = "student passed the test, y = "student took the test), then e is entailment-preserving like s.
|
