TRUE.
```
$x = [what is the text of [theory tennis] ?]
```
```
Used theories: care, care tennis, is a theory, is a, has a, is in list, iter, mrshutco, nat, theory, theory 1, theory 2
Starting on goal: ask $x
Goal arity 2: ask $x
nextSolution
Got clause: ask [what is the _7 of _8 ?]
  Clause unifies to: ask [what is the _7 of _8 ?]
  gdash: _8 has a _7
Goal arity 4: _8 has a _7
 Got clause: _42 has a _43
   Clause unifies to: _8 has a _7
   gdash: _8 is a _44
 Goal arity 4: _8 is a _44
  Got clause: _76 is a theory
    Clause unifies to: _8 is a theory
    gdash: _77 = all theory names
  Goal arity 5: _77 = all theory names
   Got clause: _80 = all theory names
     Clause unifies to: _77 = all theory names
    Clause is native.
     gdash: _8 is in list ["1" "3" ":-" ":- test" "AisBisC" "DadJoke001" "DadJoke002" "DadJoke003" "GetSentences (C#)" "HK" "IndexOfSentence" "Lasagna AI 1" "OneToTen" "PennyNickel" "YisX" "addition" "and" "and 3" "and 4" "asdf" "bgrgndzmul" "bit-bits" "blue" "brackets" "bus" "c# example" "calc" "car" "care" "care tennis" "computer/human" "crap" "cut test" "dad" "dadbot+1" "dang" "division" "double tasty test" "drop 'the' test" "drop 'the' test.out" "eq" "eq test" "eq test 2" "eval test squaring" "find yes" "first sentence" "foot-feet" "forall_impl" "forceEval" "good morning" "greatest" "guns" "human/computer" "ice cream" "if-user-says" "ifthenelse" "in list" "inch-inches" "inctest.1" "inctest.2" "inctest.count" "is a theory" "is a, has a" "is a, has a (NL)" "is in list" "is-is-not" "isLeaf" "iter" "lasagna" "lenny" "list comp" "list fillers" "lolol" "map" "map cons" "mark" "maus" "memorize dummy" "memorize new" "memorize new 2" "memorize transient" "mrshutco" "multiplication" "next" "no the" "not" "not test 1" "not test 2" "not v1" "number of theories" "number of theories 2" "onetwo" "or" "or3" "really funny" "red" "simpler syntax test" "smartmul" "subtraction" "superior lasagna" "tasty list" "temp" "temp2" "temp3" "tennis" "tennis.data.1" "tennis.data.2" "tennis.data.3" "tennis.data.4" "tennis.data.5" "tennis.data.6" "tennis.data.7" "tennis.data.count" "test5" "theory" "theory 1" "theory 2" "unified" "user says what is tasty" "usermul" "verify 1" "verify 2" "very funny" "what is tasty" "x random test" "xor" "yes" "yes no" "yes-yeah" "yo" "yo cons" "yo2" "yo2 cons"]
   Goal arity 5: _8 is in list ["1" "3" ":-" ":- test" "AisBisC" "DadJoke001" "DadJoke002" "DadJoke003" "GetSentences (C#)" "HK" "IndexOfSentence" "Lasagna AI 1" "OneToTen" "PennyNickel" "YisX" "addition" "and" "and 3" "and 4" "asdf" "bgrgndzmul" "bit-bits" "blue" "brackets" "bus" "c# example" "calc" "car" "care" "care tennis" "computer/human" "crap" "cut test" "dad" "dadbot+1" "dang" "division" "double tasty test" "drop 'the' test" "drop 'the' test.out" "eq" "eq test" "eq test 2" "eval test squaring" "find yes" "first sentence" "foot-feet" "forall_impl" "forceEval" "good morning" "greatest" "guns" "human/computer" "ice cream" "if-user-says" "ifthenelse" "in list" "inch-inches" "inctest.1" "inctest.2" "inctest.count" "is a theory" "is a, has a" "is a, has a (NL)" "is in list" "is-is-not" "isLeaf" "iter" "lasagna" "lenny" "list comp" "list fillers" "lolol" "map" "map cons" "mark" "maus" "memorize dummy" "memorize new" "memorize new 2" "memorize transient" "mrshutco" "multiplication" "next" "no the" "not" "not test 1" "not test 2" "not v1" "number of theories" "number of theories 2" "onetwo" "or" "or3" "really funny" "red" "simpler syntax test" "smartmul" "subtraction" "superior lasagna" "tasty list" "temp" "temp2" "temp3" "tennis" "tennis.data.1" "tennis.data.2" "tennis.data.3" "tennis.data.4" "tennis.data.5" "tennis.data.6" "tennis.data.7" "tennis.data.count" "test5" "theory" "theory 1" "theory 2" "unified" "user says what is tasty" "usermul" "verify 1" "verify 2" "very funny" "what is tasty" "x random test" "xor" "yes" "yes no" "yes-yeah" "yo" "yo cons" "yo2" "yo2 cons"]
    Got clause: _92 is in list _93
      Clause unifies to: _8 is in list ["1" "3" ":-" ":- test" "AisBisC" "DadJoke001" "DadJoke002" "DadJoke003" "GetSentences (C#)" "HK" "IndexOfSentence" "Lasagna AI 1" "OneToTen" "PennyNickel" "YisX" "addition" "and" "and 3" "and 4" "asdf" "bgrgndzmul" "bit-bits" "blue" "brackets" "bus" "c# example" "calc" "car" "care" "care tennis" "computer/human" "crap" "cut test" "dad" "dadbot+1" "dang" "division" "double tasty test" "drop 'the' test" "drop 'the' test.out" "eq" "eq test" "eq test 2" "eval test squaring" "find yes" "first sentence" "foot-feet" "forall_impl" "forceEval" "good morning" "greatest" "guns" "human/computer" "ice cream" "if-user-says" "ifthenelse" "in list" "inch-inches" "inctest.1" "inctest.2" "inctest.count" "is a theory" "is a, has a" "is a, has a (NL)" "is in list" "is-is-not" "isLeaf" "iter" "lasagna" "lenny" "list comp" "list fillers" "lolol" "map" "map cons" "mark" "maus" "memorize dummy" "memorize new" "memorize new 2" "memorize transient" "mrshutco" "multiplication" "next" "no the" "not" "not test 1" "not test 2" "not v1" "number of theories" "number of theories 2" "onetwo" "or" "or3" "really funny" "red" "simpler syntax test" "smartmul" "subtraction" "superior lasagna" "tasty list" "temp" "temp2" "temp3" "tennis" "tennis.data.1" "tennis.data.2" "tennis.data.3" "tennis.data.4" "tennis.data.5" "tennis.data.6" "tennis.data.7" "tennis.data.count" "test5" "theory" "theory 1" "theory 2" "unified" "user says what is tasty" "usermul" "verify 1" "verify 2" "very funny" "what is tasty" "x random test" "xor" "yes" "yes no" "yes-yeah" "yo" "yo cons" "yo2" "yo2 cons"]
      gdash: _94 = tocons (["1" "3" ":-" ":- test" "AisBisC" "DadJoke001" "DadJoke002" "DadJoke003" "GetSentences (C#)" "HK" "IndexOfSentence" "Lasagna AI 1" "OneToTen" "PennyNickel" "YisX" "addition" "and" "and 3" "and 4" "asdf" "bgrgndzmul" "bit-bits" "blue" "brackets" "bus" "c# example" "calc" "car" "care" "care tennis" "computer/human" "crap" "cut test" "dad" "dadbot+1" "dang" "division" "double tasty test" "drop 'the' test" "drop 'the' test.out" "eq" "eq test" "eq test 2" "eval test squaring" "find yes" "first sentence" "foot-feet" "forall_impl" "forceEval" "good morning" "greatest" "guns" "human/computer" "ice cream" "if-user-says" "ifthenelse" "in list" "inch-inches" "inctest.1" "inctest.2" "inctest.count" "is a theory" "is a, has a" "is a, has a (NL)" "is in list" "is-is-not" "isLeaf" "iter" "lasagna" "lenny" "list comp" "list fillers" "lolol" "map" "map cons" "mark" "maus" "memorize dummy" "memorize new" "memorize new 2" "memorize transient" "mrshutco" "multiplication" "next" "no the" "not" "not test 1" "not test 2" "not v1" "number of theories" "number of theories 2" "onetwo" "or" "or3" "really funny" "red" "simpler syntax test" "smartmul" "subtraction" "superior lasagna" "tasty list" "temp" "temp2" "temp3" "tennis" "tennis.data.1" "tennis.data.2" "tennis.data.3" "tennis.data.4" "tennis.data.5" "tennis.data.6" "tennis.data.7" "tennis.data.count" "test5" "theory" "theory 1" "theory 2" "unified" "user says what is tasty" "usermul" "verify 1" "verify 2" "very funny" "what is tasty" "x random test" "xor" "yes" "yes no" "yes-yeah" "yo" "yo cons" "yo2" "yo2 cons"])
    Goal arity 4: _94 = tocons (["1" "3" ":-" ":- test" "AisBisC" "DadJoke001" "DadJoke002" "DadJoke003" "GetSentences (C#)" "HK" "IndexOfSentence" "Lasagna AI 1" "OneToTen" "PennyNickel" "YisX" "addition" "and" "and 3" "and 4" "asdf" "bgrgndzmul" "bit-bits" "blue" "brackets" "bus" "c# example" "calc" "car" "care" "care tennis" "computer/human" "crap" "cut test" "dad" "dadbot+1" "dang" "division" "double tasty test" "drop 'the' test" "drop 'the' test.out" "eq" "eq test" "eq test 2" "eval test squaring" "find yes" "first sentence" "foot-feet" "forall_impl" "forceEval" "good morning" "greatest" "guns" "human/computer" "ice cream" "if-user-says" "ifthenelse" "in list" "inch-inches" "inctest.1" "inctest.2" "inctest.count" "is a theory" "is a, has a" "is a, has a (NL)" "is in list" "is-is-not" "isLeaf" "iter" "lasagna" "lenny" "list comp" "list fillers" "lolol" "map" "map cons" "mark" "maus" "memorize dummy" "memorize new" "memorize new 2" "memorize transient" "mrshutco" "multiplication" "next" "no the" "not" "not test 1" "not test 2" "not v1" "number of theories" "number of theories 2" "onetwo" "or" "or3" "really funny" "red" "simpler syntax test" "smartmul" "subtraction" "superior lasagna" "tasty list" "temp" "temp2" "temp3" "tennis" "tennis.data.1" "tennis.data.2" "tennis.data.3" "tennis.data.4" "tennis.data.5" "tennis.data.6" "tennis.data.7" "tennis.data.count" "test5" "theory" "theory 1" "theory 2" "unified" "user says what is tasty" "usermul" "verify 1" "verify 2" "very funny" "what is tasty" "x random test" "xor" "yes" "yes no" "yes-yeah" "yo" "yo cons" "yo2" "yo2 cons"])
     Got clause: _110 = tocons (_111)
       Clause unifies to: _94 = tocons (["1" "3" ":-" ":- test" "AisBisC" "DadJoke001" "DadJoke002" "DadJoke003" "GetSentences (C#)" "HK" "IndexOfSentence" "Lasagna AI 1" "OneToTen" "PennyNickel" "YisX" "addition" "and" "and 3" "and 4" "asdf" "bgrgndzmul" "bit-bits" "blue" "brackets" "bus" "c# example" "calc" "car" "care" "care tennis" "computer/human" "crap" "cut test" "dad" "dadbot+1" "dang" "division" "double tasty test" "drop 'the' test" "drop 'the' test.out" "eq" "eq test" "eq test 2" "eval test squaring" "find yes" "first sentence" "foot-feet" "forall_impl" "forceEval" "good morning" "greatest" "guns" "human/computer" "ice cream" "if-user-says" "ifthenelse" "in list" "inch-inches" "inctest.1" "inctest.2" "inctest.count" "is a theory" "is a, has a" "is a, has a (NL)" "is in list" "is-is-not" "isLeaf" "iter" "lasagna" "lenny" "list comp" "list fillers" "lolol" "map" "map cons" "mark" "maus" "memorize dummy" "memorize new" "memorize new 2" "memorize transient" "mrshutco" "multiplication" "next" "no the" "not" "not test 1" "not test 2" "not v1" "number of theories" "number of theories 2" "onetwo" "or" "or3" "really funny" "red" "simpler syntax test" "smartmul" "subtraction" "superior lasagna" "tasty list" "temp" "temp2" "temp3" "tennis" "tennis.data.1" "tennis.data.2" "tennis.data.3" "tennis.data.4" "tennis.data.5" "tennis.data.6" "tennis.data.7" "tennis.data.count" "test5" "theory" "theory 1" "theory 2" "unified" "user says what is tasty" "usermul" "verify 1" "verify 2" "very funny" "what is tasty" "x random test" "xor" "yes" "yes no" "yes-yeah" "yo" "yo cons" "yo2" "yo2 cons"])
      Clause is native.
       gdash: _8 = iter [cons "1" [cons "3" [cons ":-" [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
     Goal arity 4: _8 = iter [cons "1" [cons "3" [cons ":-" [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
      Got clause: _148 = iter [cons _148 _149]
        Clause unifies to: "1" = iter [cons "1" [cons "3" [cons ":-" [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
        gdash: a theory has a _7
      Goal arity 5: a theory has a _7
       Got clause: a theory has a text
         Clause unifies to: a theory has a text
         gdash: I care about "1"
       Goal arity 4: I care about "1"
       Got clause: a theory has a name
         Clause unifies to: a theory has a name
         gdash: I care about "1"
       Goal arity 4: I care about "1"
      Got clause: _333 = iter [cons _334 _335]
        Clause unifies to: _8 = iter [cons "1" [cons "3" [cons ":-" [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
        gdash: _8 = iter [cons "3" [cons ":-" [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
      Goal arity 4: _8 = iter [cons "3" [cons ":-" [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
       Got clause: _372 = iter [cons _372 _373]
         Clause unifies to: "3" = iter [cons "3" [cons ":-" [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
         gdash: a theory has a _7
       Goal arity 5: a theory has a _7
        Got clause: a theory has a text
          Clause unifies to: a theory has a text
          gdash: I care about "3"
        Goal arity 4: I care about "3"
        Got clause: a theory has a name
          Clause unifies to: a theory has a name
          gdash: I care about "3"
        Goal arity 4: I care about "3"
       Got clause: _557 = iter [cons _558 _559]
         Clause unifies to: _8 = iter [cons "3" [cons ":-" [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
         gdash: _8 = iter [cons ":-" [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
       Goal arity 4: _8 = iter [cons ":-" [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
        Got clause: _596 = iter [cons _596 _597]
          Clause unifies to: ":-" = iter [cons ":-" [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
          gdash: a theory has a _7
        Goal arity 5: a theory has a _7
         Got clause: a theory has a text
           Clause unifies to: a theory has a text
           gdash: I care about ":-"
         Goal arity 4: I care about ":-"
         Got clause: a theory has a name
           Clause unifies to: a theory has a name
           gdash: I care about ":-"
         Goal arity 4: I care about ":-"
        Got clause: _781 = iter [cons _782 _783]
          Clause unifies to: _8 = iter [cons ":-" [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
          gdash: _8 = iter [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
        Goal arity 4: _8 = iter [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
         Got clause: _820 = iter [cons _820 _821]
           Clause unifies to: ":- test" = iter [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
           gdash: a theory has a _7
         Goal arity 5: a theory has a _7
          Got clause: a theory has a text
            Clause unifies to: a theory has a text
            gdash: I care about ":- test"
          Goal arity 4: I care about ":- test"
          Got clause: a theory has a name
            Clause unifies to: a theory has a name
            gdash: I care about ":- test"
          Goal arity 4: I care about ":- test"
         Got clause: _1005 = iter [cons _1006 _1007]
           Clause unifies to: _8 = iter [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
           gdash: _8 = iter [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
         Goal arity 4: _8 = iter [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
          Got clause: _1044 = iter [cons _1044 _1045]
            Clause unifies to: "AisBisC" = iter [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
            gdash: a theory has a _7
          Goal arity 5: a theory has a _7
           Got clause: a theory has a text
             Clause unifies to: a theory has a text
             gdash: I care about "AisBisC"
           Goal arity 4: I care about "AisBisC"
           Got clause: a theory has a name
             Clause unifies to: a theory has a name
             gdash: I care about "AisBisC"
           Goal arity 4: I care about "AisBisC"
          Got clause: _1229 = iter [cons _1230 _1231]
            Clause unifies to: _8 = iter [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
            gdash: _8 = iter [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
          Goal arity 4: _8 = iter [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
           Got clause: _1268 = iter [cons _1268 _1269]
             Clause unifies to: "DadJoke001" = iter [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
             gdash: a theory has a _7
           Goal arity 5: a theory has a _7
            Got clause: a theory has a text
              Clause unifies to: a theory has a text
              gdash: I care about "DadJoke001"
            Goal arity 4: I care about "DadJoke001"
            Got clause: a theory has a name
              Clause unifies to: a theory has a name
              gdash: I care about "DadJoke001"
            Goal arity 4: I care about "DadJoke001"
           Got clause: _1453 = iter [cons _1454 _1455]
             Clause unifies to: _8 = iter [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
             gdash: _8 = iter [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
           Goal arity 4: _8 = iter [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
            Got clause: _1492 = iter [cons _1492 _1493]
              Clause unifies to: "DadJoke002" = iter [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
              gdash: a theory has a _7
            Goal arity 5: a theory has a _7
             Got clause: a theory has a text
               Clause unifies to: a theory has a text
               gdash: I care about "DadJoke002"
             Goal arity 4: I care about "DadJoke002"
             Got clause: a theory has a name
               Clause unifies to: a theory has a name
               gdash: I care about "DadJoke002"
             Goal arity 4: I care about "DadJoke002"
            Got clause: _1677 = iter [cons _1678 _1679]
              Clause unifies to: _8 = iter [cons "DadJoke002" [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
              gdash: _8 = iter [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
            Goal arity 4: _8 = iter [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
             Got clause: _1716 = iter [cons _1716 _1717]
               Clause unifies to: "DadJoke003" = iter [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
               gdash: a theory has a _7
             Goal arity 5: a theory has a _7
              Got clause: a theory has a text
                Clause unifies to: a theory has a text
                gdash: I care about "DadJoke003"
              Goal arity 4: I care about "DadJoke003"
              Got clause: a theory has a name
                Clause unifies to: a theory has a name
                gdash: I care about "DadJoke003"
              Goal arity 4: I care about "DadJoke003"
             Got clause: _1901 = iter [cons _1902 _1903]
               Clause unifies to: _8 = iter [cons "DadJoke003" [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
               gdash: _8 = iter [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
             Goal arity 4: _8 = iter [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
              Got clause: _1940 = iter [cons _1940 _1941]
                Clause unifies to: "GetSentences (C#)" = iter [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                gdash: a theory has a _7
              Goal arity 5: a theory has a _7
               Got clause: a theory has a text
                 Clause unifies to: a theory has a text
                 gdash: I care about "GetSentences (C#)"
               Goal arity 4: I care about "GetSentences (C#)"
               Got clause: a theory has a name
                 Clause unifies to: a theory has a name
                 gdash: I care about "GetSentences (C#)"
               Goal arity 4: I care about "GetSentences (C#)"
              Got clause: _2125 = iter [cons _2126 _2127]
                Clause unifies to: _8 = iter [cons "GetSentences (C#)" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                gdash: _8 = iter [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
              Goal arity 4: _8 = iter [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
               Got clause: _2164 = iter [cons _2164 _2165]
                 Clause unifies to: "HK" = iter [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                 gdash: a theory has a _7
               Goal arity 5: a theory has a _7
                Got clause: a theory has a text
                  Clause unifies to: a theory has a text
                  gdash: I care about "HK"
                Goal arity 4: I care about "HK"
                Got clause: a theory has a name
                  Clause unifies to: a theory has a name
                  gdash: I care about "HK"
                Goal arity 4: I care about "HK"
               Got clause: _2349 = iter [cons _2350 _2351]
                 Clause unifies to: _8 = iter [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                 gdash: _8 = iter [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
               Goal arity 4: _8 = iter [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                Got clause: _2388 = iter [cons _2388 _2389]
                  Clause unifies to: "IndexOfSentence" = iter [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                  gdash: a theory has a _7
                Goal arity 5: a theory has a _7
                 Got clause: a theory has a text
                   Clause unifies to: a theory has a text
                   gdash: I care about "IndexOfSentence"
                 Goal arity 4: I care about "IndexOfSentence"
                 Got clause: a theory has a name
                   Clause unifies to: a theory has a name
                   gdash: I care about "IndexOfSentence"
                 Goal arity 4: I care about "IndexOfSentence"
                Got clause: _2573 = iter [cons _2574 _2575]
                  Clause unifies to: _8 = iter [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                  gdash: _8 = iter [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                Goal arity 4: _8 = iter [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                 Got clause: _2612 = iter [cons _2612 _2613]
                   Clause unifies to: "Lasagna AI 1" = iter [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                   gdash: a theory has a _7
                 Goal arity 5: a theory has a _7
                  Got clause: a theory has a text
                    Clause unifies to: a theory has a text
                    gdash: I care about "Lasagna AI 1"
                  Goal arity 4: I care about "Lasagna AI 1"
                  Got clause: a theory has a name
                    Clause unifies to: a theory has a name
                    gdash: I care about "Lasagna AI 1"
                  Goal arity 4: I care about "Lasagna AI 1"
                 Got clause: _2797 = iter [cons _2798 _2799]
                   Clause unifies to: _8 = iter [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                   gdash: _8 = iter [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                 Goal arity 4: _8 = iter [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                  Got clause: _2836 = iter [cons _2836 _2837]
                    Clause unifies to: "OneToTen" = iter [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                    gdash: a theory has a _7
                  Goal arity 5: a theory has a _7
                   Got clause: a theory has a text
                     Clause unifies to: a theory has a text
                     gdash: I care about "OneToTen"
                   Goal arity 4: I care about "OneToTen"
                   Got clause: a theory has a name
                     Clause unifies to: a theory has a name
                     gdash: I care about "OneToTen"
                   Goal arity 4: I care about "OneToTen"
                  Got clause: _3021 = iter [cons _3022 _3023]
                    Clause unifies to: _8 = iter [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                    gdash: _8 = iter [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                  Goal arity 4: _8 = iter [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                   Got clause: _3060 = iter [cons _3060 _3061]
                     Clause unifies to: "PennyNickel" = iter [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                     gdash: a theory has a _7
                   Goal arity 5: a theory has a _7
                    Got clause: a theory has a text
                      Clause unifies to: a theory has a text
                      gdash: I care about "PennyNickel"
                    Goal arity 4: I care about "PennyNickel"
                    Got clause: a theory has a name
                      Clause unifies to: a theory has a name
                      gdash: I care about "PennyNickel"
                    Goal arity 4: I care about "PennyNickel"
                   Got clause: _3245 = iter [cons _3246 _3247]
                     Clause unifies to: _8 = iter [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                     gdash: _8 = iter [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                   Goal arity 4: _8 = iter [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                    Got clause: _3284 = iter [cons _3284 _3285]
                      Clause unifies to: "YisX" = iter [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                      gdash: a theory has a _7
                    Goal arity 5: a theory has a _7
                     Got clause: a theory has a text
                       Clause unifies to: a theory has a text
                       gdash: I care about "YisX"
                     Goal arity 4: I care about "YisX"
                     Got clause: a theory has a name
                       Clause unifies to: a theory has a name
                       gdash: I care about "YisX"
                     Goal arity 4: I care about "YisX"
                    Got clause: _3469 = iter [cons _3470 _3471]
                      Clause unifies to: _8 = iter [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                      gdash: _8 = iter [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                    Goal arity 4: _8 = iter [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                     Got clause: _3508 = iter [cons _3508 _3509]
                       Clause unifies to: "addition" = iter [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                       gdash: a theory has a _7
                     Goal arity 5: a theory has a _7
                      Got clause: a theory has a text
                        Clause unifies to: a theory has a text
                        gdash: I care about "addition"
                      Goal arity 4: I care about "addition"
                      Got clause: a theory has a name
                        Clause unifies to: a theory has a name
                        gdash: I care about "addition"
                      Goal arity 4: I care about "addition"
                     Got clause: _3693 = iter [cons _3694 _3695]
                       Clause unifies to: _8 = iter [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                       gdash: _8 = iter [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                     Goal arity 4: _8 = iter [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                      Got clause: _3732 = iter [cons _3732 _3733]
                        Clause unifies to: "and" = iter [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                        gdash: a theory has a _7
                      Goal arity 5: a theory has a _7
                       Got clause: a theory has a text
                         Clause unifies to: a theory has a text
                         gdash: I care about "and"
                       Goal arity 4: I care about "and"
                       Got clause: a theory has a name
                         Clause unifies to: a theory has a name
                         gdash: I care about "and"
                       Goal arity 4: I care about "and"
                      Got clause: _3917 = iter [cons _3918 _3919]
                        Clause unifies to: _8 = iter [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                        gdash: _8 = iter [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                      Goal arity 4: _8 = iter [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                       Got clause: _3956 = iter [cons _3956 _3957]
                         Clause unifies to: "and 3" = iter [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                         gdash: a theory has a _7
                       Goal arity 5: a theory has a _7
                        Got clause: a theory has a text
                          Clause unifies to: a theory has a text
                          gdash: I care about "and 3"
                        Goal arity 4: I care about "and 3"
                        Got clause: a theory has a name
                          Clause unifies to: a theory has a name
                          gdash: I care about "and 3"
                        Goal arity 4: I care about "and 3"
                       Got clause: _4141 = iter [cons _4142 _4143]
                         Clause unifies to: _8 = iter [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                         gdash: _8 = iter [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                       Goal arity 4: _8 = iter [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memorize transient" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "no the" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "or3" [cons "really funny" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "superior lasagna" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "tennis" [cons "tennis.data.1" [cons "tennis.data.2" [cons "tennis.data.3" [cons "tennis.data.4" [cons "tennis.data.5" [cons "tennis.data.6" [cons "tennis.data.7" [cons "tennis.data.count" [cons "test5" [cons "theory" [cons "theory 1" [cons "theory 2" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "very funny" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" [cons "yo" [cons "yo cons" [cons "yo2" [cons "yo2 cons" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
                        Got clause: _4180 = iter [cons _4180 _4181]
                          Clause unifies to: "and 4" = iter [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "c# example" [cons "calc" [cons "car" [cons "care" [cons "care tennis" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dadbot+1" [cons "dang" [cons "division" [cons "double tasty test" [cons "drop 'the' test" [cons "drop 'the' test.out" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "ifthenelse" [cons "in list" [cons "inch-inches" [cons "inctest.1" [cons "inctest.2" [cons "inctest.count" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "map" [cons "map cons" [cons "mark" [cons "maus" [cons "memorize dummy" [cons "memorize new" [cons "memorize new 2" [cons "memori
[...]