eyeling 1.24.5 → 1.24.7

package/see/examples/output/rdf_messages.md

@@ -1,134 +0,0 @@
-# RDF Messages  
-
-## Entailment  
-RDF Message log accepted: 3 explicit message boundaries are preserved. Message :m002 is an empty heartbeat, and the local blank-node label _:b0 is safely reused in separate messages.  
-
-## Explanation  
-The N3 source models an RDF Message Log as an ordered sequence of RDF Messages. Each non-empty message has a formula-valued payload that is inspected with log:includes, so the observation data stays inside the message boundary instead of being treated as one global graph. The two temperature results, 22 and 23, are different observations from the same stream but are contextualized by their message boundaries.  
-
-**Generated derivation support**  
-
-Compiled support: 25 source fact(s), 6 rule(s), fixpoint reached before rendering.  
-
-Derivation steps:  
-- Rule 1 (4 premise pattern(s) => 2 conclusion pattern(s)) derives :m001 msg:boundaryExplicit true ., :temperatureLog msg:replayContains :m001 ., :m002 msg:boundaryExplicit true ., :temperatureLog msg:replayContains :m002 ., … +2 more  
-  - Uses: :temperatureLog rdf:type msg:MessageLog . _(source)_; :temperatureLog msg:message :m001 . _(source)_; :m001 rdf:type msg:RDFMessage . _(source)_; :m001 msg:offset 1 . _(source)_; … +6 more premise fact(s)  
-- Rule 2 (4 premise pattern(s) => 1 conclusion pattern(s)) derives :m001 msg:payloadResult 22 ., :m003 msg:payloadResult 23 .  
-  - Uses: :m001 rdf:type msg:RDFMessage . _(source)_; :m001 msg:expectedResult 22 . _(source)_; :m001 msg:payload { _:m001b0 rdf:type sosa:Observation . _:m001b0 sosa:madeBySensor :thermometerA . _:m001b0 sosa:resultTime "2026-05-12T18:20:00Z" . _:m001b0 sosa:hasSimpleResult 22 } . _(source)_; :m003 rdf:type msg:RDFMessage . _(source)_; … +2 more premise fact(s)  
-- Rule 3: ?Message rdf:type msg:RDFMessage; ?Message msg:payloadKind :heartbeat => ?Message msg:emptyMessageAllowed true; :HeartbeatEvidence :accepted ?Message derives :m002 msg:emptyMessageAllowed true ., :HeartbeatEvidence :accepted :m002 .  
-  - Uses: :m002 rdf:type msg:RDFMessage . _(source)_; :m002 msg:payloadKind :heartbeat . _(source)_  
-- Rule 4 (5 premise pattern(s) => 2 conclusion pattern(s)) derives :BlankNodeScope :reusedLabel "_:b0" ., :BlankNodeScope :isPerMessage true .  
-  - Uses: :m001 rdf:type msg:RDFMessage . _(source)_; :m001 msg:localBlankLabel "_:b0" . _(source)_; :m003 rdf:type msg:RDFMessage . _(source)_; :m003 msg:localBlankLabel "_:b0" . _(source)_  
-- Rule 5 (6 premise pattern(s) => 1 conclusion pattern(s)) derives :MessageContext :differentObservationsStayContextual true .  
-  - Uses: :m001 rdf:type msg:RDFMessage . _(source)_; :m001 msg:payloadResult 22 . _(derived)_; :m003 rdf:type msg:RDFMessage . _(source)_; :m003 msg:payloadResult 23 . _(derived)_  
-- Rule 6 (12 premise pattern(s) => 6 conclusion pattern(s)) derives :rdfMessagesExample log:outputString "[authored report]" ., :rdfMessagesExample :demonstrates :ExplicitBoundaries ., :rdfMessagesExample :demonstrates :AtomicMessageContext ., :rdfMessagesExample :demonstrates :EmptyHeartbeat ., … +2 more  
-  - Uses: :temperatureLog msg:orderedMessages (:m001 :m002 :m003) . _(source)_; :m001 msg:boundaryExplicit true . _(derived)_; :m001 msg:payloadResult 22 . _(derived)_; :m002 msg:boundaryExplicit true . _(derived)_; … +6 more premise fact(s)  
-
-Selected explanation support:  
-  - :rdfMessagesExample :demonstrates :ReplayableMessageLog . _(derived by Rule 6)_  
-    - :temperatureLog msg:orderedMessages (:m001 :m002 :m003) . _(source)_  
-    - :m001 msg:boundaryExplicit true . _(derived by Rule 1)_  
-      - :temperatureLog rdf:type msg:MessageLog . _(source)_  
-      - :temperatureLog msg:message :m001 . _(source)_  
-      - :m001 rdf:type msg:RDFMessage . _(source)_  
-      - :m001 msg:offset 1 . _(source)_  
-    - :m001 msg:payloadResult 22 . _(derived by Rule 2)_  
-      - :m001 rdf:type msg:RDFMessage . _(source)_  
-      - :m001 msg:expectedResult 22 . _(source)_  
-      - :m001 msg:payload { _:m001b0 rdf:type sosa:Observation . _:m001b0 sosa:madeBySensor :thermometerA . _:m001b0 sosa:resultTime "2026-05-12T18:20:00Z" . _:m001b0 sosa:hasSimpleResult 22 } . _(source)_  
-    - :m002 msg:boundaryExplicit true . _(derived by Rule 1)_  
-      - :temperatureLog rdf:type msg:MessageLog . _(source)_  
-      - :temperatureLog msg:message :m002 . _(source)_  
-      - :m002 rdf:type msg:RDFMessage . _(source)_  
-      - :m002 msg:offset 2 . _(source)_  
-    - ... 6 more premise fact(s)  
-  - :rdfMessagesExample :demonstrates :MessageScopedBlankNodes . _(derived by Rule 6)_  
-    - :temperatureLog msg:orderedMessages (:m001 :m002 :m003) . _(source)_  
-    - :m001 msg:boundaryExplicit true . _(derived by Rule 1)_  
-      - :temperatureLog rdf:type msg:MessageLog . _(source)_  
-      - :temperatureLog msg:message :m001 . _(source)_  
-      - :m001 rdf:type msg:RDFMessage . _(source)_  
-      - :m001 msg:offset 1 . _(source)_  
-    - :m001 msg:payloadResult 22 . _(derived by Rule 2)_  
-      - :m001 rdf:type msg:RDFMessage . _(source)_  
-      - :m001 msg:expectedResult 22 . _(source)_  
-      - :m001 msg:payload { _:m001b0 rdf:type sosa:Observation . _:m001b0 sosa:madeBySensor :thermometerA . _:m001b0 sosa:resultTime "2026-05-12T18:20:00Z" . _:m001b0 sosa:hasSimpleResult 22 } . _(source)_  
-    - :m002 msg:boundaryExplicit true . _(derived by Rule 1)_  
-      - :temperatureLog rdf:type msg:MessageLog . _(source)_  
-      - :temperatureLog msg:message :m002 . _(source)_  
-      - :m002 rdf:type msg:RDFMessage . _(source)_  
-      - :m002 msg:offset 2 . _(source)_  
-    - ... 6 more premise fact(s)  
-  - :rdfMessagesExample :demonstrates :EmptyHeartbeat . _(derived by Rule 6)_  
-    - :temperatureLog msg:orderedMessages (:m001 :m002 :m003) . _(source)_  
-    - :m001 msg:boundaryExplicit true . _(derived by Rule 1)_  
-      - :temperatureLog rdf:type msg:MessageLog . _(source)_  
-      - :temperatureLog msg:message :m001 . _(source)_  
-      - :m001 rdf:type msg:RDFMessage . _(source)_  
-      - :m001 msg:offset 1 . _(source)_  
-    - :m001 msg:payloadResult 22 . _(derived by Rule 2)_  
-      - :m001 rdf:type msg:RDFMessage . _(source)_  
-      - :m001 msg:expectedResult 22 . _(source)_  
-      - :m001 msg:payload { _:m001b0 rdf:type sosa:Observation . _:m001b0 sosa:madeBySensor :thermometerA . _:m001b0 sosa:resultTime "2026-05-12T18:20:00Z" . _:m001b0 sosa:hasSimpleResult 22 } . _(source)_  
-    - :m002 msg:boundaryExplicit true . _(derived by Rule 1)_  
-      - :temperatureLog rdf:type msg:MessageLog . _(source)_  
-      - :temperatureLog msg:message :m002 . _(source)_  
-      - :m002 rdf:type msg:RDFMessage . _(source)_  
-      - :m002 msg:offset 2 . _(source)_  
-    - ... 6 more premise fact(s)  
-  - :rdfMessagesExample :demonstrates :AtomicMessageContext . _(derived by Rule 6)_  
-    - :temperatureLog msg:orderedMessages (:m001 :m002 :m003) . _(source)_  
-    - :m001 msg:boundaryExplicit true . _(derived by Rule 1)_  
-      - :temperatureLog rdf:type msg:MessageLog . _(source)_  
-      - :temperatureLog msg:message :m001 . _(source)_  
-      - :m001 rdf:type msg:RDFMessage . _(source)_  
-      - :m001 msg:offset 1 . _(source)_  
-    - :m001 msg:payloadResult 22 . _(derived by Rule 2)_  
-      - :m001 rdf:type msg:RDFMessage . _(source)_  
-      - :m001 msg:expectedResult 22 . _(source)_  
-      - :m001 msg:payload { _:m001b0 rdf:type sosa:Observation . _:m001b0 sosa:madeBySensor :thermometerA . _:m001b0 sosa:resultTime "2026-05-12T18:20:00Z" . _:m001b0 sosa:hasSimpleResult 22 } . _(source)_  
-    - :m002 msg:boundaryExplicit true . _(derived by Rule 1)_  
-      - :temperatureLog rdf:type msg:MessageLog . _(source)_  
-      - :temperatureLog msg:message :m002 . _(source)_  
-      - :m002 rdf:type msg:RDFMessage . _(source)_  
-      - :m002 msg:offset 2 . _(source)_  
-    - ... 6 more premise fact(s)  
-
-## Formal TriG Output  
-
-```trig  
-@prefix : <https://eyereasoner.github.io/see/examples/rdf-messages#> .  
-@prefix msg: <https://w3c-cg.github.io/rsp/spec/messages#> .  
-@prefix prov: <http://www.w3.org/ns/prov#> .  
-@prefix sosa: <http://www.w3.org/ns/sosa/> .  
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .  
-@prefix math: <http://www.w3.org/2000/10/swap/math#> .  
-@prefix list: <http://www.w3.org/2000/10/swap/list#> .  
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .  
-@prefix string: <http://www.w3.org/2000/10/swap/string#> .  
-@prefix see: <https://example.org/see#> .  
-@prefix in: <https://example.org/see/input#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-
-:rdfMessagesExample :demonstrates :ExplicitBoundaries .  
-:rdfMessagesExample :demonstrates :AtomicMessageContext .  
-:rdfMessagesExample :demonstrates :EmptyHeartbeat .  
-:rdfMessagesExample :demonstrates :MessageScopedBlankNodes .  
-:rdfMessagesExample :demonstrates :ReplayableMessageLog .  
-
-in:metadata {  
-  in:run a see:InputDataset .  
-  in:run see:name "rdf_messages" .  
-  in:run see:title "RDF Messages" .  
-  in:run see:sourceFile "examples/n3/rdf_messages.n3" .  
-  in:run see:sourceSHA256 "2ea8b414b92e65531cf384000955ca47811d5b7c779a8d2c9fb007515e745f32" .  
-  in:run see:description "This SEE example models the main idea from\nhttps://pietercolpaert.be/papers/eswc2026-rdf-messages/:\na message stream/log is not just one freely mergeable RDF graph. It is an\nordered sequence of RDF Datasets that are interpreted atomically, one message\nat a time. The middle message is deliberately empty to model a heartbeat, and\nthe local blank-node label \"_:b0\" is deliberately reused by two messages to\nshow message-scoped blank nodes." .  
-  in:run see:compiler "see.js N3-to-JS compiler" .  
-  in:run see:inputFacts 25 .  
-  in:run see:compiledRules 6 .  
-  in:run see:compiledBackwardRules 0 .  
-  in:run see:compiledFuses 0 .  
-  in:run see:compiledQueries 1 .  
-}  
-```  
-

package/see/examples/output/school_placement_audit.md

@@ -1,99 +0,0 @@
-# School Placement Route Audit  
-
-## Entailment  
-audit result : fail  
-children affected by straight-line rule : Ada, Björn, Davi  
-largest hidden detour : Ada, 3000 m  
-recommended assignments : Ada -> Lindholmen; Björn -> Backa; Clara -> Haga; Davi -> Haga  
-explanation requested : yes  
-
-## Explanation  
-The support-tool rule chooses the school with the smallest straight-line distance, using preference rank only as a tie-breaker. The independent audit recomputes each candidate with walking-route distance plus 600 m per preference step. Any provisional assignment that is not the audited best, or that requires more than 2500 m of walking, is flagged. Ada and Björn look close to Centrum on a map, but their walking routes cross barriers and exceed the walking limit; Davi is also better served by the first-preference Haga route. This illustrates why a decision-support label is not enough: route geometry, preferences, and audit records must be inspectable.  
-
-**Generated derivation support**  
-
-Compiled support: 26 source fact(s), 4 rule(s), fixpoint reached before rendering.  
-
-Derivation steps:  
-- Rule 1 (5 premise pattern(s) => 1 conclusion pattern(s)) derives :Ada :auditFlag :walkingLimitExceeded ., :Bjorn :auditFlag :walkingLimitExceeded ., :Davi :auditFlag :walkingLimitExceeded .  
-  - Uses: :Ada :provisional :Centrum . _(source)_; :Ada :auditedBest :Lindholmen . _(source)_; :Ada :walkingMeters 3600 . _(source)_; :Policy :maxWalkingMeters 2500 . _(source)_; … +6 more premise fact(s)  
-- Rule 2 (3 premise pattern(s) => 1 conclusion pattern(s)) derives :Ada :auditFlag :assignmentDiffersFromAuditedBest ., :Bjorn :auditFlag :assignmentDiffersFromAuditedBest ., :Davi :auditFlag :assignmentDiffersFromAuditedBest .  
-  - Uses: :Ada :provisional :Centrum . _(source)_; :Ada :auditedBest :Lindholmen . _(source)_; :Bjorn :provisional :Centrum . _(source)_; :Bjorn :auditedBest :Backa . _(source)_; … +2 more premise fact(s)  
-- Rule 3 (8 premise pattern(s) => 4 conclusion pattern(s)) derives :Audit :result "fail" ., :Audit :affectedChildren "Ada, Björn, Davi" ., :Audit :largestHiddenDetour "Ada, 3000 m" ., :Audit :recommendedAssignments "Ada -> Lindholmen; Björn -> Backa; Clara -> Haga; Davi -> Haga" .  
-  - Uses: :Ada :auditFlag :walkingLimitExceeded . _(derived)_; :Bjorn :auditFlag :walkingLimitExceeded . _(derived)_; :Davi :auditFlag :walkingLimitExceeded . _(derived)_; :Ada :hiddenDetour 3000 . _(source)_; … +2 more premise fact(s)  
-- Rule 4 (5 premise pattern(s) => 2 conclusion pattern(s)) derives :schoolPlacementAudit log:outputString "[authored report]" ., :schoolPlacementAudit :reports :Audit .  
-  - Uses: :Audit :result "fail" . _(derived)_; :Audit :affectedChildren "Ada, Björn, Davi" . _(derived)_; :Audit :largestHiddenDetour "Ada, 3000 m" . _(derived)_; :Audit :recommendedAssignments "Ada -> Lindholmen; Björn -> Backa; Clara -> Haga; Davi -> Haga" . _(derived)_  
-
-Selected explanation support:  
-  - :schoolPlacementAudit :reports :Audit . _(derived by Rule 4)_  
-    - :Audit :result "fail" . _(derived by Rule 3)_  
-      - :Ada :auditFlag :walkingLimitExceeded . _(derived by Rule 1)_  
-        - :Ada :provisional :Centrum . _(source)_  
-        - :Ada :auditedBest :Lindholmen . _(source)_  
-        - :Ada :walkingMeters 3600 . _(source)_  
-        - :Policy :maxWalkingMeters 2500 . _(source)_  
-      - :Bjorn :auditFlag :walkingLimitExceeded . _(derived by Rule 1)_  
-        - :Bjorn :provisional :Centrum . _(source)_  
-        - :Bjorn :auditedBest :Backa . _(source)_  
-        - :Bjorn :walkingMeters 3100 . _(source)_  
-        - :Policy :maxWalkingMeters 2500 . _(source)_  
-      - :Davi :auditFlag :walkingLimitExceeded . _(derived by Rule 1)_  
-        - :Davi :provisional :Centrum . _(source)_  
-        - :Davi :auditedBest :Haga . _(source)_  
-        - :Davi :walkingMeters 2800 . _(source)_  
-        - :Policy :maxWalkingMeters 2500 . _(source)_  
-      - :Ada :hiddenDetour 3000 . _(source)_  
-      - ... 2 more premise fact(s)  
-    - :Audit :affectedChildren "Ada, Björn, Davi" . _(derived by Rule 3)_  
-      - :Ada :auditFlag :walkingLimitExceeded . _(derived by Rule 1)_  
-        - :Ada :provisional :Centrum . _(source)_  
-        - :Ada :auditedBest :Lindholmen . _(source)_  
-        - :Ada :walkingMeters 3600 . _(source)_  
-        - :Policy :maxWalkingMeters 2500 . _(source)_  
-      - :Bjorn :auditFlag :walkingLimitExceeded . _(derived by Rule 1)_  
-        - :Bjorn :provisional :Centrum . _(source)_  
-        - :Bjorn :auditedBest :Backa . _(source)_  
-        - :Bjorn :walkingMeters 3100 . _(source)_  
-        - :Policy :maxWalkingMeters 2500 . _(source)_  
-      - :Davi :auditFlag :walkingLimitExceeded . _(derived by Rule 1)_  
-        - :Davi :provisional :Centrum . _(source)_  
-        - :Davi :auditedBest :Haga . _(source)_  
-        - :Davi :walkingMeters 2800 . _(source)_  
-        - :Policy :maxWalkingMeters 2500 . _(source)_  
-      - :Ada :hiddenDetour 3000 . _(source)_  
-      - ... 2 more premise fact(s)  
-    - :Audit :largestHiddenDetour "Ada, 3000 m" . _(derived by Rule 3)_  
-      - :Ada :auditFlag :walkingLimitExceeded . _(derived by Rule 1)_  
-        - :Ada :provisional :Centrum . _(source)_  
-      - ... 2 more premise fact(s)  
-  - … support tree truncated after 40 line(s)  
-
-## Formal TriG Output  
-
-```trig  
-@prefix : <https://eyereasoner.github.io/see/examples/school-placement-audit#> .  
-@prefix math: <http://www.w3.org/2000/10/swap/math#> .  
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .  
-@prefix string: <http://www.w3.org/2000/10/swap/string#> .  
-@prefix see: <https://example.org/see#> .  
-@prefix in: <https://example.org/see/input#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-
-:schoolPlacementAudit :reports :Audit .  
-
-in:metadata {  
-  in:run a see:InputDataset .  
-  in:run see:name "school_placement_audit" .  
-  in:run see:title "School Placement Route Audit" .  
-  in:run see:sourceFile "examples/n3/school_placement_audit.n3" .  
-  in:run see:sourceSHA256 "8bea39b2ea4c3045fed64b6e7adef0ca8cdf8d14c3735e28e831a759dae600fd" .  
-  in:run see:description "N3-compiled version of the school placement audit. The original student,\nschool, distance, and policy JSON is preserved as the data-input sidecar." .  
-  in:run see:compiler "see.js N3-to-JS compiler" .  
-  in:run see:inputFacts 26 .  
-  in:run see:compiledRules 4 .  
-  in:run see:compiledBackwardRules 0 .  
-  in:run see:compiledFuses 0 .  
-  in:run see:compiledQueries 1 .  
-}  
-```  
-

package/see/examples/output/smoke_arithmetic.md

@@ -1,54 +0,0 @@
-# Smoke Arithmetic  
-
-## Entailment  
-product = 42  
-
-## Explanation  
-The compiled rule multiplies :x and :y using math:product.  
-
-**Generated derivation support**  
-
-Compiled support: 2 source fact(s), 2 rule(s), fixpoint reached before rendering.  
-
-Derivation steps:  
-- Rule 1 (4 premise pattern(s) => 1 conclusion pattern(s)) derives :Case :product 42 .  
-  - Uses: :Input :x 6 . _(source)_; :Input :y 7 . _(source)_  
-- Rule 2: :Case :product ?Product; ("=== Answer ===\nproduct = %s\n\n=== Explanation ===\nThe compiled rule multiplies :x and :y using math:product." ?Product) string:format ?Block => :out01 log:outputString "[authored report]" derives :out01 log:outputString "[authored report]" .  
-  - Uses: :Case :product 42 . _(derived)_  
-
-Selected explanation support:  
-  - :out01 log:outputString "[authored report]" . _(authored report, Rule 2)_  
-  - :Case :product 42 . _(derived by Rule 1)_  
-    - :Input :x 6 . _(source)_  
-    - :Input :y 7 . _(source)_  
-
-## Formal TriG Output  
-
-```trig  
-@prefix : <https://example.org/see/smoke#> .  
-@prefix math: <http://www.w3.org/2000/10/swap/math#> .  
-@prefix string: <http://www.w3.org/2000/10/swap/string#> .  
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .  
-@prefix see: <https://example.org/see#> .  
-@prefix in: <https://example.org/see/input#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-
-:Case :product 42 .  
-:out01 log:outputString "=== Answer ===\nproduct = 42\n\n=== Explanation ===\nThe compiled rule multiplies :x and :y using math:product." .  
-
-in:metadata {  
-  in:run a see:InputDataset .  
-  in:run see:name "smoke_arithmetic" .  
-  in:run see:title "Smoke Arithmetic" .  
-  in:run see:sourceFile "examples/n3/smoke_arithmetic.n3" .  
-  in:run see:sourceSHA256 "e254b8b9be8207c07f29cf30426466e2d916286b5f93ea4385786a5d80303499" .  
-  in:run see:description "Small Notation3 source used to prove that see.js generates a specialized JS\nexample which derives its answer from facts, math built-ins, fuses, and string\nformatting instead of reading a prewritten conclusion." .  
-  in:run see:compiler "see.js N3-to-JS compiler" .  
-  in:run see:inputFacts 2 .  
-  in:run see:compiledRules 2 .  
-  in:run see:compiledBackwardRules 0 .  
-  in:run see:compiledFuses 0 .  
-  in:run see:compiledQueries 0 .  
-}  
-```  
-

package/see/examples/output/socrates.md

@@ -1,55 +0,0 @@
-# Socrates inference  
-
-## Entailment  
-The compiled query selected 2 fact(s) after the rule closure was computed.  
-Main entailment: **:Socrates is a :Mortal.**  
-
-Selected entailments:  
-- :Socrates rdf:type :Mortal .  
-- :Socrates rdf:type :Human .  
-
-## Explanation  
-Starts with 2 source fact(s), applies 1 rule(s), and reaches a fixpoint.  
-The log:query projection then keeps only the matching fact(s) shown above.  
-
-Derivation steps:  
-- Rule 1: ?S rdf:type ?A; ?A rdfs:subClassOf ?B => ?S rdf:type ?B derives :Socrates rdf:type :Mortal .  
-  - Uses: :Socrates rdf:type :Human . _(source)_; :Human rdfs:subClassOf :Mortal . _(source)_  
-
-Selected explanation support:  
-  - :Socrates rdf:type :Mortal . _(derived by Rule 1)_  
-    - :Socrates rdf:type :Human . _(source)_  
-    - :Human rdfs:subClassOf :Mortal . _(source)_  
-  - :Socrates rdf:type :Human . _(source)_  
-
-The query-selected facts are serialized in the Formal TriG Output section.  
-
-## Formal TriG Output  
-
-```trig  
-@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .  
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .  
-@prefix : <http://example.org/socrates#> .  
-@prefix see: <https://example.org/see#> .  
-@prefix in: <https://example.org/see/input#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-
-:Socrates rdf:type :Human .  
-:Socrates rdf:type :Mortal .  
-
-in:metadata {  
-  in:run a see:InputDataset .  
-  in:run see:name "socrates" .  
-  in:run see:title "Socrates inference" .  
-  in:run see:sourceFile "examples/n3/socrates.n3" .  
-  in:run see:sourceSHA256 "a0c8a488401f3247c2371978378e7f4c532c8b6c22d5f5642665e93fd8c576a4" .  
-  in:run see:description "" .  
-  in:run see:compiler "see.js N3-to-JS compiler" .  
-  in:run see:inputFacts 2 .  
-  in:run see:compiledRules 1 .  
-  in:run see:compiledBackwardRules 0 .  
-  in:run see:compiledFuses 0 .  
-  in:run see:compiledQueries 1 .  
-}  
-```  
-

package/see/examples/output/triple_terms.md

@@ -1,53 +0,0 @@
-# Triple terms  
-
-## Entailment  
-The compiled query selected 1 fact(s) after the rule closure was computed.  
-Main entailment: **:observation :entails <<( :sensor :needs :inspection )>>.**  
-
-Selected entailments:  
-- :observation :entails <<( :sensor :needs :inspection )>> .  
-
-## Explanation  
-Starts with 2 source fact(s), applies 1 rule(s), and reaches a fixpoint.  
-The log:query projection then keeps only the matching fact(s) shown above.  
-
-Derivation steps:  
-- Rule 1: ?observation rdf:reifies <<( ?device :reports ?condition )>>; ?condition :requires ?action => ?observation :entails <<( ?device :needs ?action )>> derives :observation :entails <<( :sensor :needs :inspection )>> .  
-  - Uses: :observation rdf:reifies <<( :sensor :reports :overheating )>> . _(source)_; :overheating :requires :inspection . _(source)_  
-
-Selected explanation support:  
-  - :observation :entails <<( :sensor :needs :inspection )>> . _(derived by Rule 1)_  
-    - :observation rdf:reifies <<( :sensor :reports :overheating )>> . _(source)_  
-    - :overheating :requires :inspection . _(source)_  
-
-The query-selected facts are serialized in the Formal TriG Output section.  
-
-## Formal TriG Output  
-
-```trig  
-VERSION "1.2"  
-
-@prefix : <https://eyereasoner.github.io/eyeling/see/examples/triple_terms#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .  
-@prefix see: <https://example.org/see#> .  
-@prefix in: <https://example.org/see/input#> .  
-
-:observation :entails <<( :sensor :needs :inspection )>> .  
-
-in:metadata {  
-  in:run a see:InputDataset .  
-  in:run see:name "triple_terms" .  
-  in:run see:title "Triple terms" .  
-  in:run see:sourceFile "examples/n3/triple_terms.n3" .  
-  in:run see:sourceSHA256 "f94fae1b4087f790c085c4dd1570875694238a882213951b457480ee26c06944" .  
-  in:run see:description "Demonstrates RDF 1.2 TriG triple terms as input evidence and as a derived entailment." .  
-  in:run see:compiler "see.js N3-to-JS compiler" .  
-  in:run see:inputFacts 2 .  
-  in:run see:compiledRules 1 .  
-  in:run see:compiledBackwardRules 0 .  
-  in:run see:compiledFuses 0 .  
-  in:run see:compiledQueries 1 .  
-}  
-```  
-

package/see/examples/output/wind_turbine.md

@@ -1,108 +0,0 @@
-# Wind Turbine Envelope  
-
-## Entailment  
-operating thresholds : cut-in 3.5 m/s, rated 12.0 m/s, cut-out 25.0 m/s  
-rated power : 3.2 MW  
-interval classifications : t1 3.0 m/s stopped 0.000 MW; t2 6.5 m/s partial 0.440 MW; t3 11.2 m/s partial 2.586 MW; t4 15.0 m/s rated 3.200 MW; t5 24.5 m/s rated 3.200 MW; t6 27.0 m/s stopped 0.000 MW  
-usable intervals : 4  
-total energy : 1.571 MWh  
-
-## Explanation  
-Wind below cut-in and at or above cut-out is stopped for production and safety. Wind between cut-in and rated speed follows a cubic power curve normalized to the rated point. Wind between rated speed and cut-out is capped at rated power. Energy is accumulated by multiplying each interval power by the ten-minute interval duration.  
-
-**Generated derivation support**  
-
-Compiled support: 23 source fact(s), 7 rule(s), fixpoint reached before rendering.  
-
-Derivation steps:  
-- Rule 1 (3 premise pattern(s) => 2 conclusion pattern(s)) derives :t1 :status "stopped" ., :t1 :powerMW 0 .  
-  - Uses: :case :cutInMS 3.5 . _(source)_; :t1 :speedMS 3 . _(source)_  
-- Rule 2 (3 premise pattern(s) => 2 conclusion pattern(s)) derives :t6 :status "stopped" ., :t6 :powerMW 0 .  
-  - Uses: :case :cutOutMS 25 . _(source)_; :t6 :speedMS 27 . _(source)_  
-- Rule 3 (13 premise pattern(s) => 2 conclusion pattern(s)) derives :t2 :status "partial" ., :t2 :powerMW 0.440086047029152 ., :t3 :status "partial" ., :t3 :powerMW 2.58649631332987 .  
-  - Uses: :case :cutInMS 3.5 . _(source)_; :case :ratedMS 12 . _(source)_; :case :ratedPowerMW 3.2 . _(source)_; :t2 :speedMS 6.5 . _(source)_; … +1 more premise fact(s)  
-- Rule 4 (6 premise pattern(s) => 2 conclusion pattern(s)) derives :t4 :status "rated" ., :t4 :powerMW 3.2 ., :t5 :status "rated" ., :t5 :powerMW 3.2 .  
-  - Uses: :case :ratedMS 12 . _(source)_; :case :cutOutMS 25 . _(source)_; :case :ratedPowerMW 3.2 . _(source)_; :t4 :speedMS 15 . _(source)_; … +1 more premise fact(s)  
-- Rule 5 (4 premise pattern(s) => 1 conclusion pattern(s)) derives :t1 :nonNegativePower true ., :t2 :nonNegativePower true ., :t3 :nonNegativePower true ., :t4 :nonNegativePower true ., … +2 more  
-  - Uses: :case :sample :t1 . _(source)_; :t1 :status "stopped" . _(derived)_; :t1 :powerMW 0 . _(derived)_; :case :sample :t2 . _(source)_; … +14 more premise fact(s)  
-- Rule 6 (4 premise pattern(s) => 1 conclusion pattern(s)) derives :t1 :withinRatedPower true ., :t2 :withinRatedPower true ., :t3 :withinRatedPower true ., :t4 :withinRatedPower true ., … +2 more  
-  - Uses: :case :ratedPowerMW 3.2 . _(source)_; :case :sample :t1 . _(source)_; :t1 :powerMW 0 . _(derived)_; :case :sample :t2 . _(source)_; … +9 more premise fact(s)  
-
-Selected explanation support:  
-  - :report log:outputString "[authored report]" . _(authored report, Rule 7)_  
-  - :t6 :withinRatedPower true . _(derived by Rule 6)_  
-    - :case :ratedPowerMW 3.2 . _(source)_  
-    - :case :sample :t6 . _(source)_  
-    - :t6 :powerMW 0 . _(derived by Rule 2)_  
-      - :case :cutOutMS 25 . _(source)_  
-      - :t6 :speedMS 27 . _(source)_  
-  - :t5 :withinRatedPower true . _(derived by Rule 6)_  
-    - :case :ratedPowerMW 3.2 . _(source)_  
-    - :case :sample :t5 . _(source)_  
-    - :t5 :powerMW 3.2 . _(derived by Rule 4)_  
-      - :case :ratedMS 12 . _(source)_  
-      - :case :cutOutMS 25 . _(source)_  
-      - :case :ratedPowerMW 3.2 . _(source)_  
-      - :t5 :speedMS 24.5 . _(source)_  
-  - :t4 :withinRatedPower true . _(derived by Rule 6)_  
-    - :case :ratedPowerMW 3.2 . _(source)_  
-    - :case :sample :t4 . _(source)_  
-    - :t4 :powerMW 3.2 . _(derived by Rule 4)_  
-      - :case :ratedMS 12 . _(source)_  
-      - :case :cutOutMS 25 . _(source)_  
-      - :case :ratedPowerMW 3.2 . _(source)_  
-      - :t4 :speedMS 15 . _(source)_  
-
-## Formal TriG Output  
-
-```trig  
-@prefix : <https://eyereasoner.github.io/see/examples/wind-turbine#> .  
-@prefix math: <http://www.w3.org/2000/10/swap/math#> .  
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .  
-@prefix string: <http://www.w3.org/2000/10/swap/string#> .  
-@prefix see: <https://example.org/see#> .  
-@prefix in: <https://example.org/see/input#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-
-:t1 :status "stopped" .  
-:t1 :powerMW 0 .  
-:t6 :status "stopped" .  
-:t6 :powerMW 0 .  
-:t2 :status "partial" .  
-:t2 :powerMW 0.440086047029152 .  
-:t3 :status "partial" .  
-:t3 :powerMW 2.58649631332987 .  
-:t4 :status "rated" .  
-:t4 :powerMW 3.2 .  
-:t5 :status "rated" .  
-:t5 :powerMW 3.2 .  
-:t1 :nonNegativePower true .  
-:t2 :nonNegativePower true .  
-:t3 :nonNegativePower true .  
-:t4 :nonNegativePower true .  
-:t5 :nonNegativePower true .  
-:t6 :nonNegativePower true .  
-:t1 :withinRatedPower true .  
-:t2 :withinRatedPower true .  
-:t3 :withinRatedPower true .  
-:t4 :withinRatedPower true .  
-:t5 :withinRatedPower true .  
-:t6 :withinRatedPower true .  
-:report log:outputString "=== Answer ===\noperating thresholds : cut-in 3.5 m/s, rated 12.0 m/s, cut-out 25.0 m/s\nrated power : 3.2 MW\ninterval classifications : t1 3.0 m/s stopped 0.000 MW; t2 6.5 m/s partial 0.440 MW; t3 11.2 m/s partial 2.586 MW; t4 15.0 m/s rated 3.200 MW; t5 24.5 m/s rated 3.200 MW; t6 27.0 m/s stopped 0.000 MW\nusable intervals : 4\ntotal energy : 1.571 MWh\n\n=== Explanation ===\nWind below cut-in and at or above cut-out is stopped for production and safety. Wind between cut-in and rated speed follows a cubic power curve normalized to the rated point. Wind between rated speed and cut-out is capped at rated power. Energy is accumulated by multiplying each interval power by the ten-minute interval duration." .  
-
-in:metadata {  
-  in:run a see:InputDataset .  
-  in:run see:name "wind_turbine" .  
-  in:run see:title "Wind Turbine Envelope" .  
-  in:run see:sourceFile "examples/n3/wind_turbine.n3" .  
-  in:run see:sourceSHA256 "cf2129430d3165b9e304a078ce1b40c0f4634b4c98a14832c096ac0c1a70a049" .  
-  in:run see:description "Classify wind-speed samples against a turbine operating envelope and compute\ninterval energy. The classification and cubic power curve are expressed in N3\nrules and compiled into a standalone SEE JavaScript example." .  
-  in:run see:compiler "see.js N3-to-JS compiler" .  
-  in:run see:inputFacts 23 .  
-  in:run see:compiledRules 7 .  
-  in:run see:compiledBackwardRules 0 .  
-  in:run see:compiledFuses 0 .  
-  in:run see:compiledQueries 0 .  
-}  
-```  
-

package/see/examples/output/witch.md

@@ -1,87 +0,0 @@
-# Burn the witch  
-
-## Entailment  
-The derivation produced 6 new fact(s) from 3 stated fact(s).  
-Main entailment: **:GIRL is a :WITCH.**  
-
-Selected entailments:  
-- :GIRL rdf:type :WITCH .  
-- :GIRL rdf:type :BURNS .  
-- :GIRL rdf:type :ISMADEOFWOOD .  
-- :DUCK rdf:type :BURNS .  
-- :GIRL rdf:type :FLOATS .  
-- :DUCK rdf:type :ISMADEOFWOOD .  
-
-## Explanation  
-Starts with 3 source fact(s), applies 4 rule(s), and reaches a fixpoint.  
-
-Derivation steps:  
-- Rule 3: ?x rdf:type :FLOATS => ?x rdf:type :ISMADEOFWOOD derives :DUCK rdf:type :ISMADEOFWOOD ., :GIRL rdf:type :ISMADEOFWOOD .  
-  - Uses: :DUCK rdf:type :FLOATS . _(source)_; :GIRL rdf:type :FLOATS . _(derived)_  
-- Rule 4: ?x rdf:type :FLOATS; ?x :SAMEWEIGHT ?y => ?y rdf:type :FLOATS derives :GIRL rdf:type :FLOATS .  
-  - Uses: :DUCK rdf:type :FLOATS . _(source)_; :DUCK :SAMEWEIGHT :GIRL . _(source)_  
-- Rule 2: ?x rdf:type :ISMADEOFWOOD => ?x rdf:type :BURNS derives :DUCK rdf:type :BURNS ., :GIRL rdf:type :BURNS .  
-  - Uses: :DUCK rdf:type :ISMADEOFWOOD . _(derived)_; :GIRL rdf:type :ISMADEOFWOOD . _(derived)_  
-- Rule 1: ?x rdf:type :BURNS; ?x rdf:type :WOMAN => ?x rdf:type :WITCH derives :GIRL rdf:type :WITCH .  
-  - Uses: :GIRL rdf:type :BURNS . _(derived)_; :GIRL rdf:type :WOMAN . _(source)_  
-
-Selected explanation support:  
-  - :GIRL rdf:type :WITCH . _(derived by Rule 1)_  
-    - :GIRL rdf:type :BURNS . _(derived by Rule 2)_  
-      - :GIRL rdf:type :ISMADEOFWOOD . _(derived by Rule 3)_  
-        - :GIRL rdf:type :FLOATS . _(derived by Rule 4)_  
-          - :DUCK rdf:type :FLOATS . _(source)_  
-          - :DUCK :SAMEWEIGHT :GIRL . _(source)_  
-    - :GIRL rdf:type :WOMAN . _(source)_  
-  - :GIRL rdf:type :BURNS . _(derived by Rule 2)_  
-    - :GIRL rdf:type :ISMADEOFWOOD . _(derived by Rule 3)_  
-      - :GIRL rdf:type :FLOATS . _(derived by Rule 4)_  
-        - :DUCK rdf:type :FLOATS . _(source)_  
-        - :DUCK :SAMEWEIGHT :GIRL . _(source)_  
-  - :GIRL rdf:type :ISMADEOFWOOD . _(derived by Rule 3)_  
-    - :GIRL rdf:type :FLOATS . _(derived by Rule 4)_  
-      - :DUCK rdf:type :FLOATS . _(source)_  
-      - :DUCK :SAMEWEIGHT :GIRL . _(source)_  
-  - :DUCK rdf:type :BURNS . _(derived by Rule 2)_  
-    - :DUCK rdf:type :ISMADEOFWOOD . _(derived by Rule 3)_  
-      - :DUCK rdf:type :FLOATS . _(source)_  
-  - :GIRL rdf:type :FLOATS . _(derived by Rule 4)_  
-    - :DUCK rdf:type :FLOATS . _(source)_  
-    - :DUCK :SAMEWEIGHT :GIRL . _(source)_  
-  - :DUCK rdf:type :ISMADEOFWOOD . _(derived by Rule 3)_  
-    - :DUCK rdf:type :FLOATS . _(source)_  
-
-The selected facts are serialized in the Formal TriG Output section.  
-
-## Formal TriG Output  
-
-```trig  
-@prefix : <http://example.org/witch#> .  
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .  
-@prefix see: <https://example.org/see#> .  
-@prefix in: <https://example.org/see/input#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-
-:DUCK rdf:type :ISMADEOFWOOD .  
-:GIRL rdf:type :FLOATS .  
-:DUCK rdf:type :BURNS .  
-:GIRL rdf:type :ISMADEOFWOOD .  
-:GIRL rdf:type :BURNS .  
-:GIRL rdf:type :WITCH .  
-
-in:metadata {  
-  in:run a see:InputDataset .  
-  in:run see:name "witch" .  
-  in:run see:title "Burn the witch" .  
-  in:run see:sourceFile "examples/n3/witch.n3" .  
-  in:run see:sourceSHA256 "bc0a493c490136926a3e3086f6b8bc63a8ae97334d723c7737eeaea837428045" .  
-  in:run see:description "http://clarkparsia.com/weblog/2007/01/02/burn-the-witch/\nhttp://www.netfunny.com/rhf/jokes/90q4/burnher.html\noriginal http://www.w3.org/2000/10/swap/test/reason/witch.n3" .  
-  in:run see:compiler "see.js N3-to-JS compiler" .  
-  in:run see:inputFacts 3 .  
-  in:run see:compiledRules 4 .  
-  in:run see:compiledBackwardRules 0 .  
-  in:run see:compiledFuses 0 .  
-  in:run see:compiledQueries 0 .  
-}  
-```  
-