From 88c6c12ff8ea0650adc9808b0c06300e5abc0d71 Mon Sep 17 00:00:00 2001
From: "Peter F. Patel-Schneider" <pfpschneider@gmail.com>
Date: Fri, 27 Jun 2025 10:13:43 -0400
Subject: [PATCH 1/5] add tests for rdfs:Proposition

---
 rdf/rdf12/rdf-semantics/manifest.ttl          | 22 +++++++++++++++++++
 rdf/rdf12/rdf-semantics/reifies-rangea.ttl    |  4 ++++
 rdf/rdf12/rdf-semantics/reifies-ranger.ttl    |  5 +++++
 .../triple-terms-propositions.ttl             |  5 +++++
 4 files changed, 36 insertions(+)
 create mode 100644 rdf/rdf12/rdf-semantics/reifies-rangea.ttl
 create mode 100644 rdf/rdf12/rdf-semantics/reifies-ranger.ttl
 create mode 100644 rdf/rdf12/rdf-semantics/triple-terms-propositions.ttl

diff --git a/rdf/rdf12/rdf-semantics/manifest.ttl b/rdf/rdf12/rdf-semantics/manifest.ttl
index 159a9b76..edf87e39 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 are 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..58ef4d49
--- /dev/null
+++ b/rdf/rdf12/rdf-semantics/triple-terms-propositions.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#>
+
+<<( :a :b :c )>> rdf:type rdfs:Proposition .

From 041cc3e9a3a5cfd8976400f1c98eac04eb805652 Mon Sep 17 00:00:00 2001
From: "Peter F. Patel-Schneider" <pfpschneider@gmail.com>
Date: Fri, 27 Jun 2025 12:13:08 -0400
Subject: [PATCH 2/5] use valid syntax for triple terms in rdfs:Proposition
 consequent

---
 rdf/rdf12/rdf-semantics/triple-terms-propositions.ttl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/rdf/rdf12/rdf-semantics/triple-terms-propositions.ttl b/rdf/rdf12/rdf-semantics/triple-terms-propositions.ttl
index 58ef4d49..b08fa43e 100644
--- a/rdf/rdf12/rdf-semantics/triple-terms-propositions.ttl
+++ b/rdf/rdf12/rdf-semantics/triple-terms-propositions.ttl
@@ -2,4 +2,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#>
 
-<<( :a :b :c )>> rdf:type rdfs:Proposition .
+:a1 :p1 _:pp .
+_:pp rdf:type rdfs:Proposition .

From 81dbaebd87e79dfb08bd801c5129a34bbcc3154c Mon Sep 17 00:00:00 2001
From: pfps <6618235+pfps@users.noreply.github.com>
Date: Fri, 27 Jun 2025 16:14:02 +0000
Subject: [PATCH 3/5] Automated manifest generation

---
 rdf/rdf12/rdf-semantics/index.html | 50 ++++++++++++++++++++++++++++++
 1 file changed, 50 insertions(+)

diff --git a/rdf/rdf12/rdf-semantics/index.html b/rdf/rdf12/rdf-semantics/index.html
index 3d6ee1fc..763f76b8 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 are 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>

From bb0661de9fc44dd1e67cb065fa9e03f6c58f788c Mon Sep 17 00:00:00 2001
From: "Peter F. Patel-Schneider" <pfpschneider@gmail.com>
Date: Sat, 28 Jun 2025 05:49:14 -0400
Subject: [PATCH 4/5] Update rdf/rdf12/rdf-semantics/manifest.ttl
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Niklas Lindström <lindstream@gmail.com>
---
 rdf/rdf12/rdf-semantics/manifest.ttl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rdf/rdf12/rdf-semantics/manifest.ttl b/rdf/rdf12/rdf-semantics/manifest.ttl
index edf87e39..f7c7d025 100644
--- a/rdf/rdf12/rdf-semantics/manifest.ttl
+++ b/rdf/rdf12/rdf-semantics/manifest.ttl
@@ -505,7 +505,7 @@ trs:double-infinity a mf:PositiveEntailmentTest;
   test:approval test:NotClassified .
 
 trs:triple-terms-propositions a mf:PositiveEntailmentTest;
-  rdfs:comment "Triple terms are instances of rdfs:Proposition.";
+  rdfs:comment "Triple terms denote instances of rdfs:Proposition.";
   mf:action <test001a.ttl>;
   mf:entailmentRegime "RDFS";
   mf:name "triple-terms-propositions";

From 4bcf40acf67452912239cfc2e280e791d1656895 Mon Sep 17 00:00:00 2001
From: pfps <6618235+pfps@users.noreply.github.com>
Date: Sat, 28 Jun 2025 09:49:49 +0000
Subject: [PATCH 5/5] Automated manifest generation

---
 rdf/rdf12/rdf-semantics/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rdf/rdf12/rdf-semantics/index.html b/rdf/rdf12/rdf-semantics/index.html
index 763f76b8..52ec5dbb 100644
--- a/rdf/rdf12/rdf-semantics/index.html
+++ b/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>