eyeling 1.6.13 → 1.6.14

package/examples/output/string-builtins-tests.n3

@@ -1,258 +1,18 @@
 @prefix : <https://eyereasoner.github.io/ns#> .
 
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :ok_string_concatenation_1 a :Pass .
-# It holds because the following instance of the rule body is provable:
-#   ("hello" " " "world!") string:concatenation "hello world!" .
-# via the schematic forward rule:
-#   {
-#     ("hello" " " "world!") string:concatenation "hello world!" .
-#   } => {
-#     :ok_string_concatenation_1 a :Pass .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :ok_string_concatenation_1 a :Pass .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :ok_string_contains_1 a :Pass .
-# It holds because the following instance of the rule body is provable:
-#   "hello world!" string:contains "llo worl" .
-# via the schematic forward rule:
-#   {
-#     "hello world!" string:contains "llo worl" .
-#   } => {
-#     :ok_string_contains_1 a :Pass .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :ok_string_contains_1 a :Pass .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :ok_string_containsIgnoringCase_1 a :Pass .
-# It holds because the following instance of the rule body is provable:
-#   "hello world!" string:containsIgnoringCase "lLO woRl" .
-# via the schematic forward rule:
-#   {
-#     "hello world!" string:containsIgnoringCase "lLO woRl" .
-#   } => {
-#     :ok_string_containsIgnoringCase_1 a :Pass .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :ok_string_containsIgnoringCase_1 a :Pass .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :ok_string_endsWith_1 a :Pass .
-# It holds because the following instance of the rule body is provable:
-#   "hello world!" string:endsWith "orld!" .
-# via the schematic forward rule:
-#   {
-#     "hello world!" string:endsWith "orld!" .
-#   } => {
-#     :ok_string_endsWith_1 a :Pass .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :ok_string_endsWith_1 a :Pass .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :ok_string_equalIgnoringCase_1 a :Pass .
-# It holds because the following instance of the rule body is provable:
-#   "hello world!" string:equalIgnoringCase "hELLo wORld!" .
-# via the schematic forward rule:
-#   {
-#     "hello world!" string:equalIgnoringCase "hELLo wORld!" .
-#   } => {
-#     :ok_string_equalIgnoringCase_1 a :Pass .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :ok_string_equalIgnoringCase_1 a :Pass .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :ok_string_format_1 a :Pass .
-# It holds because the following instance of the rule body is provable:
-#   ("%s://%s/%s" "https" "w3c.github.io" "N3/spec/") string:format "https://w3c.github.io/N3/spec/" .
-# via the schematic forward rule:
-#   {
-#     ("%s://%s/%s" "https" "w3c.github.io" "N3/spec/") string:format "https://w3c.github.io/N3/spec/" .
-#   } => {
-#     :ok_string_format_1 a :Pass .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :ok_string_format_1 a :Pass .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :ok_string_greaterThan_1 a :Pass .
-# It holds because the following instance of the rule body is provable:
-#   "Penguin" string:greaterThan "Cat" .
-# via the schematic forward rule:
-#   {
-#     "Penguin" string:greaterThan "Cat" .
-#   } => {
-#     :ok_string_greaterThan_1 a :Pass .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :ok_string_greaterThan_1 a :Pass .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :ok_string_lessThan_1 a :Pass .
-# It holds because the following instance of the rule body is provable:
-#   "Cat" string:lessThan "Penguin" .
-# via the schematic forward rule:
-#   {
-#     "Cat" string:lessThan "Penguin" .
-#   } => {
-#     :ok_string_lessThan_1 a :Pass .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :ok_string_lessThan_1 a :Pass .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :ok_string_matches_1 a :Pass .
-# It holds because the following instance of the rule body is provable:
-#   "hello world!" string:matches ".*(l)+o wo.*" .
-# via the schematic forward rule:
-#   {
-#     "hello world!" string:matches ".*(l)+o wo.*" .
-#   } => {
-#     :ok_string_matches_1 a :Pass .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :ok_string_matches_1 a :Pass .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :ok_string_notEqualIgnoringCase_1 a :Pass .
-# It holds because the following instance of the rule body is provable:
-#   "hello world!" string:notEqualIgnoringCase "hELLo dunia!" .
-# via the schematic forward rule:
-#   {
-#     "hello world!" string:notEqualIgnoringCase "hELLo dunia!" .
-#   } => {
-#     :ok_string_notEqualIgnoringCase_1 a :Pass .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :ok_string_notEqualIgnoringCase_1 a :Pass .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :ok_string_notGreaterThan_1 a :Pass .
-# It holds because the following instance of the rule body is provable:
-#   "Cat" string:notGreaterThan "Penguin" .
-# via the schematic forward rule:
-#   {
-#     "Cat" string:notGreaterThan "Penguin" .
-#   } => {
-#     :ok_string_notGreaterThan_1 a :Pass .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :ok_string_notGreaterThan_1 a :Pass .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :ok_string_notLessThan_1 a :Pass .
-# It holds because the following instance of the rule body is provable:
-#   "Penguin" string:notLessThan "Cat" .
-# via the schematic forward rule:
-#   {
-#     "Penguin" string:notLessThan "Cat" .
-#   } => {
-#     :ok_string_notLessThan_1 a :Pass .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :ok_string_notLessThan_1 a :Pass .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :ok_string_notMatches_1 a :Pass .
-# It holds because the following instance of the rule body is provable:
-#   "hello world!" string:notMatches ".*(l)+o dunia.*" .
-# via the schematic forward rule:
-#   {
-#     "hello world!" string:notMatches ".*(l)+o dunia.*" .
-#   } => {
-#     :ok_string_notMatches_1 a :Pass .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :ok_string_notMatches_1 a :Pass .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :ok_string_replace_1 a :Pass .
-# It holds because the following instance of the rule body is provable:
-#   ("fofof bar" "of" "baz") string:replace "fbazbaz bar" .
-# via the schematic forward rule:
-#   {
-#     ("fofof bar" "of" "baz") string:replace "fbazbaz bar" .
-#   } => {
-#     :ok_string_replace_1 a :Pass .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :ok_string_replace_1 a :Pass .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :ok_string_scrape_1 a :Pass .
-# It holds because the following instance of the rule body is provable:
-#   ("id=abc&x=123&y=zzz" "x=([0-9]+)") string:scrape "123" .
-# via the schematic forward rule:
-#   {
-#     ("id=abc&x=123&y=zzz" "x=([0-9]+)") string:scrape "123" .
-#   } => {
-#     :ok_string_scrape_1 a :Pass .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :ok_string_scrape_1 a :Pass .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :ok_string_startsWith_1 a :Pass .
-# It holds because the following instance of the rule body is provable:
-#   "hello world!" string:startsWith "hello" .
-# via the schematic forward rule:
-#   {
-#     "hello world!" string:startsWith "hello" .
-#   } => {
-#     :ok_string_startsWith_1 a :Pass .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :ok_string_startsWith_1 a :Pass .
-