+ <ld:section>System's Syntax and Behavior</ld:section>
+ <ld:body>This is a summary of the "block structure"
+ of the System's syntactic items and reductions.
+ </ld:body>
+ <ld:table name="ld_basic_2_blk"/>
+ <ld:body>* In terms only.
+ ** In terms and local environments only.
+ *** In global environments only.
+ **** Sort level k in terms only.
+ </ld:body>
+
+ <ld:section>Summary of the Specification</ld:section>
+ <ld:body>Here is a numerical acount of the specification's contents
+ and its timeline.
+ </ld:body>
+ <ld:table name="ld_Basic_2_sum"/>
+ <ld:news date="2012 January 27.">
+ Support for abstract candidates of reducibility closed.
+ </ld:news>
+ <ld:news date="2011 September 21.">
+ Confluence of context-sensitive parallel reduction closed.
+ </ld:news>
+ <ld:news date="2011 September 6.">
+ Confluence of context-free parallel reduction closed.
+ </ld:news>
+ <ld:news date="2011 April 17.">
+ Specification started.
+ </ld:news>
+
+ <ld:section>Logical Structure of the Specification</ld:section>