    <inform-div1 id="assertionsummary">
    <head>Assertion Summary</head>
    
    	<table width="100%" id="document-assertion-summary" border="1">
    		<caption> Summary of Document Assertions </caption>
    		<col width="20%" />
    		<col width="80%" />
    		&document-assertion-table;
    	</table>

    	<table width="100%" id="implementation-assertion-summary" border="1">
    		<caption> Summary of Implementation Assertions </caption>
    		<col width="20%" />
    		<col width="80%" />
    		&implementation-assertion-table;
    	</table>

    </inform-div1>

