diff --git a/formal-semantics/examples/output13-1-advanced.json b/formal-semantics/examples/output13-1-advanced.json
new file mode 100644
index 0000000..85abfe0
--- /dev/null
+++ b/formal-semantics/examples/output13-1-advanced.json
@@ -0,0 +1,32 @@
+{
+  "@context": {
+    "odrl": "http://www.w3.org/ns/odrl.jsonld",
+    "ex": "http://example.org/",
+    "report": "http://example.com/report/temp/",
+    "dct": "http://purl.org/dc/terms/",
+    "xsd": "http://www.w3.org/2001/XMLSchema#"
+  },
+  "@id": "http://example.com/policy-report/13",
+  "@type": "report:ComplianceReport",
+  "dct:created": {
+    "@value": "2024-12-19T15:00:00.999Z",
+    "@type": "xsd:dateTime"
+  },
+  "report:policy": "http://example.com/policy/13",
+  "report:policyRequest": "http://example.com/policy/request/13",
+  "ex:permissionReport1": {
+    "@id": "http://example.com/policy-report/13/permission/1",
+    "@type": "report:ruleReport",
+    "report:rule": "http://example.com/document/1234",
+    "report:ruleRequest": "http://example.com/policy/request/13/rule/1",
+    "report:activationState": "report:Active",
+    "report:attemptState": "report:Attempted",
+    "report:performanceState": "report:Unknown",
+    "report:deonticState": "report:NonSet"
+  },
+  "ex:constraintReport1": {
+    "@type": "report:ConstraintReport",
+    "@id": "http://example.com/policy-report/13/constraint/1",
+    "report:satisfactionState": "report:Satisfied"
+  }
+}
diff --git a/formal-semantics/examples/output13-1-basic.json b/formal-semantics/examples/output13-1-basic.json
new file mode 100644
index 0000000..4898c10
--- /dev/null
+++ b/formal-semantics/examples/output13-1-basic.json
@@ -0,0 +1,24 @@
+{
+  "@context": {
+    "odrl": "http://www.w3.org/ns/odrl.jsonld",
+    "ex": "http://example.org/",
+    "report": "http://example.com/report/temp/",
+    "dct": "http://purl.org/dc/terms/",
+    "xsd": "http://www.w3.org/2001/XMLSchema#"
+  },
+  "@id": "http://example.com/policy-report/13",
+  "@type": "report:ComplianceReport",
+  "dct:created": {
+    "@value": "2024-12-19T15:00:00.999Z",
+    "@type": "xsd:dateTime"
+  },
+  "report:policy": "http://example.com/policy/13",
+  "report:policyRequest": "http://example.com/policy/request/13",
+  "ex:permissionReport1": {
+    "@id": "http://example.com/policy-report/13/permission/1",
+    "@type": "report:ruleReport",
+    "report:rule": "http://example.com/document/1234",
+    "report:ruleRequest": "http://example.com/policy/request/13/rule/1",
+    "report:activationState": "report:Active"
+  }
+}
diff --git a/formal-semantics/examples/output13-2-advanced.json b/formal-semantics/examples/output13-2-advanced.json
new file mode 100644
index 0000000..30bf143
--- /dev/null
+++ b/formal-semantics/examples/output13-2-advanced.json
@@ -0,0 +1,32 @@
+{
+  "@context": {
+    "odrl": "http://www.w3.org/ns/odrl.jsonld",
+    "ex": "http://example.org/",
+    "report": "http://example.com/report/temp/",
+    "dct": "http://purl.org/dc/terms/",
+    "xsd": "http://www.w3.org/2001/XMLSchema#"
+  },
+  "@id": "http://example.com/policy-report/13",
+  "@type": "report:ComplianceReport",
+  "dct:created": {
+    "@value": "2024-12-19T15:00:00.999Z",
+    "@type": "xsd:dateTime"
+  },
+  "report:policy": "http://example.com/policy/13",
+  "report:policyRequest": "http://example.com/policy/request/13",
+  "ex:permissionReport1": {
+    "@id": "http://example.com/policy-report/13/permission/1",
+    "@type": "report:ruleReport",
+    "report:rule": "http://example.com/document/1234",
+    "report:ruleRequest": "http://example.com/policy/request/13/rule/1",
+    "report:activationState": "report:Inactive",
+    "report:attemptState": "report:Attempted",
+    "report:performanceState": "report:Unknown",
+    "report:deonticState": "report:NonSet"
+  },
+  "ex:constraintReport1": {
+    "@type": "report:ConstraintReport",
+    "@id": "http://example.com/policy-report/13/constraint/1",
+    "report:satisfactionState": "report:NotSatisfied"
+  }
+}
diff --git a/formal-semantics/examples/output13-2-basic.json b/formal-semantics/examples/output13-2-basic.json
new file mode 100644
index 0000000..774b014
--- /dev/null
+++ b/formal-semantics/examples/output13-2-basic.json
@@ -0,0 +1,24 @@
+{
+  "@context": {
+    "odrl": "http://www.w3.org/ns/odrl.jsonld",
+    "ex": "http://example.org/",
+    "report": "http://example.com/report/temp/",
+    "dct": "http://purl.org/dc/terms/",
+    "xsd": "http://www.w3.org/2001/XMLSchema#"
+  },
+  "@id": "http://example.com/policy-report/13",
+  "@type": "report:ComplianceReport",
+  "dct:created": {
+    "@value": "2024-12-19T15:00:00.999Z",
+    "@type": "xsd:dateTime"
+  },
+  "report:policy": "http://example.com/policy/13",
+  "report:policyRequest": "http://example.com/policy/request/13",
+  "ex:permissionReport1": {
+    "@id": "http://example.com/policy-report/13/permission/1",
+    "@type": "report:ruleReport",
+    "report:rule": "http://example.com/document/1234",
+    "report:ruleRequest": "http://example.com/policy/request/13/rule/1",
+    "report:activationState": "report:Inactive"
+  }
+}
diff --git a/formal-semantics/examples/policy13.json b/formal-semantics/examples/policy13.json
new file mode 100644
index 0000000..6c2b27c
--- /dev/null
+++ b/formal-semantics/examples/policy13.json
@@ -0,0 +1,16 @@
+{
+  "@context": "http://www.w3.org/ns/odrl.jsonld",
+  "@type": "Set",
+  "uid": "http://example.com/policy/13",
+  "permission": [{
+    "target": "http://example.com/document/1234",
+    "assigner": "http://example.com/party/16",
+    "action": "distribute",
+    "constraint": [{
+      "@id": "http://example.com/constraint/1",
+      "leftOperand": "dateTime",
+      "operator": "lt",
+      "rightOperand":  { "@value": "2018-01-01", "@type": "xsd:date" }
+    }]
+  }]
+}
diff --git a/formal-semantics/examples/request13-1.json b/formal-semantics/examples/request13-1.json
new file mode 100644
index 0000000..ac833ac
--- /dev/null
+++ b/formal-semantics/examples/request13-1.json
@@ -0,0 +1,11 @@
+{
+  "@context": "http://www.w3.org/ns/odrl.jsonld",
+  "@type": "Request",
+  "uid": "http://example.com/policy/request/13",
+  "permission": [{
+    "target": "http://example.com/policy/request/13/rule/1",
+    "assignee": "http://example.com/party/1",
+    "assigner": "http://example.com/party/16",
+    "action": "distribute"
+  }]
+}
diff --git a/formal-semantics/examples/world13-1.json b/formal-semantics/examples/world13-1.json
new file mode 100644
index 0000000..a0419fe
--- /dev/null
+++ b/formal-semantics/examples/world13-1.json
@@ -0,0 +1,8 @@
+{
+  "@context": {
+    "ex": "http://www.example.org/ns",
+    "xsd": "http://www.w3.org/2001/XMLSchema#"
+  },
+  "@id": "http://example.com/state/13/1",
+  "xsd:dateTime": "2019-12-19T15:00:00.999Z"
+}
diff --git a/formal-semantics/examples/world13-2.json b/formal-semantics/examples/world13-2.json
new file mode 100644
index 0000000..b4b63b6
--- /dev/null
+++ b/formal-semantics/examples/world13-2.json
@@ -0,0 +1,8 @@
+{
+  "@context": {
+    "ex": "http://www.example.org/ns",
+    "xsd": "http://www.w3.org/2001/XMLSchema#"
+  },
+  "@id": "http://example.com/state/13/1",
+  "xsd:dateTime": "2017-12-19T15:00:00.999Z"
+}
diff --git a/formal-semantics/index.html b/formal-semantics/index.html
index 13b0bd6..2ea2f91 100644
--- a/formal-semantics/index.html
+++ b/formal-semantics/index.html
@@ -355,25 +355,25 @@ <h4>Example of a constrained permission</h4>
              </tr>
             <tr>
                     <td>E13-1</td>
-                    <td>policy:13 (<a href="policy13.json">link</a>)</td>
-                    <td>We are in 2017 <br> <code>current time.year=2017</code><br>(<a href="world13-1.json">link</a>) </td>
+                    <td>policy:13 (<a href="examples/policy13.json">link</a>)</td>
+                    <td>We are in 2017 <br> <code>current time.year=2017</code><br>(<a href="examples/world13-1.json">link</a>) </td>
 		    <td><code>distribute</code>
-		    <code>document:1234</code><br><a href="request13-1.json">link</a></td>
+		    <code>document:1234</code><br><a href="examples/request13-1.json">link</a></td>
                     <td>satisfied</td>
                     <td>active</td>
 		    <td>permit the requested action</td>
-            <td>(<a href="output13-1-basic.json">link 1</a>)<br>(<a href="output13-1-advanced.json">link 2</a>)</td>
+            <td>(<a href="examples/output13-1-basic.json">link 1</a>)<br>(<a href="examples/output13-1-advanced.json">link 2</a>)</td>
             </tr>
             <tr>
                     <td>E13-2</td>
-                    <td>policy:13</td>
-                    <td>We are in 2019 <br> <code>current time.year=2019</code></td>
+                    <td>policy:13 (<a href="examples/policy13.json">link</a>)</td>
+                    <td>We are in 2019 <br> <code>current time.year=2019</code><br>(<a href="examples/world13-1.json">link</a>)</td>
 		     <td><code>distribute</code><br>
-		    <code>document:1234</code></td>
+		    <code>document:1234</code><br><a href="examples/request13-1.json">link</a></td>
                     <td>not-satisfied</td>
                     <td>inactive</td>	
 		    <td>deny the requested action</td>
-            <td>(<a href="output13-2-basic.json">link 1</a>)<br>(<a href="output13-2-advanced.json">link 2</a>)</td>
+            <td>(<a href="examples/output13-2-basic.json">link 1</a>)<br>(<a href="examples/output13-2-advanced.json">link 2</a>)</td>
             </tr>
         </table>        
         
@@ -1282,4 +1282,3 @@ <h3>Planning</h3>
 
     </body>
 </html>
-