Make condition 'i > j'

Author: afs

shacl12-inf-rules/index.html

@@ -842,22 +842,22 @@ <h3>Well-formedness Conditions</h3>
               of the [=body=], there is a corresponding [=variable=] of the same
               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>.
+              where <em>i &gt; j</em>.
             </li>
             <li>
               Each [=assignment variable=] is used in only one [=assignment=] in
               the [=body=] of the [=rule=].
             </li>
             <li>
               An [=assignment variable=] at position <em>i</em> of a [=rule body=] does not
-              occur in any [=triple pattern=] at position <em>j</em> where <em>j &lt; i</em>.
+              occur in any [=triple pattern=] at position <em>j</em> where <em>i &gt; j</em>.
             </li>
             <li>
               For every [=variable=] in an [=assignment expression=] at position <em>i</em>,
               there is a corresponding variable in a triple pattern at position 
-              <em>j</em> where <em>j &lt i</em>,
+              <em>j</em> where <em>i &gt; j</em>,
               or there is an [=assignment variable=] in an [=assignment=] at position 
-              <em>j</em> where <em>j &lt i</em>.
+              <em>j</em> where <em>i &gt; j</em>.
             </li>
           </ul>
           <p>