* 宣言がEMPTYに一致し、要素が内容を持たない。
* 宣言が子に一致し、子要素のシーケンスが、内容モデルにおいて正規表現により生成された言語に属する。子要素と子要素の間には、空白文字(非終端記号S)も使用可能。
* 宣言がMixedに一致し、その内容がキャラクタ・データ、および子要素(型が内容モデルの名前に一致する)で構成される。
* 宣言がANYに一致し、すべての子要素の型が宣言されている。
1. 問合せの本体の最上位式
2. transform式のmodify句
3. FLWOR式のreturn句
4. return句ごとに1つのupdating式、空の式( )またはfn:error関数のコールが含まれているtypeswitch式のreturn句
5. then句とelse句の両方に1つのupdating式、空の式( )またはfn:error関数のコールが含まれている条件文のthen句とelse句
6. 各オペランドが1つのupdating式、空の式( )またはfn:error関数のコールであるカンマ式のオペランド
7. カッコで囲まれた式の内容
8. キーワード更新が指定されている関数宣言の本体