Message hasBasis for hasBasis(this, that) read: that is a basis for this; i.e. this asserts that by reference; i.e. this says/implies everything that says/implies. wordnet defn: "a relation that provides the foundation for something". @@subproperty of rdfs:seeAlso: entails for consequent(m, s) read s is a consequent of m; or: the intent of m is to assert (among other things) s. compare with "gate" symbol in modal logic? cf BAN logic@@, PCA@@. For example, if an HTTP response has status 200 OK and RDF/XML content, and some statement s is in the model expressed by that RDF/XML content, then consequent(m, s). Hmm... consequent(m, s1) /\ implies(s1, s2) => consequent(m, s2). hasAnswer for hasAanswer(q, a) read: a is an (the?) answer to q. For example, q might be an HTTP GET request (or a GFP ask request), and a its answer. precedes for precedes(m1, m2) read: m1 precedes m2, i.e. m2 happens before m1, i.e. m1 <= m2. subject for subject(m, r) read: m has subject r; i.e. the subject of m is r. e.g. if you do an HTTP GET for u1, then the subject of that GET message (and its response, I suppose) is u1. obsoletes obsoletes(x, y) = y makes x obsolete sublanguage sublanguage(x, y) = x is a sublanguage of y rdfExtractor rdfExtractor(x, y) = y will extract RDF from x about about(x, y) ::= y is metadata about x hm... does HTML 4.0 give a name for this?