eyeling 1.24.0 → 1.24.1

package/see/examples/odrl_dpv_risk_ranked.js

@@ -1040,19 +1040,19 @@ function renderStructuredOutput({ title, graph, queries = [], rules = [], initia
   const lines = [];
   lines.push('# ' + title);
   lines.push('');
-  lines.push('## Insight');
+  lines.push('## Entailment');
   if (mode === 'query') {
     lines.push('The compiled query selected ' + selected.length + ' fact(s) after the rule closure was computed.');
   } else if (mode === 'formula') {
-    lines.push('The derivation produced ' + selected.length + ' formula-valued conclusion(s).');
+    lines.push('The derivation produced ' + selected.length + ' formula-valued entailment(s).');
   } else {
     lines.push('The derivation produced ' + derived.length + ' new fact(s) from ' + initialFacts.length + ' stated fact(s).');
   }
-  if (keyFact) lines.push('Main conclusion: **' + factSentence(keyFact) + '**');
+  if (keyFact) lines.push('Main entailment: **' + factSentence(keyFact) + '**');
   const bullets = selected.slice(-6).reverse();
   if (bullets.length) {
     lines.push('');
-    lines.push('Selected conclusions:');
+    lines.push('Selected entailments:');
     for (const fact of bullets) lines.push('- ' + codeFact(fact));
   }
   lines.push('');
@@ -1114,15 +1114,15 @@ function dedupeExplanationHeadings(text) {
 function normalizePublicReport(markdown, title) {
   let text = String(markdown || '').trimEnd();
   if (!/^\s*#\s+/m.test(text)) text = '# ' + title + '\n\n' + text;
-  if (!/^##\s+Insight\s*$/mi.test(text)) {
-    text = text.replace(/^(#\s+[^\n]+\n*)/, '$1\n## Insight\n');
+  if (!/^##\s+Entailment\s*$/mi.test(text)) {
+    text = text.replace(/^(#\s+[^\n]+\n*)/, '$1\n## Entailment\n');
   }
   if (!/^##\s+Explanation\s*$/mi.test(text)) {
     text += '\n\n## Explanation\nNo additional explanation was provided by the generated output.';
   }
   text = text.replace(/^##\s+([^\n]+?)\s*$/gm, (line, heading) => {
     const normalized = heading.trim().toLowerCase();
-    if (normalized === 'insight' || normalized === 'explanation') return '## ' + (normalized === 'insight' ? 'Insight' : 'Explanation');
+    if (normalized === 'insight' || normalized === 'conclusion' || normalized === 'entailment' || normalized === 'explanation') return '## ' + (normalized === 'explanation' ? 'Explanation' : 'Entailment');
     return '**' + heading.trim() + '**';
   });
   text = dedupeExplanationHeadings(text);
@@ -1131,13 +1131,13 @@ function normalizePublicReport(markdown, title) {
 function markdownize(raw, title) {
   let text = String(raw || '');
   text = text
-    .replace(/===\s*Answer\s*===/g, '## Insight')
+    .replace(/===\s*Answer\s*===/g, '## Entailment')
     .replace(/===\s*Reason\s+Why\s*===/gi, '## Explanation')
     .replace(/===\s*Explanation\s*===/gi, '## Explanation')
     .replace(/===\s*([^=]+?)\s*===/g, (_, h) => '**' + h.trim() + '**');
   text = text.replace(/^C(\d+)\s+OK\s*-\s*/gm, 'C$1: ');
   text = dedupeExplanationHeadings(text);
-  if (!text.trim()) text = '## Insight\nNo log:outputString facts were derived.\n\n## Explanation\nThe compiled derivation did not produce authored report text.';
+  if (!text.trim()) text = '## Entailment\nNo log:outputString facts were derived.\n\n## Explanation\nThe compiled derivation did not produce authored report text.';
   return normalizePublicReport(text, title);
 }
 function authoredSupportAppendix(graph, queries, rules, initialFacts, trace) {
@@ -5003,7 +5003,7 @@ const QUERIES = [
     ]
   }
 ];
-const DOC_MARKDOWN = "# ODRL + DPV risk assessment with ranked, explainable output.\n\nGenerated by `see.js` from a Notation3 source file.\n\nWhat this file does\n- Models an agreement as an ODRL policy (odrl:Policy) containing permissions,\nprohibitions, duties, and constraints. ODRL is expressive enough to encode the\nnormative “may/must/must-not” structure of TOS clauses as RDF.\n- Links each ODRL rule to a clause resource (:Clause) to keep human-readable text\nwhile preserving machine-readable structure for reasoning.\n- Uses N3 rules with log:includes / log:notIncludes to detect missing safeguards\n(e.g., missing notice constraints, missing inform duties, missing consent constraints).\n- Generates DPV risks (dpv:Risk) and classifies them using DPV-RISK concepts:\nrisk:hasRiskSource, dpv:hasConsequence, dpv:hasImpact, dpv:hasSeverity, dpv:hasRiskLevel.\n- Produces mitigations as dpv:RiskMitigationMeasure resources and attaches them\nto risks with dpv:isMitigatedByMeasure.\n- Computes a numeric score for each risk and prints a ranked, explainable report.\nRanking / output\n- Output strings are emitted as log:outputString triples.\n- When running with Eyeling “strings” mode (-r), strings are printed in deterministic\norder based on their subject key. The program encodes ranking via an “inverse score”\nkey (e.g., 1000 - score) so higher-risk items appear first.\nReferences\n- N3 spec:          https://w3c.github.io/N3/spec/\n- Eyeling builtins: https://eyereasoner.github.io/eyeling/HANDBOOK#ch11\n- ODRL vocab:       https://www.w3.org/TR/odrl-vocab/\n- DPV risk module:  https://dev.dpvcg.org/dpv/modules/risk\n- DPV-RISK:         https://w3id.org/dpv/risk\n\n## Compilation summary\n\n- Example name: `odrl_dpv_risk_ranked`\n- Input facts emitted: 38\n- Forward rules compiled: 9\n- Backward predicate rules compiled: 0\n- Fuses compiled: 0\n- Predicate count: 32\n\n## Built-ins used\n\n- `log:includes`\n- `log:notIncludes`\n- `log:outputString`\n- `math:difference`\n- `math:greaterThan`\n- `math:lessThan`\n- `math:notLessThan`\n- `math:sum`\n- `string:format`\n\n## Runtime model\n\nThe generated `examples/odrl_dpv_risk_ranked.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/odrl_dpv_risk_ranked.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/odrl-dpv-risk-ranked.trig` or `examples/input/odrl_dpv_risk_ranked.trig`. The runner reads that TriG evidence directly and performs a local fixpoint derivation; it does not parse the program source or call an external reasoner.\n\n## Output model\n\nRunning `node examples/odrl_dpv_risk_ranked.js` produces a SEE-style Markdown report with an **Insight** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.\n";
+const DOC_MARKDOWN = "# ODRL + DPV risk assessment with ranked, explainable output.\n\nGenerated by `see.js` from a Notation3 source file.\n\nWhat this file does\n- Models an agreement as an ODRL policy (odrl:Policy) containing permissions,\nprohibitions, duties, and constraints. ODRL is expressive enough to encode the\nnormative “may/must/must-not” structure of TOS clauses as RDF.\n- Links each ODRL rule to a clause resource (:Clause) to keep human-readable text\nwhile preserving machine-readable structure for reasoning.\n- Uses N3 rules with log:includes / log:notIncludes to detect missing safeguards\n(e.g., missing notice constraints, missing inform duties, missing consent constraints).\n- Generates DPV risks (dpv:Risk) and classifies them using DPV-RISK concepts:\nrisk:hasRiskSource, dpv:hasConsequence, dpv:hasImpact, dpv:hasSeverity, dpv:hasRiskLevel.\n- Produces mitigations as dpv:RiskMitigationMeasure resources and attaches them\nto risks with dpv:isMitigatedByMeasure.\n- Computes a numeric score for each risk and prints a ranked, explainable report.\nRanking / output\n- Output strings are emitted as log:outputString triples.\n- When running with Eyeling “strings” mode (-r), strings are printed in deterministic\norder based on their subject key. The program encodes ranking via an “inverse score”\nkey (e.g., 1000 - score) so higher-risk items appear first.\nReferences\n- N3 spec:          https://w3c.github.io/N3/spec/\n- Eyeling builtins: https://eyereasoner.github.io/eyeling/HANDBOOK#ch11\n- ODRL vocab:       https://www.w3.org/TR/odrl-vocab/\n- DPV risk module:  https://dev.dpvcg.org/dpv/modules/risk\n- DPV-RISK:         https://w3id.org/dpv/risk\n\n## Compilation summary\n\n- Example name: `odrl_dpv_risk_ranked`\n- Input facts emitted: 38\n- Forward rules compiled: 9\n- Backward predicate rules compiled: 0\n- Fuses compiled: 0\n- Predicate count: 32\n\n## Built-ins used\n\n- `log:includes`\n- `log:notIncludes`\n- `log:outputString`\n- `math:difference`\n- `math:greaterThan`\n- `math:lessThan`\n- `math:notLessThan`\n- `math:sum`\n- `string:format`\n\n## Runtime model\n\nThe generated `examples/odrl_dpv_risk_ranked.js` is a specialized JavaScript derivation program. For ordinary sources, `see.js` emits the source facts as `examples/input/odrl_dpv_risk_ranked.trig`. For rules-only sources, generation can reuse an existing external evidence file such as `examples/input/odrl-dpv-risk-ranked.trig` or `examples/input/odrl_dpv_risk_ranked.trig`. The runner reads that TriG evidence directly and performs a local fixpoint derivation; it does not parse the program source or call an external reasoner.\n\n## Output model\n\nRunning `node examples/odrl_dpv_risk_ranked.js` produces a SEE-style Markdown report with an **Entailment** section, an **Explanation** section, and a **Formal TriG Output** section containing the selected derived/query facts.\n";
 function seeMetadata(data) { return (data && data.__see) || {}; }
 function trustedDerivation(data) { const meta = seeMetadata(data); const facts = data && Array.isArray(data.facts) ? data.facts : []; const expectedFacts = EXPECTED_INPUT_FACTS || Number(meta.InputFacts || 0); if (meta.SourceSHA256 && meta.SourceSHA256 !== "e3360556d6e82bda9f502d362cc110e2cd681608ae1388cf8071660f6fbe6200") throw new Error('input evidence does not match the N3 source compiled into this example'); const result = saturate(facts, RULES); const rawOutput = renderRawOutput(result.graph, QUERIES, RULES, facts); fail('Compiled N3 derivation failed', { 'input evidence metadata is present and matches compiled source': meta.SourceSHA256 === "e3360556d6e82bda9f502d362cc110e2cd681608ae1388cf8071660f6fbe6200", 'input evidence facts were loaded': expectedFacts > 0 ? facts.length === expectedFacts : facts.length >= 0, 'compiled rules were loaded': RULES.length === 9, 'compiled query directives were loaded': QUERIES.length === 3, 'a derivation fixpoint was reached': result.graph.facts.length >= facts.length, 'query or output facts were produced': rawOutput.length > 0 }); return { ...result, rawOutput, inputFacts: facts }; }
 function snapshotMarkdown(markdown) { return markdown.split(/\n/).map((line) => line ? line + '  \n' : '\n').join(''); }

package/see/examples/output/age.md

@@ -1,10 +1,10 @@
 # Age checker  
 
-## Insight  
+## Entailment  
 The compiled query selected 1 fact(s) after the rule closure was computed.  
-Main conclusion: **:test is true.**  
+Main entailment: **:test is true.**  
 
-Selected conclusions:  
+Selected entailments:  
 - :test :is true .  
 
 ## Explanation  

package/see/examples/output/annotation.md

@@ -1,10 +1,10 @@
 # Annotation  
 
-## Insight  
-The derivation produced 1 formula-valued conclusion(s).  
-Main conclusion: **:t log:nameOf { :a :name "Alice" }.**  
+## Entailment  
+The derivation produced 1 formula-valued entailment(s).  
+Main entailment: **:t log:nameOf { :a :name "Alice" }.**  
 
-Selected conclusions:  
+Selected entailments:  
 - :t log:nameOf { :a :name "Alice" } .  
 
 ## Explanation  

package/see/examples/output/backward.md

@@ -1,10 +1,10 @@
 # Backward rule example  
 
-## Insight  
+## Entailment  
 The derivation produced 1 new fact(s) from 0 stated fact(s).  
-Main conclusion: **5 :isIndeedMoreInterestingThan 3.**  
+Main entailment: **5 :isIndeedMoreInterestingThan 3.**  
 
-Selected conclusions:  
+Selected entailments:  
 - 5 :isIndeedMoreInterestingThan 3 .  
 
 ## Explanation  

package/see/examples/output/backward_recursion.md

@@ -1,10 +1,10 @@
 # Backward recursion coverage  
 
-## Insight  
+## Entailment  
 The compiled query selected 2 fact(s) after the rule closure was computed.  
-Main conclusion: **:a :reaches :c.**  
+Main entailment: **:a :reaches :c.**  
 
-Selected conclusions:  
+Selected entailments:  
 - :a :reaches :c .  
 - :a :reaches :b .  
 

package/see/examples/output/bayes_diagnosis.md

@@ -1,6 +1,6 @@
 # Bayes Diagnosis  
 
-## Insight  
+## Entailment  
 The most likely disease is COVID-19 (posterior = 0.941209).  
 
 Full posterior distribution:  

package/see/examples/output/bayes_therapy.md

@@ -1,6 +1,6 @@
 # Bayes Therapy  
 
-## Insight  
+## Entailment  
 Recommended therapy: Paxlovid (utility = 3.585174).  
 expected success : 0.388517  
 adverse probability : 0.100000  

package/see/examples/output/bmi.md

@@ -1,6 +1,6 @@
 # BMI — Body Mass Index example.  
 
-## Insight  
+## Entailment  
 BMI = 22.72  
 Category = Normal  
 At height 178 cm, a healthy-weight range is about 58.6–78.9 kg (BMI 18.5–24.9).  

package/see/examples/output/builtin_coverage.md

@@ -1,10 +1,10 @@
 # Builtin coverage smoke  
 
-## Insight  
+## Entailment  
 The compiled query selected 29 fact(s) after the rule closure was computed.  
-Main conclusion: **:assurance :member "c".**  
+Main entailment: **:assurance :member "c".**  
 
-Selected conclusions:  
+Selected entailments:  
 - :assurance :member "c" .  
 - :assurance :member "b" .  
 - :assurance :formula { :x :p :y . :a :b :c } .  

package/see/examples/output/collection.md

@@ -1,10 +1,10 @@
 # Collection  
 
-## Insight  
+## Entailment  
 The derivation produced 0 new fact(s) from 2 stated fact(s).  
-Main conclusion: **_:b2 :p :q.**  
+Main entailment: **_:b2 :p :q.**  
 
-Selected conclusions:  
+Selected entailments:  
 - _:b2 :p :q .  
 - (1 _:b2 (2)) :p2 :q2 .  
 

package/see/examples/output/complex.md

@@ -1,10 +1,10 @@
 # Complex numbers  
 
-## Insight  
-The derivation produced 1 formula-valued conclusion(s).  
-Main conclusion: **:test is { ((-1 0) (0.5 0)) complex:exponentiation (-3.49148133884313e-15 1) . ((2.71828182845905 0) (0 3.14159265358979)) complex:exponentiation (-1 3.23108914886517e-15) . ((0 1) (0 1)) complex:exponentiation (0.207879576350761 0) . ((2.71828182845905 0) (-1.57079632679 0)) complex:exponentiation (0.207879576351779 0) . (2 0) complex:asin (1.5707963267949 1.31695789692482) . (2 0) complex:acos (0 -1.31695789692482) }.**  
+## Entailment  
+The derivation produced 1 formula-valued entailment(s).  
+Main entailment: **:test is { ((-1 0) (0.5 0)) complex:exponentiation (-3.49148133884313e-15 1) . ((2.71828182845905 0) (0 3.14159265358979)) complex:exponentiation (-1 3.23108914886517e-15) . ((0 1) (0 1)) complex:exponentiation (0.207879576350761 0) . ((2.71828182845905 0) (-1.57079632679 0)) complex:exponentiation (0.207879576351779 0) . (2 0) complex:asin (1.5707963267949 1.31695789692482) . (2 0) complex:acos (0 -1.31695789692482) }.**  
 
-Selected conclusions:  
+Selected entailments:  
 - :test :is { ((-1 0) (0.5 0)) complex:exponentiation (-3.49148133884313e-15 1) . ((2.71828182845905 0) (0 3.14159265358979)) complex:exponentiation (-1 3.23108914886517e-15) . ((0 1) (0 1)) complex:exponentiation (0.207879576350761 0) . ((2.71828182845905 0) (-1.57079632679 0)) complex:exponentiation (0.207879576351779 0) . (2 0) complex:asin (1.5707963267949 1.31695789692482) . (2 0) complex:acos (0 -1.31695789692482) } .  
 
 ## Explanation  

package/see/examples/output/complex_matrix_stability.md

@@ -1,6 +1,6 @@
 # Complex Matrix Stability  
 
-## Insight  
+## Entailment  
 A_unstable = [[(1,1),(0,0)],[(0,0),(2,0)]] has spectral radius 2 and is unstable. A_stable = [[(1,0),(0,0)],[(0,0),(-1,0)]] has spectral radius 1 and is marginally stable. A_damped = [[(0,0),(0,0)],[(0,0),(0,0)]] has spectral radius 0 and is damped.  
 
 ## Explanation  

package/see/examples/output/composition_of_injective_functions_is_injective.md

@@ -1,10 +1,10 @@
 # Composition of injective functions is injective.  
 
-## Insight  
+## Entailment  
 The compiled query selected 2 fact(s) after the rule closure was computed.  
-Main conclusion: **:result :sameInputByCompositeInjectivity (:h :b :a).**  
+Main entailment: **:result :sameInputByCompositeInjectivity (:h :b :a).**  
 
-Selected conclusions:  
+Selected entailments:  
 - :result :sameInputByCompositeInjectivity (:h :b :a) .  
 - :result :sameInputByCompositeInjectivity (:h :a :b) .  
 

package/see/examples/output/control_system.md

@@ -1,10 +1,10 @@
 # Control System  
 
-## Insight  
+## Entailment  
 The compiled query selected 2 fact(s) after the rule closure was computed.  
-Main conclusion: **:actuator2 :control1 26.08.**  
+Main entailment: **:actuator2 :control1 26.08.**  
 
-Selected conclusions:  
+Selected entailments:  
 - :actuator2 :control1 26.08 .  
 - :actuator1 :control1 39.2734619867828 .  
 

package/see/examples/output/crypto_builtins_tests.md

@@ -1,10 +1,10 @@
 # crypto builtins tests  
 
-## Insight  
+## Entailment  
 The derivation produced 4 new fact(s) from 0 stated fact(s).  
-Main conclusion: **:ok_crypto_sha512_1 is a :Pass.**  
+Main entailment: **:ok_crypto_sha512_1 is a :Pass.**  
 
-Selected conclusions:  
+Selected entailments:  
 - :ok_crypto_sha512_1 rdf:type :Pass .  
 - :ok_crypto_sha256_1 rdf:type :Pass .  
 - :ok_crypto_md5_1 rdf:type :Pass .  

package/see/examples/output/delfour.md

@@ -1,6 +1,6 @@
 # Delfour  
 
-## Insight  
+## Entailment  
 The scanner is allowed to use a neutral shopping insight and recommends Low-Sugar Tea Biscuits instead of Classic Tea Biscuits.  
 case : delfour  
 decision : Allowed  

package/see/examples/output/digital_product_passport.md

@@ -1,6 +1,6 @@
 # Digital Product Passport  
 
-## Insight  
+## Entailment  
 Passport decision : PASS for ACME X1000 SN123.  
 recycled content : 13%  
 lifecycle footprint : 52500 gCO2e  

package/see/examples/output/dijkstra.md

@@ -1,10 +1,10 @@
 # Dijkstra's algorithm to find the shortest path  
 
-## Insight  
+## Entailment  
 The derivation produced 9 new fact(s) from 9 stated fact(s).  
-Main conclusion: **(:f :e) :edge 3.**  
+Main entailment: **(:f :e) :edge 3.**  
 
-Selected conclusions:  
+Selected entailments:  
 - (:f :e) :edge 3 .  
 - (:f :d) :edge 6 .  
 - (:e :d) :edge 2 .  

package/see/examples/output/dijkstra_risk_path.md

@@ -1,6 +1,6 @@
 # Dijkstra Risk Path  
 
-## Insight  
+## Entailment  
 selected path : ClinicA -> DepotB -> LabD -> HubZ  
 raw cost : 10.00  
 risk sum : 0.55  

package/see/examples/output/dog.md

@@ -1,10 +1,10 @@
 # Dog license example  
 
-## Insight  
+## Entailment  
 The derivation produced 1 new fact(s) from 7 stated fact(s).  
-Main conclusion: **:alice :mustHave :dogLicense.**  
+Main entailment: **:alice :mustHave :dogLicense.**  
 
-Selected conclusions:  
+Selected entailments:  
 - :alice :mustHave :dogLicense .  
 
 ## Explanation  

package/see/examples/output/eco_route_insight.md

@@ -1,6 +1,6 @@
 # Eco Route Insight  
 
-## Insight  
+## Entailment  
 insight status : issue  
 show eco banner : yes  
 audience : Depot X  

package/see/examples/output/equals.md

@@ -1,10 +1,10 @@
 # Equals test  
 
-## Insight  
+## Entailment  
 The derivation produced 1 new fact(s) from 1 stated fact(s).  
-Main conclusion: **:test is true.**  
+Main entailment: **:test is true.**  
 
-Selected conclusions:  
+Selected entailments:  
 - :test :is true .  
 
 ## Explanation  

package/see/examples/output/equivalence_classes_overlap_implies_same_class.md

@@ -1,10 +1,10 @@
 # If two equivalence classes share an element, they are the same class.  
 
-## Insight  
+## Entailment  
 The compiled query selected 18 fact(s) after the rule closure was computed.  
-Main conclusion: **:result :sameClassBecauseOfSharedMember (:a :b :c).**  
+Main entailment: **:result :sameClassBecauseOfSharedMember (:a :b :c).**  
 
-Selected conclusions:  
+Selected entailments:  
 - :result :sameClassBecauseOfSharedMember (:a :b :c) .  
 - :result :sameClassBecauseOfSharedMember (:a :c :c) .  
 - :result :sameClassBecauseOfSharedMember (:c :b :a) .  

package/see/examples/output/euler_identity.md

@@ -1,10 +1,10 @@
 # Euler identity (exact, certificate-friendly):  
 
-## Insight  
+## Entailment  
 The compiled query selected 6 fact(s) after the rule closure was computed.  
-Main conclusion: **:result :identityHolds true.**  
+Main entailment: **:result :identityHolds true.**  
 
-Selected conclusions:  
+Selected entailments:  
 - :result :identityHolds true .  
 - :result :phaseModSqIsOne true .  
 - :result :phaseModSq 1 .  

package/see/examples/output/ev_roundtrip_planner.md

@@ -1,6 +1,6 @@
 # EV Roadtrip Planner  
 
-## Insight  
+## Entailment  
 Select plan : drive_bru_liege -> drive_liege_aachen -> shuttle_aachen_cologne.  
 route result : Cologne battery=low pass=none  
 duration : 210.0 minutes  

package/see/examples/output/existential_rule.md

@@ -1,10 +1,10 @@
 # Existential rule  
 
-## Insight  
+## Entailment  
 The derivation produced 2 new fact(s) from 2 stated fact(s).  
-Main conclusion: **:Plato is _:B.**  
+Main entailment: **:Plato is _:B.**  
 
-Selected conclusions:  
+Selected entailments:  
 - :Plato :is _:B .  
 - :Socrates :is _:B .  
 

package/see/examples/output/expression_eval.md

@@ -1,10 +1,10 @@
 # A tiny expression evaluator in N3  
 
-## Insight  
+## Entailment  
 The derivation produced 1 new fact(s) from 17 stated fact(s).  
-Main conclusion: **:Root :result 12.**  
+Main entailment: **:Root :result 12.**  
 
-Selected conclusions:  
+Selected entailments:  
 - :Root :result 12 .  
 
 ## Explanation  

package/see/examples/output/family_cousins.md

@@ -1,10 +1,10 @@
 # Family cousins  
 
-## Insight  
+## Entailment  
 The derivation produced 25 new fact(s) from 15 stated fact(s).  
-Main conclusion: **:Judy :cousin :Ivan.**  
+Main entailment: **:Judy :cousin :Ivan.**  
 
-Selected conclusions:  
+Selected entailments:  
 - :Judy :cousin :Ivan .  
 - :Judy :cousin :Heidi .  
 - :Ivan :cousin :Judy .  

package/see/examples/output/fastpow.md

@@ -1,6 +1,6 @@
 # Fast exponentiation demo  
 
-## Insight  
+## Entailment  
 The derivation produced 0 new fact(s) from 0 stated fact(s).  
 
 ## Explanation  

package/see/examples/output/fibonacci.md

@@ -1,6 +1,6 @@
 # Fibonacci Example (Big)  
 
-## Insight  
+## Entailment  
 The Fibonacci number for index 10000 is:  
 33644764876431783266621612005107543310302148460680063906564769974680081442166662368155595513633734025582065332680836159373734790483865268263040892463056431887354544369559827491606602099884183933864652731300088830269235673613135117579297437854413752130520504347701602264758318906527890855154366159582987279682987510631200575428783453215515103870818298969791613127856265033195487140214287532698187962046936097879900350962302291026368131493195275630227837628441540360584402572114334961180023091208287046088923962328835461505776583271252546093591128203925285393434620904245248929403901706233888991085841065183173360437470737908552631764325733993712871937587746897479926305837065742830161637408969178426378624212835258112820516370298089332099905707920064367426202389783111470054074998459250360633560933883831923386783056136435351892133279732908133732642652633989763922723407882928177953580570993691049175470808931841056146322338217465637321248226383092103297701648054726243842374862411453093812206564914032751086643394517512161526545361333111314042436854805106765843493523836959653428071768775328348234345557366719731392746273629108210679280784718035329131176778924659089938635459327894523777674406192240337638674004021330343297496902028328145933418826817683893072003634795623117103101291953169794607632737589253530772552375943788434504067715555779056450443016640119462580972216729758615026968443146952034614932291105970676243268515992834709891284706740862008587135016260312071903172086094081298321581077282076353186624611278245537208532365305775956430072517744315051539600905168603220349163222640885248852433158051534849622434848299380905070483482449327453732624567755879089187190803662058009594743150052402532709746995318770724376825907419939632265984147498193609285223945039707165443156421328157688908058783183404917434556270520223564846495196112460268313970975069382648706613264507665074611512677522748621598642530711298441182622661057163515069260029861704945425047491378115154139941550671256271197133252763631939606902895650288268608362241082050562430701794976171121233066073310059947366875  
 

package/see/examples/output/french_cities.md

@@ -1,10 +1,10 @@
 # French cities — graph path traversal.  
 
-## Insight  
+## Entailment  
 The compiled query selected 1 fact(s) after the rule closure was computed.  
-Main conclusion: **:paris :path :nantes.**  
+Main entailment: **:paris :path :nantes.**  
 
-Selected conclusions:  
+Selected entailments:  
 - :paris :path :nantes .  
 
 ## Explanation  

package/see/examples/output/fundamental_theorem_arithmetic.md

@@ -1,6 +1,6 @@
 # Fundamental Theorem Arithmetic  
 
-## Insight  
+## Entailment  
 Primary N3 case: n = 202692987 has prime factors 3 * 3 * 7 * 829 * 3881.  
 primary prime-power form : 3^2 * 7 * 829 * 3881  
 sample count : 6  

package/see/examples/output/genetic_knapsack_selection.md

@@ -1,6 +1,6 @@
 # Genetic Knapsack Selection  
 
-## Insight  
+## Entailment  
 final genome : 101000000101  
 selected items : item01, item03, item10, item12  
 weight : 50 / 50  

package/see/examples/output/goldbach_1000.md

@@ -1,6 +1,6 @@
 # Goldbach 1000  
 
-## Insight  
+## Entailment  
 All 499 even integers from 4 through 1000 have a Goldbach witness.  
 sample witnesses : 4=2+2; 28=5+23; 100=3+97; 998=7+991; 1000=3+997  
 

package/see/examples/output/good_cobbler.md

@@ -1,10 +1,10 @@
 # Good cobbler  
 
-## Insight  
-The derivation produced 1 formula-valued conclusion(s).  
-Main conclusion: **:test is { :joe :is (:good :Cobbler) }.**  
+## Entailment  
+The derivation produced 1 formula-valued entailment(s).  
+Main entailment: **:test is { :joe :is (:good :Cobbler) }.**  
 
-Selected conclusions:  
+Selected entailments:  
 - :test :is { :joe :is (:good :Cobbler) } .  
 
 ## Explanation  

package/see/examples/output/gps.md

@@ -1,6 +1,6 @@
 # GPS route planning  
 
-## Insight  
+## Entailment  
 Take the direct route via Brugge.  
 Recommended route: Gent -> Brugge -> Oostende  
 

package/see/examples/output/gray_code_counter.md

@@ -1,6 +1,6 @@
 # Gray Code Counter  
 
-## Insight  
+## Entailment  
 bits : 4  
 states visited : 16  
 unique states : 16  

package/see/examples/output/greatest_lower_bound_uniqueness.md

@@ -1,10 +1,10 @@
 # In a partial order, a greatest lower bound is unique.  
 
-## Insight  
+## Entailment  
 The compiled query selected 2 fact(s) after the rule closure was computed.  
-Main conclusion: **:result :sameGreatestLowerBound (:a :b :g2 :g1).**  
+Main entailment: **:result :sameGreatestLowerBound (:a :b :g2 :g1).**  
 
-Selected conclusions:  
+Selected entailments:  
 - :result :sameGreatestLowerBound (:a :b :g2 :g1) .  
 - :result :sameGreatestLowerBound (:a :b :g1 :g2) .  
 

package/see/examples/output/group_inverse_uniqueness.md

@@ -1,10 +1,10 @@
 # In a group, the inverse of an element is unique.  
 
-## Insight  
+## Entailment  
 The compiled query selected 2 fact(s) after the rule closure was computed.  
-Main conclusion: **:result :sameInverse (:x :j :i).**  
+Main entailment: **:result :sameInverse (:x :j :i).**  
 
-Selected conclusions:  
+Selected entailments:  
 - :result :sameInverse (:x :j :i) .  
 - :result :sameInverse (:x :i :j) .  
 

package/see/examples/output/hadamard_approx.md

@@ -1,10 +1,10 @@
 # Hadamard gate approximation  
 
-## Insight  
+## Entailment  
 The compiled query selected 441 fact(s) after the rule closure was computed.  
-Main conclusion: **:result :HMidpointEntry (20 1 1 -0.707106733683605 0).**  
+Main entailment: **:result :HMidpointEntry (20 1 1 -0.707106733683605 0).**  
 
-Selected conclusions:  
+Selected entailments:  
 - :result :HMidpointEntry (20 1 1 -0.707106733683605 0) .  
 - :result :HMidpointEntry (20 1 0 0.707106733683605 0) .  
 - :result :HMidpointEntry (20 0 1 0.707106733683605 0) .  

package/see/examples/output/hanoi.md

@@ -1,10 +1,10 @@
 # Towers of Hanoi  
 
-## Insight  
+## Entailment  
 The derivation produced 1 new fact(s) from 0 stated fact(s).  
-Main conclusion: **3 :answer ((:left :right) (:left :center) (:right :center) (:left :right) (:center :left) (:center :right) (:left :right)).**  
+Main entailment: **3 :answer ((:left :right) (:left :center) (:right :center) (:left :right) (:center :left) (:center :right) (:left :right)).**  
 
-Selected conclusions:  
+Selected entailments:  
 - 3 :answer ((:left :right) (:left :center) (:right :center) (:left :right) (:center :left) (:center :right) (:left :right)) .  
 
 ## Explanation  

package/see/examples/output/odrl_dpv_risk_ranked.md

@@ -1,10 +1,10 @@
 # ODRL + DPV risk assessment with ranked, explainable output.  
 
-## Insight  
+## Entailment  
 The compiled query selected 65 fact(s) after the rule closure was computed.  
-Main conclusion: **(:Agreement1 :ConsumerExample 1 930 "C4" 1 _:risk4 _:m14) log:outputString "  - mitigation for clause C4: Add a permission allowing data export (or remove the prohibition) to support portability.\n".**  
+Main entailment: **(:Agreement1 :ConsumerExample 1 930 "C4" 1 _:risk4 _:m14) log:outputString "  - mitigation for clause C4: Add a permission allowing data export (or remove the prohibition) to support portability.\n".**  
 
-Selected conclusions:  
+Selected entailments:  
 - (:Agreement1 :ConsumerExample 1 930 "C4" 1 _:risk4 _:m14) log:outputString "  - mitigation for clause C4: Add a permission allowing data export (or remove the prohibition) to support portability.\n" .  
 - (:Agreement1 :ConsumerExample 1 930 "C3" 1 _:risk4 _:m14) log:outputString "  - mitigation for clause C3: Add a permission allowing data export (or remove the prohibition) to support portability.\n" .  
 - (:Agreement1 :ConsumerExample 1 930 "C2" 1 _:risk4 _:m14) log:outputString "  - mitigation for clause C2: Add a permission allowing data export (or remove the prohibition) to support portability.\n" .  

package/see/examples/output/path_discovery.md

@@ -1,10 +1,10 @@
 # Path Discovery  
 
-## Insight  
+## Entailment  
 The derivation produced 3 new fact(s) from 96420 stated fact(s).  
-Main conclusion: **:discovered :airroute ("Ostend-Bruges International Airport" "Liège Airport" "Palma De Mallorca Airport" "Václav Havel Airport Prague").**  
+Main entailment: **:discovered :airroute ("Ostend-Bruges International Airport" "Liège Airport" "Palma De Mallorca Airport" "Václav Havel Airport Prague").**  
 
-Selected conclusions:  
+Selected entailments:  
 - :discovered :airroute ("Ostend-Bruges International Airport" "Liège Airport" "Palma De Mallorca Airport" "Václav Havel Airport Prague") .  
 - :discovered :airroute ("Ostend-Bruges International Airport" "Liège Airport" "Diagoras Airport" "Václav Havel Airport Prague") .  
 - :discovered :airroute ("Ostend-Bruges International Airport" "Liège Airport" "Heraklion International Nikos Kazantzakis Airport" "Václav Havel Airport Prague") .