add examples

aureleeNet · Feb 13, 2021 · f1358cc · f1358cc
1 parent 7448964
commit f1358cc
Show file tree

Hide file tree

Showing 3 changed files with 30 additions and 0 deletions.
diff --git a/examples/out1.p b/examples/out1.p
@@ -0,0 +1,11 @@
+thf(semantics, logic, (
+    $iol := [ $output := $out1 ] )).
+
+thf(norm1, axiom, [$true, helping]).
+thf(norm2, axiom, [helping, telling]).
+thf(norm3, axiom, [~helping, ~telling]).
+
+thf(input1, hypothesis, ~helping).
+
+thf(c1, conjecture, ~telling).
+thf(c2, conjecture, ~helping).
diff --git a/examples/out3-constrained.p b/examples/out3-constrained.p
@@ -0,0 +1,11 @@
+thf(semantics, logic, (
+    $iol := [ $output := $out3,
+              $constrained := $credulous,
+              $constraints := [~helping] ] )).
+
+thf(norm1, axiom, [$true, helping]).
+thf(norm2, axiom, [helping, telling]).
+thf(norm3, axiom, [~helping, ~telling]).
+
+thf(input1, hypothesis, ~helping).
+
diff --git a/examples/out3.p b/examples/out3.p
@@ -0,0 +1,8 @@
+thf(semantics, logic, (
+    $iol := [ $output := $out3 ] )).
+
+thf(norm1, axiom, [$true, helping]).
+thf(norm2, axiom, [helping, telling]).
+thf(norm3, axiom, [~helping, ~telling]).
+
+thf(input1, hypothesis, ~helping).