renames ContextMapping to ContextSolution

Author: hartig

spec/index.html

@@ -8596,8 +8596,8 @@ <h3>Algebraic Syntax</h3>
             is an algebraic query expression.
 <div class="issue" data-number="231">Do we really need both of the previous two points?</div>
             </li>
-          <li id="defn_absContextMapping">
-            <a href="#defn_absContextMapping" class="absOp">ContextMapping</a>
+          <li id="defn_absContextSolution">
+            <a href="#defn_absContextSolution" class="absOp">ContextSolution</a>
             is an algebraic query expression.</li>
           <li id="defn_absPath">
             <a href="#defn_absPath" class="absOp">Path</a>(|x|, |ppe|, |y|)
@@ -9207,7 +9207,7 @@ <h5>Translate Graph Patterns</h5>
             </blockquote>
 <pre class="code nohighlight">
 Let FS := the empty set
-Let <var>G</var> := <a href="#defn_absContextMapping" class="absOp">ContextMapping</a>
+Let <var>G</var> := <a href="#defn_absContextSolution" class="absOp">ContextSolution</a>
 
 For each element <var>E</var> in the sequence of elements in the GroupGraphPattern
 
@@ -10684,8 +10684,8 @@ <h3>Evaluation Semantics</h3>
             <p>See section <a href="#PropertyPathPatterns">Property Path Patterns</a></p>
           </div>
           <div class="defn">
-            <p><b>Definition: <span id="defn_evalContextMapping">Evaluation of ContextMapping</span></b></p>
-            <p><a href="#defn_eval" class="evalFct">eval</a>( |D|(|G|), <a href="#defn_absContextMapping" class="absOp">ContextMapping</a>, <var>μ<sub>ctx</sub></var> ) = multiset that contains only <var>μ<sub>ctx</sub></var>, with a multiplicity of 1</p>
+            <p><b>Definition: <span id="defn_evalContextSolution">Evaluation of ContextSolution</span></b></p>
+            <p><a href="#defn_eval" class="evalFct">eval</a>( |D|(|G|), <a href="#defn_absContextSolution" class="absOp">ContextSolution</a>, <var>μ<sub>ctx</sub></var> ) = multiset that contains only <var>μ<sub>ctx</sub></var>, with a multiplicity of 1</p>
           </div>
           <div class="defn">
             <p><b>Definition: <span id="defn_evalFilter">Evaluation of Filter</span></b></p>