パタンがその文脈とともに式として評価されるときに,ノードが結果として生じるノード集合のメンバであるような文脈が存在する場合に限り,パタンは,ノードに一致すると定義される。ノードが一致判定される場合,可能な文脈は,一致判定されるノード又はそのノードの先祖の文脈ノード,及びその文脈ノードだけを含む文脈ノードリストをもつ。 例えば,pは,どのp要素とも一致するが,これは,いかなるpに対しても,文脈としてのp要素の親と一緒に式pを評価する場合に,結果として生ずるノード集合が,そのp要素をそのメンバの一つとして含むことによる。 備考 文書の根は文書要素の親なので,文書要素であるp要素でも,これは合致する。 パタンのセマンティクスは,式の評価に関して間接的に規定されるが,式の評価に関して考えることなく直接的にパタンの意味を理解するのは容易である。パタンにおいて,|は選択肢の存在を示している。|で区切ら