point to tests for rdfs:Proposition

Author: pfps

spec/index.html

@@ -1300,15 +1300,15 @@ <h2>RDFS Interpretations</h2>
       I(<code>rdfs:Literal</code>) &gt; is in IEXT(I(<code>rdfs:subClassOf</code>))</span></p></td>
     </tr>
     <tr>
-    <td class="semantictable" id="rdfssemcond11"><p>If
+    <td class="semantictable" id="rdfssemcond11" data-tests="rdf-semantics/index.html#triple-terms-propositions"><p>If
       exist x,y,z such that RE(x,z,y)=r
       <br/> 
       then &lt; r,I(<code>rdfs:Proposition</code>)&gt; 
         is in IEXT(I(<code>rdf:type</code>))</p></td>
     </tr>
   </table>
 
-  <table id="RDFS_axiomatic_triples">
+  <table id="RDFS_axiomatic_triples" data-tests="rdf-semantics/index.html#reifies-range">
     <caption>RDFS axiomatic triples.</caption>
     <tr>
       <td class="ruletable"> <code>rdf:type rdfs:domain rdfs:Resource .<br/>