forall ?xN
?x rdf:type rdf:Resource.
might naively be written as where
...
but how can we distinguish variables from constants....?
@@ McDermott mistake here?
more generally -- how do we use constants to talk about the same
thing as URIs? delabeling.
