Editorial (shacl12-rules)

Author: afs

shacl12-rules/index.html

@@ -474,7 +474,7 @@ <h3>Elements of the Abstract Syntax</h3>
           <dt><dfn data-lt="condition element|condition">Condition element</dfn></dt>
           <dd>
             A [=condition element=] is an [=expression=]
-            that evaluatease s to true or false.
+            that evaluates to true or false.
             [=Condition elements=] appear in the [=body=] of a [=rule=].
           </dd>
 
@@ -742,8 +742,8 @@ <h3>Stratification</h3>
         <p>
           [=Stratification=] imposes constraints on dependencies between [=rules=]
           to ensure that [=negation elements=] depend only on results computed
-          in earlier (lower) [=stratum=], guaranteeing a single, well-defined outcome
-          from the evaluation of a [=rule set=] over a given [=base graph=].
+          using earlier (lower) [=strata=]. This guarantees a single well-defined
+          outcome from the evaluation of a [=rule set=] over a given [=base graph=].
         </p>
         <div class="ednote">
           <p>