Updates from review

Author: afs

shacl12-inf-rules/index.html

@@ -755,14 +755,14 @@ <h2>Shape Rules Abstract Syntax</h2>
           <dt><dfn>triple template</dfn></dt>
           <dd>
             A <em>triple template</em> is 3-tuple where each element is either
-            a variable or an RDF term (including being a triple term).
+            a variable or an RDF term (which might be a triple term).
             [=Triple templates=] appear in the [=head=] of a [=rule=].
           </dd>
 
           <dt><dfn>triple pattern</dfn></dt>
           <dd>
             A <em>triple pattern</em> is 3-tuple where each element is either a
-            variable, or an RDF term  (including being a triple term).
+            variable, or an RDF term  (which might be a triple term).
             [=Triple  patterns=] appear in the [=body=] of a [=rule=]. 
           </dd>
 
@@ -831,7 +831,7 @@ <h3>Well-formedness Conditions</h3>
             conditions are met:
           </p>
           <ul>
-            <li>For every [=variable=] appearing in a [=triple templates=]
+            <li>For every [=variable=] appearing in a [=triple template=]
               of the [=head=] of the [=rule=],
               there is one or more occurrences of a [=variable=] 
               of the same name in the [=triple patterns=] in the [=body=], 
@@ -840,13 +840,13 @@ <h3>Well-formedness Conditions</h3>
             <li>
               For every [=variable=] in an [=expression=] at position <em>i</em>
               of the [=body=], there is a corresponding [=variable=] of the same
-              name occuring in a [=triple pattern=], or occurring as an
-              [=assignment variable=], at a position <em>j</em>, where <em>j
-              &lt; i</em>.
+              name occuring in a [=triple pattern=] at a position <em>j</em>, 
+              or occurring as an [=assignment variable=] at a position <em>j</em>, 
+              where <em>j &lt; i</em>.
             </li>
             <li>
               Each [=assignment variable=] is used in only one [=assignment=] in
-              the [=body] of the [=rule=].
+              the [=body=] of the [=rule=].
             </li>
             <li>
               An [=assignment variable=] at position <em>i</em> of a [=rule body=] does not