| http://www.w3.org/ns/prov#value | - We chose x so that its subject was a subset of that of y, but the reader can verify that the same works for n and s if we choose x so that its predicate is a subset of that of y (e.g., x = "student aced the test, y = "student passed the test).
|