Annotations on assserted triples are based on operational semantics

spec/index.html

@@ -366,6 +366,20 @@ <h3>Triple Terms and Reification</h3>
     </figure>
 
     <p>Note that a <a>triple term</a> may also have another <a>triple term</a> as an <a>object</a>.</p>
+
+   <p class="note">
+	This document advises to understand an assertion on a reified triple 
+	as an assertion on an asserted triple of the same form, 
+	if such a triple occurs in a graph as both a reified triple 
+	and an asserted triple.
+	However, this understanding is not backed by the model-theoretic semantics 
+	as layed out in RDF 1.2 Semantics. 
+	I.e. co-reference is not defined via a model-theoretic formalisation of <a href="https://www.w3.org/TR/rdf12-concepts/#dfn-denote">denotation</a>
+	but relies on an operational semantics of <a href="https://w3c.github.io/rdf-semantics/spec/#dfn-identify">identification</a>, 
+	established via best practices, examples and convention
+	in this document and RDF 1.2 Primer and RDF 1.2 Note on triple terms (tbd).
+   </p>
+
   </section>
 
   <section id="change-over-time">