"entails" clearer than "subgraph" in defn Graph Pattern Match

I'm going over the definitions, and in the case of...

"Graph Pattern GP matches RDF graph G with substitution S if S(GP) is a
subgraph of G."

I think entails is clearer:

"Graph Pattern GP matches RDF graph G with substitution S if G
simply entails S(GP)."

with simply entails linked to
 http://www.w3.org/TR/rdf-mt/#defentail


p.s. a public comment asked
"which definition of subgraph does SPARQL use - the standard one from
graph
theory or the expansive one used in RDF semantics in the presence of bnode
relabelling?"
http://lists.w3.org/Archives/Public/public-rdf-dawg-comments/2004Oct/0003.html

it's the one with relabelling. So subgraph is perhaps misleading.

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E