Automated manifest generation

Author: pfps

rdf/rdf12/rdf-semantics/index.html

@@ -1131,7 +1131,7 @@ <h2>
         </dt>
         <dd inlist='true' property='mf:entry' resource='../rdf-semantics#triple-terms-propositions' typeof='mf:PositiveEntailmentTest'>
           <div property='rdfs:comment'>
-            <p>Triple terms are instances of rdfs:Proposition.</p>
+            <p>Triple terms denote instances of rdfs:Proposition.</p>
           </div>
           <dl class='test-detail'>
             <dt>type</dt>