diff --git a/rdf/rdf12/rdf-semantics/index.html b/rdf/rdf12/rdf-semantics/index.html
index 3d6ee1fc..52ec5dbb 100644
--- a/rdf/rdf12/rdf-semantics/index.html
+++ b/rdf/rdf12/rdf-semantics/index.html
@@ -1123,6 +1123,56 @@ <h2>
             </dd>
           </dl>
         </dd>
+        <dt id='triple-terms-propositions'>
+          <a class='testlink' href='#triple-terms-propositions'>
+            triple-terms-propositions:
+          </a>
+          <span about='../rdf-semantics#triple-terms-propositions' property='mf:name'>triple-terms-propositions</span>
+        </dt>
+        <dd inlist='true' property='mf:entry' resource='../rdf-semantics#triple-terms-propositions' typeof='mf:PositiveEntailmentTest'>
+          <div property='rdfs:comment'>
+            <p>Triple terms denote instances of rdfs:Proposition.</p>
+          </div>
+          <dl class='test-detail'>
+            <dt>type</dt>
+            <dd>mf:PositiveEntailmentTest</dd>
+            <dt>approval</dt>
+            <dd property='mf:approval' resource=''></dd>
+            <dt>action</dt>
+            <dd>
+              <a href='test001a.ttl' property='mf:action'>test001a.ttl</a>
+            </dd>
+            <dt>result</dt>
+            <dd>
+              <a href='triple-terms-propositions.ttl' property='mf:result'>triple-terms-propositions.ttl</a>
+            </dd>
+          </dl>
+        </dd>
+        <dt id='reifies-range'>
+          <a class='testlink' href='#reifies-range'>
+            reifies-range:
+          </a>
+          <span about='../rdf-semantics#reifies-range' property='mf:name'>reifies-range</span>
+        </dt>
+        <dd inlist='true' property='mf:entry' resource='../rdf-semantics#reifies-range' typeof='mf:PositiveEntailmentTest'>
+          <div property='rdfs:comment'>
+            <p>Range of rdf:reifies is rdfs:Proposition.</p>
+          </div>
+          <dl class='test-detail'>
+            <dt>type</dt>
+            <dd>mf:PositiveEntailmentTest</dd>
+            <dt>approval</dt>
+            <dd property='mf:approval' resource=''></dd>
+            <dt>action</dt>
+            <dd>
+              <a href='reifies-rangea.ttl' property='mf:action'>reifies-rangea.ttl</a>
+            </dd>
+            <dt>result</dt>
+            <dd>
+              <a href='reifies-ranger.ttl' property='mf:result'>reifies-ranger.ttl</a>
+            </dd>
+          </dl>
+        </dd>
       </dl>
     </div>
     <footer>
diff --git a/rdf/rdf12/rdf-semantics/manifest.ttl b/rdf/rdf12/rdf-semantics/manifest.ttl
index 159a9b76..f7c7d025 100644
--- a/rdf/rdf12/rdf-semantics/manifest.ttl
+++ b/rdf/rdf12/rdf-semantics/manifest.ttl
@@ -79,6 +79,8 @@ trs:manifest a mf:Manifest;
     trs:double-round-different
     trs:double-round-same
     trs:double-infinity
+    trs:triple-terms-propositions
+    trs:reifies-range
   ) .
 
 trs:all-identical-triple-terms-are-the-same a mf:PositiveEntailmentTest;
@@ -501,3 +503,23 @@ trs:double-infinity a mf:PositiveEntailmentTest;
   mf:result <double-e401.ttl>;
   mf:unrecognizedDatatypes ();
   test:approval test:NotClassified .
+
+trs:triple-terms-propositions a mf:PositiveEntailmentTest;
+  rdfs:comment "Triple terms denote instances of rdfs:Proposition.";
+  mf:action <test001a.ttl>;
+  mf:entailmentRegime "RDFS";
+  mf:name "triple-terms-propositions";
+  mf:recognizedDatatypes ();
+  mf:result <triple-terms-propositions.ttl>;
+  mf:unrecognizedDatatypes ();
+  test:approval test:NotClassified .
+
+trs:reifies-range a mf:PositiveEntailmentTest;
+  rdfs:comment "Range of rdf:reifies is rdfs:Proposition.";
+  mf:action <reifies-rangea.ttl>;
+  mf:entailmentRegime "RDFS";
+  mf:name "reifies-range";
+  mf:recognizedDatatypes ();
+  mf:result <reifies-ranger.ttl>;
+  mf:unrecognizedDatatypes ();
+  test:approval test:NotClassified .
diff --git a/rdf/rdf12/rdf-semantics/reifies-rangea.ttl b/rdf/rdf12/rdf-semantics/reifies-rangea.ttl
new file mode 100644
index 00000000..a463f119
--- /dev/null
+++ b/rdf/rdf12/rdf-semantics/reifies-rangea.ttl
@@ -0,0 +1,4 @@
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX : <http://example.com/ns#>
+
+:a rdf:reifies :b .
diff --git a/rdf/rdf12/rdf-semantics/reifies-ranger.ttl b/rdf/rdf12/rdf-semantics/reifies-ranger.ttl
new file mode 100644
index 00000000..0a62fc82
--- /dev/null
+++ b/rdf/rdf12/rdf-semantics/reifies-ranger.ttl
@@ -0,0 +1,5 @@
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX rdfs:   <http://www.w3.org/2000/01/rdf-schema#>
+PREFIX : <http://example.com/ns#>
+
+:b rdf:type rdfs:Proposition .
diff --git a/rdf/rdf12/rdf-semantics/triple-terms-propositions.ttl b/rdf/rdf12/rdf-semantics/triple-terms-propositions.ttl
new file mode 100644
index 00000000..b08fa43e
--- /dev/null
+++ b/rdf/rdf12/rdf-semantics/triple-terms-propositions.ttl
@@ -0,0 +1,6 @@
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX rdfs:   <http://www.w3.org/2000/01/rdf-schema#>
+PREFIX : <http://example.com/ns#>
+
+:a1 :p1 _:pp .
+_:pp rdf:type rdfs:Proposition .