+ <entry>&unparsed_ast;</entry>
+ <entry>&TODO;</entry>
+ </row>
+ <row>
+ <entry></entry>
+ <entry>|</entry>
+ <entry>&unparsed_meta;</entry>
+ <entry>&TODO;</entry>
+ </row>
+ </tbody>
+ </tgroup>
+ </table>
+
+ <table frame="topbot" rowsep="0" colsep="0" role="grammar">
+ <title>unparsed_ast</title>
+ <tgroup cols="4">
+ <tbody>
+ <row>
+ <entry id="grammar.unparsed_ast">&unparsed_ast;</entry>
+ <entry>::=</entry>
+ <entry><emphasis role="bold">@{</emphasis>&enriched_term;<emphasis role="bold">}</emphasis></entry>
+ <entry>A content level AST (a term which is parsed, but not disambiguated).</entry>
+ </row>
+ <row>
+ <entry></entry>
+ <entry>|</entry>
+ <entry><emphasis role="bold">@</emphasis>&id;</entry>
+ <entry><command>@id</command> is just an abbreviation for <command>@{id}</command></entry>
+ </row>
+ <row>
+ <entry></entry>
+ <entry>|</entry>
+ <entry><emphasis role="bold">@</emphasis>&csymbol;</entry>
+ <entry><command>@'symbol</command> is just an abbreviation for <command>@{'symbol}</command></entry>
+ </row>
+ </tbody>
+ </tgroup>
+ </table>
+
+ <table frame="topbot" rowsep="0" colsep="0" role="grammar">
+ <title>enriched_term</title>
+ <tgroup cols="4">
+ <tbody>
+ <row>
+ <entry id="grammar.enriched_term">&enriched_term;</entry>
+ <entry>::=</entry>
+ <entry>〈〈A term that may contain occurrences of &unparsed_meta;, even as variable names in binders, and occurrences of &csymbol;〉〉</entry>
+ <entry>&TODO;</entry>
+ </row>
+ </tbody>
+ </tgroup>
+ </table>
+
+ <table frame="topbot" rowsep="0" colsep="0" role="grammar">
+ <title>unparsed_meta</title>
+ <tgroup cols="4">
+ <tbody>
+ <row>
+ <entry id="grammar.unparsed_meta">&unparsed_meta;</entry>
+ <entry>::=</entry>
+ <entry><emphasis role="bold">${</emphasis>&level2_meta;<emphasis role="bold">}</emphasis></entry>
+ <entry>&TODO;</entry>
+ </row>
+ <row>
+ <entry></entry>
+ <entry>|</entry>
+ <entry><emphasis role="bold">$</emphasis>&id;</entry>
+ <entry><command>$id</command> is just an abbreviation for <command>${id}</command></entry>
+ </row>
+ <row>
+ <entry></entry>
+ <entry>|</entry>
+ <entry><emphasis role="bold">$</emphasis><emphasis role="bold">_</emphasis></entry>
+ <entry><command>$_</command> is just an abbreviation for <command>${_}</command></entry>
+ </row>
+ </tbody>
+ </tgroup>
+ </table>
+
+ <table frame="topbot" rowsep="0" colsep="0" role="grammar">
+ <title>level2_meta</title>
+ <tgroup cols="4">
+ <tbody>
+ <row>
+ <entry id="grammar.level2_meta">&level2_meta;</entry>
+ <entry>::=</entry>
+ <entry>&unparsed_ast;</entry>
+ <entry>&TODO;</entry>
+ </row>
+ <row>
+ <entry></entry>
+ <entry>|</entry>
+ <entry><emphasis role="bold">term</emphasis> &nat; &id;</entry>
+ <entry>&TODO;</entry>
+ </row>
+ <row>
+ <entry></entry>
+ <entry>|</entry>
+ <entry><emphasis role="bold">number</emphasis> &id;</entry>