["1", "3", ":-", ":- test", "AisBisC", "DadJoke001", "DadJoke001.b", "DadJoke002", "DadJoke003", "DadJoke004", "GetSentences (C#)", "HK", "IndexOfSentence", "Lasagna AI 1", "OneToTen", "PennyNickel", "YisX", "add question mark", "add question mark to user input", "addition", "and", "and 3", "and 4", "append_c", "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", "drop exclamation mark", "drop exclamation mark from user input", "drop question mark", "drop question mark from user input", "droplast_cons", "economics", "endswithword_c", "eq", "eq test", "eq test 2", "eval test squaring", "false", "find yes", "first sentence", "foot-feet", "forall_impl", "forceEval", "good morning", "greatest", "grouping 1", "grouping 2", "grouping 2.x", "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", "rew", "rew!", "rewrite clauses", "short not", "simpler syntax test", "siri", "smarter than siri", "smartmul", "stuff that doesn't verify", "stuff that verifies", "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", "text of theory", "theory", "theory 1", "theory 2", "theory name", "true", "unified", "user says what is tasty", "usermul", "verify 1", "verify 2", "very funny", "what is", "what is original", "what is tasty", "what is the time?", "what is.data.1", "what is.data.10", "what is.data.11", "what is.data.12", "what is.data.13", "what is.data.14", "what is.data.15", "what is.data.16", "what is.data.17", "what is.data.18", "what is.data.19", "what is.data.2", "what is.data.20", "what is.data.21", "what is.data.22", "what is.data.23", "what is.data.24", "what is.data.25", "what is.data.26", "what is.data.27", "what is.data.28", "what is.data.29", "what is.data.3", "what is.data.30", "what is.data.31", "what is.data.32", "what is.data.33", "what is.data.34", "what is.data.35", "what is.data.36", "what is.data.37", "what is.data.38", "what is.data.39", "what is.data.4", "what is.data.40", "what is.data.41", "what is.data.42", "what is.data.43", "what is.data.44", "what is.data.45", "what is.data.46", "what is.data.47", "what is.data.48", "what is.data.49", "what is.data.5", "what is.data.6", "what is.data.7", "what is.data.8", "what is.data.9", "what is.data.count", "where are the bot sources", "x random test", "xor", "yes", "yes no", "yes-yeah", "yo", "yo cons", "yo2", "yo2 cons"]