<dfn> as singular

Author: afs

shacl12-core/index.html

@@ -299,8 +299,8 @@ <h3>Terminology</h3>
 				<div class="def">
 					<div class="term-def-header">Binding, Solution</div>
 					<div>
-						A <dfn data-lt="bindings">binding</dfn> is a pair (<a data-cite="sparql12-query/#defn_QueryVariable">variable</a>, <a>RDF term</a>), consistent with the term's use in [[!sparql12-query]].
-					    A <dfn data-lt="solutions">solution</dfn> is a set of bindings, informally often understood as one row in the body of the result table of a SPARQL query.
+						A <dfn>binding</dfn> is a pair (<a data-cite="sparql12-query/#defn_QueryVariable">variable</a>, <a>RDF term</a>), consistent with the term's use in [[!sparql12-query]].
+					    A <dfn>solution</dfn> is a set of bindings, informally often understood as one row in the body of the result table of a SPARQL query.
 					    Variables are not required to be bound in a solution.
 					</div>
 				</div>

shacl12-rules/index.html

@@ -738,7 +738,7 @@ <h4>Evaluation Definitions</h4>
               <p>
                 Let <var>G</var> be an [=RDF graph=] and <var>TP</var> be a <a>triple pattern</a>.
                 The function `graphMatch(G, TP)` returns a set of all possible 
-                <a data-cite="shacl12-core#solutions">solutions</a> that, 
+                <a data-cite="shacl12-core#dfn-solution">solutions</a> that, 
                 when applied to the triple pattern, produce a triple that is in the 
                 [=evaluation graph=]
               </p>