✅ BC-COMP.01
✅ BC-COMP.02
✅ BC-COMP.03
✅ BC-COMP.04
✅ BC-COMP.05
✅ BC-COMP.06
✅ BCHAIN.01
✅ BCHAIN.02
✅ BCHAIN.03
✅ BCHAIN.04
✅ BCHAIN.05
✅ BCHAIN.06
✅ BCHAIN-COMP.01
✅ BCHAIN-COMP.02
✅ BCHAIN-COMP.03
✅ BCHAIN-COMP.04
✅ BCHAIN-COMP.05
✅ BCHAIN-COMP.06
✅ COMMA-IS-NOT-SPECIAL.01
✅ METTALOGTESTCURRIED2.01
✅ METTALOGTESTCURRIED2.02
✅ METTALOGTESTCURRIED2.03
✅ METTALOGTESTCURRIED2.04
✅ METTALOGTESTCURRIED2.05
✅ METTALOGTESTCURRIED2.06
✅ METTALOGTESTCURRIED2.07
✅ TEST-IF-CLOSED.01
✅ TEST-IF-CLOSED.02
✅ TEST-IF-CLOSED.03
✅ TEST-IF-CLOSED.04
✅ TEST-IF-CLOSED.05
✅ TEST-IF-CLOSED.06
✅ TEST-IF-CLOSED.07
✅ TEST-IF-CLOSED.08
✅ TEST-IF-CLOSED.09
✅ TEST-IF-CLOSED.10
✅ TEST-IF-CLOSED.11
✅ TMPMATCH1.01
✅ TMPMATCH1.02
✅ TMPMATCH1.03
✅ TMPMATCH1.04
✅ TMPMATCH2.01
✅ TMPMATCH2.02
✅ TMPMATCH2.03
✅ TMPMATCH2.04
✅ TMPMATCH2.05

✅ RUST-01.01
✅ RUST-02.01

✅ A1-SYMBOLS.01
✅ A1-SYMBOLS.02
✅ A1-SYMBOLS.03
✅ A1-SYMBOLS.04
✅ A1-SYMBOLS.05
✅ A1-SYMBOLS.06
✅ A1-SYMBOLS.07
✅ A2-OPENCOGGY.01
✅ A3-TWOSIDE.01
✅ A3-TWOSIDE.02
✅ A3-TWOSIDE.03
✅ A3-TWOSIDE.04
✅ B0-CHAINING-PRELIM.01
✅ B0-CHAINING-PRELIM.02
✅ B0-CHAINING-PRELIM.03
✅ B0-CHAINING-PRELIM.04
✅ B0-CHAINING-PRELIM.05
✅ B1-EQUAL-CHAIN.01
✅ B1-EQUAL-CHAIN.02
✅ B1-EQUAL-CHAIN.03
✅ B1-EQUAL-CHAIN.04
✅ B1-EQUAL-CHAIN.05
✅ B1-EQUAL-CHAIN.06
✅ B2-BACKCHAIN.01
✅ B2-BACKCHAIN.02
✅ B2-BACKCHAIN.03
✅ B2-BACKCHAIN.04
✅ B2-BACKCHAIN.05
✅ B3-DIRECT.01
✅ B3-DIRECT.02
✅ B3-DIRECT.03
✅ B4-NONDETERM.01
✅ B4-NONDETERM.02
✅ B4-NONDETERM.03
✅ B4-NONDETERM.04
✅ B4-NONDETERM.05
✅ B4-NONDETERM.06
✅ B4-NONDETERM.07
✅ B4-NONDETERM.08
✅ B4-NONDETERM.09
✅ B4-NONDETERM.10
✅ B4-NONDETERM.11
✅ B5-TYPES-PRELIM.01
❌ B5-TYPES-PRELIM.02
	AssertionError: Test failed: Expected '((Error S BadType))' but got '(S)'
✅ B5-TYPES-PRELIM.03
✅ B5-TYPES-PRELIM.04
✅ B5-TYPES-PRELIM.05
✅ B5-TYPES-PRELIM.06
✅ B5-TYPES-PRELIM.07
❌ B5-TYPES-PRELIM.08
	AssertionError: Test failed: Expected '((Error (Cons Z Nil) BadType))' but got '((Cons S (Cons Z Nil)))'
✅ B5-TYPES-PRELIM.09
✅ B5-TYPES-PRELIM.10
❌ B5-TYPES-PRELIM.11
	AssertionError: Test failed: Expected '((Error S BadType))' but got '((eq Z S))'
✅ B5-TYPES-PRELIM.12
✅ B5-TYPES-PRELIM.13
❌ B5-TYPES-PRELIM.14
	AssertionError: Test failed: Expected '((Error Color BadType))' but got '(T)'
❌ B5-TYPES-PRELIM.15
	AssertionError: Test failed: Expected '((Error Circle BadType))' but got '(T)'
✅ B5-TYPES-PRELIM.16
✅ B5-TYPES-PRELIM.17
✅ B5-TYPES-PRELIM.18
✅ B5-TYPES-PRELIM.19
✅ B5-TYPES-PRELIM.20
✅ B5-TYPES-PRELIM.21
✅ B5-TYPES-PRELIM.22
✅ B5-TYPES-PRELIM.23
❌ B5-TYPES-PRELIM.24
	AssertionError: Test failed: Expected '((eqa Z (Add Z Z)))' but got '(T)'
✅ B5-TYPES-PRELIM.25
✅ B5-TYPES-PRELIM.26
✅ C1-GROUNDED-BASIC.01
✅ C1-GROUNDED-BASIC.02
✅ C1-GROUNDED-BASIC.03
✅ C1-GROUNDED-BASIC.04
✅ C1-GROUNDED-BASIC.05
✅ C1-GROUNDED-BASIC.06
✅ C1-GROUNDED-BASIC.07
✅ C1-GROUNDED-BASIC.08
✅ C1-GROUNDED-BASIC.09
✅ C1-GROUNDED-BASIC.10
✅ C1-GROUNDED-BASIC.11
✅ C1-GROUNDED-BASIC.12
✅ C1-GROUNDED-BASIC.13
❌ C1-GROUNDED-BASIC.14
	AssertionError: Test failed: Expected '((Error "String" BadType))' but got '((+ 2 "String"))'
❌ C1-GROUNDED-BASIC.15
	AssertionError: Test failed: Expected '((Error ln BadType))' but got '(False)'
✅ C1-GROUNDED-BASIC.16
✅ C1-GROUNDED-BASIC.17
✅ C1-GROUNDED-BASIC.18
✅ C1-GROUNDED-BASIC.19
✅ C1-GROUNDED-BASIC.20
✅ C1-GROUNDED-BASIC.21
✅ C1-GROUNDED-BASIC.22
✅ C1-GROUNDED-BASIC.23
✅ C2-SPACES.01
✅ C2-SPACES.02
✅ C2-SPACES.03
✅ C2-SPACES.04
✅ C2-SPACES.05
✅ C3-PLN-STV.01
✅ C3-PLN-STV.02
✅ C3-PLN-STV.03
✅ C3-PLN-STV.04
✅ C3-PLN-STV.05
✅ D1-GADT.01
✅ D1-GADT.02
✅ D1-GADT.03
✅ D1-GADT.04
✅ D1-GADT.05
✅ D1-GADT.06
✅ D1-GADT.07
✅ D1-GADT.08
✅ D1-GADT.09
✅ D1-GADT.10
✅ D1-GADT.11
✅ D1-GADT.12
✅ D1-GADT.13
✅ D1-GADT.14
✅ D2-HIGHERFUNC.01
✅ D2-HIGHERFUNC.02
✅ D2-HIGHERFUNC.03
✅ D2-HIGHERFUNC.04
✅ D2-HIGHERFUNC.05
✅ D2-HIGHERFUNC.06
❌ D2-HIGHERFUNC.07
	AssertionError: Test failed: Expected '()' but got '(Number)'
✅ D2-HIGHERFUNC.08
✅ D2-HIGHERFUNC.09
✅ D2-HIGHERFUNC.10
✅ D2-HIGHERFUNC.11
✅ D2-HIGHERFUNC.12
✅ D2-HIGHERFUNC.13
✅ D2-HIGHERFUNC.14
✅ D2-HIGHERFUNC.15
✅ D2-HIGHERFUNC.16
✅ D2-HIGHERFUNC.17
✅ D2-HIGHERFUNC.18
✅ D2-HIGHERFUNC.19
✅ D2-HIGHERFUNC.20
✅ D2-HIGHERFUNC.21
✅ D2-HIGHERFUNC.22
✅ D2-HIGHERFUNC.23
✅ D2-HIGHERFUNC.24
✅ D2-HIGHERFUNC.25
✅ D2-HIGHERFUNC.26
✅ D2-HIGHERFUNC.27
✅ D3-DEPTYPES.01
✅ D3-DEPTYPES.02
✅ D3-DEPTYPES.03
✅ D3-DEPTYPES.04
✅ D3-DEPTYPES.05
✅ D3-DEPTYPES.06
✅ D3-DEPTYPES.07
✅ D4-TYPE-PROP.01
✅ D4-TYPE-PROP.02
✅ D4-TYPE-PROP.03
✅ D4-TYPE-PROP.04
✅ D4-TYPE-PROP.05
✅ D4-TYPE-PROP.06
✅ D4-TYPE-PROP.07
✅ D4-TYPE-PROP.08
✅ D4-TYPE-PROP.09
✅ D4-TYPE-PROP.10
✅ D4-TYPE-PROP.11
✅ D4-TYPE-PROP.12
✅ D4-TYPE-PROP.13
✅ D4-TYPE-PROP.14
✅ D4-TYPE-PROP.15
✅ D4-TYPE-PROP.16
✅ D4-TYPE-PROP.17
✅ D4-TYPE-PROP.18
✅ D4-TYPE-PROP.19
❌ D5-AUTO-TYPES.01
	AssertionError: Test failed: Expected '((Error "S" BadType))' but got '(88)'
❌ D5-AUTO-TYPES.02
	AssertionError: Test failed: Expected '((Error "S" BadType))' but got '(False)'
❌ D5-AUTO-TYPES.03
	AssertionError: Test failed: Expected '((Error SamIsMortal BadType))' but got '(False)'
❌ D5-AUTO-TYPES.04
	AssertionError: Test failed: Expected '((Error (Human Socrates) BadType))' but got '((HumansAreMortal (Human Socrates)))'
❌ D5-AUTO-TYPES.05
	AssertionError: Test failed: Expected '(((Error "S" BadType)))' but got '((88))'
❌ D5-AUTO-TYPES.06
	AssertionError: Test failed: Expected '((Error "S" BadType))' but got '((f 88))'
✅ E1-KB-WRITE.01
✅ E1-KB-WRITE.02
✅ E2-STATES.01
✅ E2-STATES.02
✅ E2-STATES.03
✅ E2-STATES.04
✅ E2-STATES.05
✅ E2-STATES.06
❌ E2-STATES.07
	AssertionError: Test failed: Expected '((Error 1 BadType))' but got '((State  1 $_248244))'
❌ E2-STATES.08
	AssertionError: Test failed: Expected '((Error "S" BadType))' but got '((State  "S" $_277830))'
✅ E2-STATES.09
✅ E2-STATES.10
✅ E2-STATES.11
✅ E2-STATES.12
✅ E3-MATCH-STATES.01
✅ E3-MATCH-STATES.02
❌ E3-MATCH-STATES.03
	AssertionError: Test failed: Expected '(active)' but got '(inactive)'
✅ E3-MATCH-STATES.04
❌ E3-MATCH-STATES.05
	AssertionError: Test failed: Expected '(meditation)' but got '()'
❌ E3-MATCH-STATES.06
	AssertionError: Test failed: Expected '(lunch-order)' but got '()'
✅ F1-IMPORTS.01
✅ F1-IMPORTS.02
✅ F1-IMPORTS.03
✅ F1-MODULEA.04
✅ F1-MODULEA.05
✅ F1-IMPORTS.06
✅ F1-MODULEA.07
✅ F1-MODULEA.08
✅ F1-MODULEA.09
✅ F1-MODULEA.10
✅ F1-IMPORTS.11
✅ F1-IMPORTS.12
❌ F1-IMPORTS.13
	AssertionError: Test failed: Expected '((: __g (-> Number)))' but got '(&m)'
✅ F1-IMPORTS.14
✅ F1-IMPORTS.15
✅ F1-IMPORTS.16
✅ F1-IMPORTS.17
✅ F1-IMPORTS.18
✅ F1-IMPORTS.19
✅ F1-IMPORTS.20
✅ F1-IMPORTS.21
✅ F1-MODULEA.01
✅ F1-MODULEA.02
✅ G1-DOCS.01
✅ G1-DOCS.02
❌ G1-DOCS.03
	AssertionError: Test failed: Expected '((@doc-formal (@item some-gnd-atom) (@kind function) (@type %Undefined%) (@desc "Test function") (@params ((@param (@type %Undefined%) (@desc "First argument")) (@param (@type %Undefined%) (@desc "Second argument")))) (@return (@type %Undefined%) (@desc "Return value"))))' but got '()'
❌ G1-DOCS.04
	AssertionError: Test failed: Expected '((@doc-formal (@item NoSuchAtom) (@kind atom) (@type %Undefined%) (@desc "No documentation")))' but got '()'
❌ G1-DOCS.05
	AssertionError: Test failed: Expected '((@doc-formal (@item (some-func arg1 arg2)) (@kind atom) (@type ReturnType) (@desc "No documentation")))' but got '()'

✅ 00-LANG-CASE.01
✅ 00-LANG-CASE.02
✅ 00-LANG-CASE.03
✅ 00-LANG-CASE.04
✅ 00-LANG-CASE.05
✅ 00-LANG-CASE.06
✅ 00-LANG-CASE.07
✅ 00-LANG-CASE.08
✅ 00-LANG-CASE.09
✅ 00-LANG-CASE.10
✅ 00-LANG-CASE.11
✅ 00-LANG-CASE.12
✅ 00-LANG-CASE.13
✅ 00-LANG-CASE.14
✅ 00-LANG-CASE.15
✅ 00-LANG-CASE.16
✅ 00-LANG-CASE.17
✅ 00-LANG-CASE.18
✅ 01-LANG-INC.01
✅ 01-LANG-INC.02
✅ 02-CURRIED-PLUS.01
✅ 03-SORING-VIA-INSERT.01
✅ 03-SORING-VIA-INSERT.02
✅ 03-SORING-VIA-INSERT.03
✅ 03-SORING-VIA-INSERT.04
✅ 03-SORING-VIA-INSERT.05
✅ 03-SORING-VIA-INSERT.06
✅ 06-MATCH-IN-SPACE.01
✅ 06-MATCH-IN-SPACE.02
✅ 06-MATCH-IN-SPACE.03
✅ 06-MATCH-IN-SPACE.04
✅ 06-MATCH-IN-SPACE.05
✅ 06-MATCH-IN-SPACE.06
✅ BASE-TEST-REPR-PARSE-INTERSECTION.01
✅ BASE-TEST-REPR-PARSE-INTERSECTION.02
✅ BASE-TEST-REPR-PARSE-INTERSECTION.03
✅ BASE-TEST-REPR-PARSE-INTERSECTION.04
✅ CATCH-THROW-TESTS.01
✅ CATCH-THROW-TESTS.02
✅ CATCH-THROW-TESTS.03
✅ CATCH-THROW-TESTS.04
✅ CATCH-THROW-TESTS.05
✅ CATCH-THROW-TESTS.06
✅ CATCH-THROW-TESTS.07
✅ CATCH-THROW-TESTS.08
✅ CATCH-THROW-TESTS.09
✅ CATCH-THROW-TESTS.10
✅ FIND-ALL-TESTS.01
✅ FIND-ALL-TESTS.02
✅ FIND-ALL-TESTS.03
✅ FIND-ALL-TESTS.04
✅ FIND-ALL-TESTS.05
✅ FIND-ALL-TESTS.06
✅ FIND-ALL-TESTS.07
✅ FIRST-ANSWER.01
✅ FIRST-ANSWER.02
✅ FLIP-TEST.01
✅ FLIP-TEST.02
✅ FUNCTIONAL-PROGRAMMING-TESTS.01
✅ FUNCTIONAL-PROGRAMMING-TESTS.02
✅ FUNCTIONAL-PROGRAMMING-TESTS.03
✅ FUNCTIONAL-PROGRAMMING-TESTS.04
✅ FUNCTIONAL-PROGRAMMING-TESTS.05
❌ FUNCTIONAL-PROGRAMMING-TESTS.06
	AssertionError: Test failed: Expected '((False True False))' but got '(time_limit_exceeded)'
✅ FUNCTIONAL-PROGRAMMING-TESTS.07
❌ FUNCTIONAL-PROGRAMMING-TESTS.08
	AssertionError: Test failed: Expected '(((False True False) (True False True)))' but got '(time_limit_exceeded)'
✅ FUNCTIONAL-PROGRAMMING-TESTS.09
✅ INTERSECTION-TESTS.01
✅ INTERSECTION-TESTS.02
✅ INTERSECTION-TESTS.03
✅ INTERSECTION-TESTS.04
✅ INTERSECTION-TESTS.05
✅ INTERSECTION-TESTS.06
✅ INTERSECTION-TESTS.07
✅ INTERSECTION-TESTS.08
✅ INTERSECTION-TESTS.09
✅ INTERSECTION-TESTS.10
✅ INTERSECTION-TESTS.11
✅ INTERSECTION-TESTS.12
✅ INTERSECTION-TESTS.13
✅ INTERSECTION-TESTS.14
✅ INTERSECTION-TESTS.15
✅ INTERSECTION-TESTS.16
✅ INTERSECTION-TESTS.17
✅ INTERSECTION-TESTS.18
✅ INTERSECTION-TESTS.19
✅ INTERSECTION-TESTS.20
✅ INTERSECTION-TESTS.21
✅ INTERSECTION-TESTS.22
✅ INTERSECTION-TESTS.24
✅ INTERSECTION-TESTS.25
✅ INTERSECTION-TESTS.26
✅ INTERSECTION-TESTS.27
❌ INTERSECTION-TESTS.28
	AssertionError: Test failed: Expected '((f $_1340784) $_1340772)' but got '((f $_1335966))'
❌ INTERSECTION-TESTS.29
	AssertionError: Test failed: Expected '($_1381874 (f $_1381862))' but got '((f $_1376838))'
✅ INTERSECTION-TESTS.30
❌ INTERSECTION-TESTS.31
	AssertionError: Test failed: Expected '($_1455930 (f $_1455918))' but got '((f $_1450894))'
✅ INTERSECTION-TESTS.32
✅ IS-SPACE.01
✅ IS-SPACE.02
✅ IS-SPACE.03
✅ MAX-TIME-TESTS.01
❌ MAX-TIME-TESTS.02
	AssertionError: Test failed: Expected '(time_limit_exceeded)' but got '(True)'
✅ MAX-TIME-TESTS.03
❌ MAX-TIME-TESTS.04
	AssertionError: Test failed: Expected '(a b c)' but got '(a)'
✅ MAX-TIME-TESTS.05
✅ OR-TEST.01
❌ OR-TEST.02
	AssertionError: Test failed: Expected '(False)' but got '(True)'
✅ OR-TEST.03
✅ OR-TEST.04
✅ OR-TEST.05
✅ OR-TEST.06
✅ OR-TEST.07
✅ OR-TEST.08
✅ OR-TEST.09
✅ OR-TEST.10
✅ OR-TEST.11
✅ OR-TEST.12
✅ OR-TEST.13
✅ OR-TEST.14
✅ OR-TEST.15
✅ OR-TEST.16
✅ OR-TEST.17
✅ OR-TEST.18
✅ OR-TEST.19
❌ OR-TEST.20
	AssertionError: Test failed: Expected '(False True True True)' but got '(True True)'
✅ SEALED-TEST.01
✅ SEALED-TEST.02
✅ SEALED-TEST.03
✅ SEALED-TEST.04
✅ SEALED-TEST.05
✅ SEALED-TEST.06
✅ SEALED-TEST.07
✅ SEALED-TEST.08
✅ SEALED-TEST.09
✅ SEALED-TEST.10
✅ SPACE-INTERSECTION-TESTS.01
✅ SPACE-INTERSECTION-TESTS.02
✅ SPACE-INTERSECTION-TESTS.03
✅ SPACE-INTERSECTION-TESTS.04
✅ SPACE-INTERSECTION-TESTS.05
✅ SPACE-INTERSECTION-TESTS.06
❌ SPACE-INTERSECTION-TESTS.07
	AssertionError: Test failed: Expected '((foo 7 7))' but got '((foo (foo 1 2) 3) (foo 7 7) (foo (foo $_587998 2) 3))'
❌ SPACE-INTERSECTION-TESTS.08
	AssertionError: Test failed: Expected '((foo (foo 1 2) 3))' but got '((foo (foo 1 2) 3) (foo 7 7))'
❌ SPACE-INTERSECTION-TESTS.09
	AssertionError: Test failed: Expected '((foo (foo 1 2) 3))' but got '((foo 7 7) (foo (foo 1 2) 3))'
❌ SPACE-INTERSECTION-TESTS.10
	AssertionError: Test failed: Expected '((foo 3 $_948396))' but got '((foo $_935706 $_935712) (foo 3 $_935688))'
✅ SPACE-INTERSECTION-TESTS.11
❌ SPACE-INTERSECTION-TESTS.12
	AssertionError: Test failed: Expected '()' but got '((foo $_44016 $_44022))'
✅ SPACE-INTERSECTION-TESTS.13
✅ SPACE-INTERSECTION-TESTS.14
✅ SPACE-INTERSECTION-TESTS.15
❌ SPACE-INTERSECTION-TESTS.16
	AssertionError: Test failed: Expected '((foo 5 10) (foo 3 4))' but got '()'
❌ SPACE-INTERSECTION-TESTS.17
	AssertionError: Test failed: Expected '((foo 3 4))' but got '((foo $_523530 $_523536) (foo 3 4))'
✅ SPACE-INTERSECTION-TESTS.18
✅ SPACE-INTERSECTION-TESTS.19
✅ SPACE-INTERSECTION-TESTS.20
✅ SPACE-SUBTRACTION-TESTS.01
✅ SPACE-SUBTRACTION-TESTS.02
✅ SPACE-SUBTRACTION-TESTS.03
✅ SPACE-SUBTRACTION-TESTS.04
✅ SPACE-SUBTRACTION-TESTS.05
✅ SPACE-SUBTRACTION-TESTS.06
✅ SPACE-SUBTRACTION-TESTS.07
✅ SPACE-SUBTRACTION-TESTS.08
✅ SPACE-SUBTRACTION-TESTS.09
✅ SPACE-SUBTRACTION-TESTS.10
✅ SPACE-SUBTRACTION-TESTS.11
✅ STRING-TESTS.01
✅ STRING-TESTS.02
✅ STRING-TESTS.03
✅ STRING-TESTS.04
✅ STRING-TESTS.05
✅ STRING-TESTS.06
✅ STRING-TESTS.07
✅ STRING-TESTS.08
✅ STRING-TESTS.09
✅ STRING-TESTS.10
✅ STRING-TESTS.11
✅ STRING-TESTS.12
✅ STRING-TESTS.13
✅ STRING-TESTS.14
✅ STRING-TESTS.15
✅ STRING-TESTS.16
✅ STRING-TESTS.17
✅ STRING-TESTS.18
✅ STRING-TESTS.19
✅ STRING-TESTS.20
✅ STRING-TESTS.21
✅ STRUCTURE-TESTS.01
✅ SUBTRACTION-TEST.01
✅ SUBTRACTION-TEST.02
✅ SUBTRACTION-TEST.03
✅ SUBTRACTION-TEST.04
✅ SUBTRACTION-TEST.05
✅ SUBTRACTION-TEST.06
✅ SUBTRACTION-TEST.07
✅ SUBTRACTION-TEST.08
✅ SUBTRACTION-TEST.09
✅ SUBTRACTION-TEST.10
✅ UNIQUE-TEST.01
✅ UNIQUE-TEST.02
✅ UNIQUE-TEST.03
✅ UNIQUE-TEST.04
✅ UNIQUE-TEST.05
✅ UNIQUE-TEST.06
✅ UNIQUE-TEST.07
✅ UNIQUE-TEST.08
✅ UNIQUE-TEST.09
✅ UNIQUE-TEST.10
✅ UNIQUE-TEST.11
✅ UNIQUE-TEST.12
✅ UNIQUE-TEST.13
✅ UNIQUE-TEST.14
✅ XOR-TEST.01
✅ XOR-TEST.02
✅ XOR-TEST.03
✅ XOR-TEST.04
✅ XOR-TEST.05
✅ XOR-TEST.06
✅ XOR-TEST.07
✅ XOR-TEST.08
✅ XOR-TEST.09
✅ XOR-TEST.10
✅ XOR-TEST.11

✅ BASIC-EVALUATION---METTA-LANGUAGE1.01
✅ BASIC-EVALUATION---METTA-LANGUAGE1.02
✅ BASIC-EVALUATION---METTA-LANGUAGE10.01
✅ BASIC-EVALUATION---METTA-LANGUAGE10.02
✅ BASIC-EVALUATION---METTA-LANGUAGE11.01
❌ BASIC-EVALUATION---METTA-LANGUAGE11.02
	AssertionError: Test failed: Expected '((Bob is the brother of Sam) (Tom is the brother of Mike))' but got '((Tom is the brother of $_561256) (Bob is the brother of $_561214))'
✅ BASIC-EVALUATION---METTA-LANGUAGE12.01
✅ BASIC-EVALUATION---METTA-LANGUAGE13.01
✅ BASIC-EVALUATION---METTA-LANGUAGE14.01
✅ BASIC-EVALUATION---METTA-LANGUAGE14.02
✅ BASIC-EVALUATION---METTA-LANGUAGE14.03
✅ BASIC-EVALUATION---METTA-LANGUAGE15.01
✅ BASIC-EVALUATION---METTA-LANGUAGE15.02
✅ BASIC-EVALUATION---METTA-LANGUAGE15.03
✅ BASIC-EVALUATION---METTA-LANGUAGE15.04
✅ BASIC-EVALUATION---METTA-LANGUAGE15.05
✅ BASIC-EVALUATION---METTA-LANGUAGE15.06
✅ BASIC-EVALUATION---METTA-LANGUAGE2.01
✅ BASIC-EVALUATION---METTA-LANGUAGE2.02
✅ BASIC-EVALUATION---METTA-LANGUAGE3.01
✅ BASIC-EVALUATION---METTA-LANGUAGE3.02
❌ BASIC-EVALUATION---METTA-LANGUAGE4.01
	AssertionError: Test failed: Expected '((ok I will respond))' but got '(((ok I will respond)))'
✅ BASIC-EVALUATION---METTA-LANGUAGE6.01
✅ BASIC-EVALUATION---METTA-LANGUAGE6.02
✅ BASIC-EVALUATION---METTA-LANGUAGE6.03
✅ BASIC-EVALUATION---METTA-LANGUAGE7.01
✅ BASIC-EVALUATION---METTA-LANGUAGE8.01
✅ BASIC-EVALUATION---METTA-LANGUAGE9.01
✅ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE1.01
✅ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE1.02
✅ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE1.03
✅ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE1.04
✅ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE1.05
✅ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE2.01
✅ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE2.02
✅ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE3.01
❌ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE3.02
	AssertionError: Test failed: Expected '(BadType)' but got '(58)'
✅ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE4.01
✅ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE4.02
✅ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE4.03
❌ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE4.04
	AssertionError: Test failed: Expected '(False)' but got '((>= 4 17))'
✅ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE5.01
✅ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE5.02
❌ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE5.03
	AssertionError: Test failed: Expected '(True)' but got '((> 4 R))'
✅ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE6.01
✅ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE6.02
✅ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE6.03
✅ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE6.04
✅ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE7.01
✅ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE7.02
✅ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE8.01
✅ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE8.02
✅ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE8.03
✅ BASIC-GROUNDED-FUNCTIONS---METTA-LANGUAGE8.04
✅ CONCRETE-TYPES---METTA-LANGUAGE1.01
✅ CONCRETE-TYPES---METTA-LANGUAGE1.02
✅ CONCRETE-TYPES---METTA-LANGUAGE1.03
✅ CONCRETE-TYPES---METTA-LANGUAGE1.04
✅ CONCRETE-TYPES---METTA-LANGUAGE10.01
✅ CONCRETE-TYPES---METTA-LANGUAGE10.02
✅ CONCRETE-TYPES---METTA-LANGUAGE11.01
✅ CONCRETE-TYPES---METTA-LANGUAGE12.01
✅ CONCRETE-TYPES---METTA-LANGUAGE12.02
✅ CONCRETE-TYPES---METTA-LANGUAGE12.03
✅ CONCRETE-TYPES---METTA-LANGUAGE12.04
✅ CONCRETE-TYPES---METTA-LANGUAGE13.01
❌ CONCRETE-TYPES---METTA-LANGUAGE13.02
	AssertionError: Test failed: Expected '(Number)' but got '(())'
❌ CONCRETE-TYPES---METTA-LANGUAGE13.03
	AssertionError: Test failed: Expected '((+ 1 b))' but got '(((+ 1 b)))'
❌ CONCRETE-TYPES---METTA-LANGUAGE13.04
	AssertionError: Test failed: Expected '((+ 1 a))' but got '(((+ 1 a)))'
✅ CONCRETE-TYPES---METTA-LANGUAGE14.01
❌ CONCRETE-TYPES---METTA-LANGUAGE2.01
	AssertionError: Test failed: Expected '(A B)' but got '(())'
✅ CONCRETE-TYPES---METTA-LANGUAGE3.01
✅ CONCRETE-TYPES---METTA-LANGUAGE4.01
✅ CONCRETE-TYPES---METTA-LANGUAGE5.01
✅ CONCRETE-TYPES---METTA-LANGUAGE5.02
✅ CONCRETE-TYPES---METTA-LANGUAGE5.03
❌ CONCRETE-TYPES---METTA-LANGUAGE5.04
	AssertionError: Test failed: Expected '((B (-> A B)))' but got '(())'
✅ CONCRETE-TYPES---METTA-LANGUAGE5.05
❌ CONCRETE-TYPES---METTA-LANGUAGE6.01
	AssertionError: Test failed: Expected '(B)' but got '(())'
❌ CONCRETE-TYPES---METTA-LANGUAGE6.02
	AssertionError: Test failed: Expected '((%Undefined% A) %Undefined%)' but got '(())'
✅ CONCRETE-TYPES---METTA-LANGUAGE7.01
✅ CONCRETE-TYPES---METTA-LANGUAGE7.02
✅ CONCRETE-TYPES---METTA-LANGUAGE7.03
✅ CONCRETE-TYPES---METTA-LANGUAGE7.04
✅ CONCRETE-TYPES---METTA-LANGUAGE7.05
✅ CONCRETE-TYPES---METTA-LANGUAGE7.06
✅ CONCRETE-TYPES---METTA-LANGUAGE8.01
✅ CONCRETE-TYPES---METTA-LANGUAGE8.02
✅ CONCRETE-TYPES---METTA-LANGUAGE9.01
❌ CONCRETE-TYPES---METTA-LANGUAGE9.02
	AssertionError: Test failed: Expected '((C C))' but got '(())'
❌ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE1.01
	AssertionError: Test failed: Expected '("This is a string")' but got '(())'
❌ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE1.02
	AssertionError: Test failed: Expected '(($_79202 "string" 5))' but got '(())'
✅ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE10.01
❌ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE10.02
	AssertionError: Test failed: Expected '(Failed)' but got '(Bob)'
✅ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE2.01
✅ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE2.02
✅ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE2.03
✅ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE2.04
✅ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE2.05
✅ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE2.06
✅ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE2.07
✅ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE2.08
✅ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE2.09
✅ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE3.01
✅ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE3.02
✅ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE3.03
✅ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE3.04
✅ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE3.05
✅ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE3.06
✅ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE4.01
✅ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE4.02
✅ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE5.01
❌ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE5.02
	AssertionError: Test failed: Expected '()' but got '(Bob)'
✅ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE5.03
✅ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE5.04
✅ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE5.05
✅ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE5.06
✅ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE5.07
❌ CONSOLE-OUTPUT-AND-DEBUGGING---METTA-LANGUAGE5.08
	AssertionError: Test failed: Expected '((+ 1 2))' but got '(3)'
✅ CONTROL-FLOW---METTA-LANGUAGE10.01
✅ CONTROL-FLOW---METTA-LANGUAGE10.02
✅ CONTROL-FLOW---METTA-LANGUAGE10.03
✅ CONTROL-FLOW---METTA-LANGUAGE10.04
✅ CONTROL-FLOW---METTA-LANGUAGE11.01
✅ CONTROL-FLOW---METTA-LANGUAGE11.02
✅ CONTROL-FLOW---METTA-LANGUAGE11.03
✅ CONTROL-FLOW---METTA-LANGUAGE11.04
✅ CONTROL-FLOW---METTA-LANGUAGE12.01
✅ CONTROL-FLOW---METTA-LANGUAGE12.02
✅ CONTROL-FLOW---METTA-LANGUAGE13.01
✅ CONTROL-FLOW---METTA-LANGUAGE13.02
✅ CONTROL-FLOW---METTA-LANGUAGE14.01
❌ CONTROL-FLOW---METTA-LANGUAGE14.02
	AssertionError: Test failed: Expected '(35)' but got '()'
✅ CONTROL-FLOW---METTA-LANGUAGE15.01
✅ CONTROL-FLOW---METTA-LANGUAGE15.02
✅ CONTROL-FLOW---METTA-LANGUAGE15.03
✅ CONTROL-FLOW---METTA-LANGUAGE15.04
✅ CONTROL-FLOW---METTA-LANGUAGE15.05
✅ CONTROL-FLOW---METTA-LANGUAGE15.06
✅ CONTROL-FLOW---METTA-LANGUAGE16.01
✅ CONTROL-FLOW---METTA-LANGUAGE16.02
✅ CONTROL-FLOW---METTA-LANGUAGE16.03
✅ CONTROL-FLOW---METTA-LANGUAGE16.04
✅ CONTROL-FLOW---METTA-LANGUAGE16.05
✅ CONTROL-FLOW---METTA-LANGUAGE16.06
✅ CONTROL-FLOW---METTA-LANGUAGE16.07
✅ CONTROL-FLOW---METTA-LANGUAGE16.08
❌ CONTROL-FLOW---METTA-LANGUAGE2.01
	AssertionError: Test failed: Expected '(11)' but got '(-1)'
✅ CONTROL-FLOW---METTA-LANGUAGE2.02
✅ CONTROL-FLOW---METTA-LANGUAGE3.01
✅ CONTROL-FLOW---METTA-LANGUAGE3.02
✅ CONTROL-FLOW---METTA-LANGUAGE4.01
✅ CONTROL-FLOW---METTA-LANGUAGE5.01
✅ CONTROL-FLOW---METTA-LANGUAGE6.01
✅ CONTROL-FLOW---METTA-LANGUAGE7.01
✅ CONTROL-FLOW---METTA-LANGUAGE7.02
✅ CONTROL-FLOW---METTA-LANGUAGE8.01
✅ CONTROL-FLOW---METTA-LANGUAGE8.02
✅ CONTROL-FLOW---METTA-LANGUAGE9.01
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE1.01
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE1.02
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE10.01
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE10.02
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE10.03
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE10.04
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE10.05
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE10.06
❌ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE10.07
	AssertionError: Test failed: Expected '(((= 5 5) (= 8 5) (= 5 5) (= 3 5)))' but got '((= (age $_248550) (age Bob)))'
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE10.08
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE11.01
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE11.02
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE11.03
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE11.04
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE11.05
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE11.06
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE12.01
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE12.02
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE12.03
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE12.04
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE12.05
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE12.06
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE12.07
❌ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE12.08
	AssertionError: Test failed: Expected '((= 5 5) (= 8 5) (= 5 5) (= 3 5))' but got '((= (age $_267396) (age Bob)))'
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE12.09
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE12.10
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE12.11
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE12.12
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE12.13
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE12.14
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE12.15
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE12.16
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE2.01
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE3.01
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE4.01
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE4.02
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE4.03
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE4.04
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE5.01
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE5.02
❌ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE6.01
	AssertionError: Test failed: Expected '(Bool)' but got '(())'
❌ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE6.02
	AssertionError: Test failed: Expected '(Number)' but got '(())'
❌ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE6.03
	AssertionError: Test failed: Expected '((-> $_661208 $_661208 Atom))' but got '((-> Atom Atom %Undefined%))'
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE6.04
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE7.01
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE8.01
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE9.01
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE9.02
✅ CONTROLLING-PATTERN-MATCHING---METTA-LANGUAGE9.03
✅ FREE-VARIABLES-AND-NONDETERMINISM-AGAIN,-RECURSIVELY---METTA-LANGUAGE1.01
❌ FREE-VARIABLES-AND-NONDETERMINISM-AGAIN,-RECURSIVELY---METTA-LANGUAGE1.02
	AssertionError: Test failed: Expected '((Fritz is Frog) (Sam is-not Frog))' but got '((Fritz is Frog))'
✅ FREE-VARIABLES-AND-NONDETERMINISM-AGAIN,-RECURSIVELY---METTA-LANGUAGE1.03
✅ FREE-VARIABLES-AND-NONDETERMINISM-AGAIN,-RECURSIVELY---METTA-LANGUAGE1.04
✅ FREE-VARIABLES-AND-NONDETERMINISM-AGAIN,-RECURSIVELY---METTA-LANGUAGE3.01
✅ FREE-VARIABLES-AND-NONDETERMINISM-AGAIN,-RECURSIVELY---METTA-LANGUAGE3.02
✅ FREE-VARIABLES-AND-NONDETERMINISM-AGAIN,-RECURSIVELY---METTA-LANGUAGE4.01
✅ FREE-VARIABLES-AND-NONDETERMINISM-AGAIN-RECURSIVELY---METTA-LANGUAGE5.01
✅ FREE-VARIABLES-AND-NONDETERMINISM-AGAIN-RECURSIVELY---METTA-LANGUAGE5.02
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE1.01
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE1.02
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE1.03
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE1.04
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE1.05
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE1.06
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE2.01
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE2.02
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE2.03
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE2.04
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE2.05
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE2.06
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE3.01
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE3.02
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE3.03
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE3.04
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE4.01
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE4.02
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE4.03
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE4.04
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE5.01
❌ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE5.02
	AssertionError: Test failed: Expected '((Tom Bob))' but got '()'
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE6.01
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE6.02
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE7.01
❌ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE7.02
	AssertionError: Test failed: Expected '((Tom Bob))' but got '()'
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE7.03
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE7.04
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE7.05
✅ FUNCTIONS-AND-UNIFICATION---METTA-LANGUAGE7.06
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE1.01
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE1.02
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE1.03
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE1.04
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE2.01
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE3.01
❌ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE3.02
	AssertionError: Test failed: Expected '((ikb) yellow green)' but got '(green yellow international-klein-blue)'
❌ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE4.01
	AssertionError: Test failed: Expected '(empty)' but got '()'
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE4.02
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE5.01
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE5.02
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE5.03
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE5.04
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE6.01
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE6.02
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE6.03
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE6.04
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE7.01
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE7.02
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE7.03
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE7.04
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE8.01
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE8.02
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE8.03
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE8.04
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE8.05
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE8.06
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE8.07
✅ HANDLING-NONDETERMINISTIC-RESULTS---METTA-LANGUAGE8.08
✅ METATYPES---METTA-LANGUAGE1.01
✅ METATYPES---METTA-LANGUAGE1.02
✅ METATYPES---METTA-LANGUAGE1.03
✅ METATYPES---METTA-LANGUAGE1.04
✅ METATYPES---METTA-LANGUAGE1.05
❌ METATYPES---METTA-LANGUAGE1.06
	AssertionError: Test failed: Expected '(Expression)' but got '(Grounded)'
✅ METATYPES---METTA-LANGUAGE1.07
✅ METATYPES---METTA-LANGUAGE1.08
✅ METATYPES---METTA-LANGUAGE1.09
✅ METATYPES---METTA-LANGUAGE1.10
✅ METATYPES---METTA-LANGUAGE1.11
✅ METATYPES---METTA-LANGUAGE1.12
✅ METATYPES---METTA-LANGUAGE2.01
✅ METATYPES---METTA-LANGUAGE2.02
✅ METATYPES---METTA-LANGUAGE2.03
❌ METATYPES---METTA-LANGUAGE2.04
	AssertionError: Test failed: Expected '(Symbol)' but got '(Grounded)'
✅ METATYPES---METTA-LANGUAGE2.05
❌ METATYPES---METTA-LANGUAGE2.06
	AssertionError: Test failed: Expected '(ErrorType)' but got '(())'
✅ METATYPES---METTA-LANGUAGE2.07
✅ METATYPES---METTA-LANGUAGE2.08
✅ METATYPES---METTA-LANGUAGE3.01
✅ METATYPES---METTA-LANGUAGE4.01
✅ METATYPES---METTA-LANGUAGE4.02
✅ METATYPES---METTA-LANGUAGE6.01
❌ METATYPES---METTA-LANGUAGE6.02
	AssertionError: Test failed: Expected '(-7)' but got '((swap-arguments-atom 7))'
✅ METATYPES---METTA-LANGUAGE7.01
✅ METATYPES---METTA-LANGUAGE7.02
✅ METATYPES---METTA-LANGUAGE7.03
❌ METATYPES---METTA-LANGUAGE7.04
	AssertionError: Test failed: Expected '((atom-eq 3 (+ 1 2)))' but got '(True)'
✅ METATYPES---METTA-LANGUAGE8.01
✅ METATYPES---METTA-LANGUAGE8.02
✅ METATYPES---METTA-LANGUAGE8.03
❌ METATYPES---METTA-LANGUAGE8.04
	AssertionError: Test failed: Expected '((atom-eq 3 (+ 1 2)))' but got '(True)'
✅ METATYPES---METTA-LANGUAGE9.01
✅ METATYPES---METTA-LANGUAGE9.02
✅ NESTED-QUERIES-AND-RECURSIVE-GRAPH-TRAVERSAL---METTA-LANGUAGE2.01
✅ NESTED-QUERIES-AND-RECURSIVE-GRAPH-TRAVERSAL---METTA-LANGUAGE2.02
✅ NESTED-QUERIES-AND-RECURSIVE-GRAPH-TRAVERSAL---METTA-LANGUAGE3.01
✅ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE1.01
❌ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE1.02
	AssertionError: Test failed: Expected '((-> Expression %Undefined%))' but got '((-> Expression Atom))'
✅ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE1.03
✅ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE1.04
✅ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE1.05
✅ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE2.01
❌ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE2.02
	AssertionError: Test failed: Expected '((-> Expression %Undefined%))' but got '((-> Expression Expression))'
✅ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE2.03
✅ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE2.04
✅ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE2.05
✅ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE3.01
✅ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE3.02
✅ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE3.03
✅ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE3.04
✅ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE4.01
✅ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE4.02
✅ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE5.01
✅ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE5.02
✅ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE6.01
✅ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE6.02
✅ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE7.01
✅ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE7.02
✅ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE8.01
✅ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE8.02
✅ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE9.01
✅ OPERATIONS-OVER-ATOMS---METTA-LANGUAGE9.02
✅ QUERYING-SPACE-CONTENT---METTA-LANGUAGE2.01
✅ QUERYING-SPACE-CONTENT---METTA-LANGUAGE2.02
✅ QUERYING-SPACE-CONTENT---METTA-LANGUAGE2.03
✅ QUERYING-SPACE-CONTENT---METTA-LANGUAGE2.04
✅ QUERYING-SPACE-CONTENT---METTA-LANGUAGE4.01
✅ QUERYING-SPACE-CONTENT---METTA-LANGUAGE4.02
✅ QUERYING-SPACE-CONTENT---METTA-LANGUAGE5.01
✅ QUERYING-SPACE-CONTENT---METTA-LANGUAGE5.02
✅ QUERYING-SPACE-CONTENT---METTA-LANGUAGE5.03
❌ QUERYING-SPACE-CONTENT---METTA-LANGUAGE5.04
	AssertionError: Test failed: Expected '((Bob Pat) (Bob Ann) (Pat Pat) (Pam Bob) (Tom Bob) (Tom Liz))' but got '((Bob Ann) (Pam (Parent Bob Pat)) (Tom Bob) (Pam Bob) (Tom Liz) (Bob Pat) (Pat Pat))'
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE1.01
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE2.01
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE2.02
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE2.03
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE2.04
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE2.05
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE2.06
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE3.01
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE3.02
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE3.03
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE3.04
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE3.05
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE3.06
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE4.01
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE4.02
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE5.01
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE5.02
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE6.01
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE6.02
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE6.03
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE6.04
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE7.01
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE7.02
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE7.03
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE7.04
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE8.01
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE8.02
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE8.03
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE8.04
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE9.01
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE9.02
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE9.03
✅ RECURSION-AND-CONTROL---METTA-LANGUAGE9.04
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE1.01
❌ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE1.02
	AssertionError: Test failed: Expected '(this is "one")' but got '((S Z))'
❌ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE1.03
	AssertionError: Test failed: Expected '(this is "two")' but got '((S (S Z)))'
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE1.04
❌ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE1.05
	AssertionError: Test failed: Expected '(not Nat)' but got '(())'
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE2.01
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE2.02
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE2.03
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE2.04
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE3.01
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE3.02
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE3.03
❌ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE3.04
	AssertionError: Test failed: Expected '(BadType)' but got '((ConsNum 1 (ConsNum "S" NilNum)))'
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE4.01
❌ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE4.02
	AssertionError: Test failed: Expected '((Error "S" BadType))' but got '(False)'
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE5.01
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE5.02
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE5.03
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE5.04
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE5.05
❌ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE5.06
	AssertionError: Test failed: Expected '(Bool)' but got '(BadType)'
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE5.07
❌ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE5.08
	AssertionError: Test failed: Expected '(BadType)' but got '(False)'
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE6.01
❌ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE6.02
	AssertionError: Test failed: Expected '(Bool)' but got '(())'
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE6.03
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE7.01
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE7.02
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE7.03
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE7.04
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE7.05
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE7.06
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE7.07
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE7.08
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE8.01
❌ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE8.02
	AssertionError: Test failed: Expected '((List Number))' but got '(BadType)'
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE9.01
✅ RECURSIVE-AND-PARAMETRIC-TYPES---METTA-LANGUAGE9.02
✅ WORKING-WITH-SPACES---METTA-LANGUAGE1.01
✅ WORKING-WITH-SPACES---METTA-LANGUAGE1.02
✅ WORKING-WITH-SPACES---METTA-LANGUAGE1.03
✅ WORKING-WITH-SPACES---METTA-LANGUAGE1.04
✅ WORKING-WITH-SPACES---METTA-LANGUAGE1.05
✅ WORKING-WITH-SPACES---METTA-LANGUAGE1.06
✅ WORKING-WITH-SPACES---METTA-LANGUAGE1.07
❌ WORKING-WITH-SPACES---METTA-LANGUAGE1.08
	AssertionError: Test failed: Expected '(3 7)' but got '((foo))'
✅ WORKING-WITH-SPACES---METTA-LANGUAGE1.09
❌ WORKING-WITH-SPACES---METTA-LANGUAGE1.10
	AssertionError: Test failed: Expected '((quote (+ 1 2)) (quote (+ 3 4)))' but got '((quote 3) (quote 7))'
✅ WORKING-WITH-SPACES---METTA-LANGUAGE10.01
✅ WORKING-WITH-SPACES---METTA-LANGUAGE10.02
❌ WORKING-WITH-SPACES---METTA-LANGUAGE10.03
	AssertionError: Test failed: Expected '((foo1 (foo2 3) 45 (A (v))))' but got '((&x))'
✅ WORKING-WITH-SPACES---METTA-LANGUAGE11.01
❌ WORKING-WITH-SPACES---METTA-LANGUAGE11.02
	AssertionError: Test failed: Expected '("test")' but got '(())'
❌ WORKING-WITH-SPACES---METTA-LANGUAGE11.03
	AssertionError: Test failed: Expected '()' but got '((&res))'
❌ WORKING-WITH-SPACES---METTA-LANGUAGE11.04
	AssertionError: Test failed: Expected '()' but got '((&res))'
✅ WORKING-WITH-SPACES---METTA-LANGUAGE12.01
✅ WORKING-WITH-SPACES---METTA-LANGUAGE12.02
✅ WORKING-WITH-SPACES---METTA-LANGUAGE12.03
✅ WORKING-WITH-SPACES---METTA-LANGUAGE12.04
✅ WORKING-WITH-SPACES---METTA-LANGUAGE12.05
✅ WORKING-WITH-SPACES---METTA-LANGUAGE12.06
✅ WORKING-WITH-SPACES---METTA-LANGUAGE12.07
✅ WORKING-WITH-SPACES---METTA-LANGUAGE13.01
❌ WORKING-WITH-SPACES---METTA-LANGUAGE13.02
	AssertionError: Test failed: Expected '(GroundingSpace-top:stdlib GroundingSpace-top:corelib)' but got '(&corelib &stdlib (Female Pam) (Male Tom) (Male Bob) (Female Liz) (Female Pat) (Female Ann) (Male Jim) (Parent Tom Bob) (Parent Pam Bob) (Parent Tom Liz) (Parent Bob Ann) (Parent Bob Pat) (Parent Pat Jim) (= (get-sister $_92924) (match &people (, (Parent $_92972 $_92924) (Parent $_92972 $_93002) (Female $_93002)) $_93002)))'
✅ WORKING-WITH-SPACES---METTA-LANGUAGE16.01
❌ WORKING-WITH-SPACES---METTA-LANGUAGE16.02
	AssertionError: Test failed: Expected '((quote (= (if True $_75756 $_75778) $_75756)) (quote (= (if False $_75756 $_75778) $_75778)))' but got '()'
✅ WORKING-WITH-SPACES---METTA-LANGUAGE17.01
❌ WORKING-WITH-SPACES---METTA-LANGUAGE17.02
	AssertionError: Test failed: Expected '((quote (= (if False $_87984 $_88006) $_88006)) (quote (= (if True $_87984 $_88006) $_87984)))' but got '()'
❌ WORKING-WITH-SPACES---METTA-LANGUAGE2.01
	AssertionError: Test failed: Expected '(())' but got '((add-reduct &self (= (foo) (+ 3 4))))'
✅ WORKING-WITH-SPACES---METTA-LANGUAGE2.02
✅ WORKING-WITH-SPACES---METTA-LANGUAGE2.03
❌ WORKING-WITH-SPACES---METTA-LANGUAGE2.04
	AssertionError: Test failed: Expected '(7)' but got '((foo))'
✅ WORKING-WITH-SPACES---METTA-LANGUAGE2.05
❌ WORKING-WITH-SPACES---METTA-LANGUAGE2.06
	AssertionError: Test failed: Expected '((quote 7))' but got '()'
✅ WORKING-WITH-SPACES---METTA-LANGUAGE3.01
✅ WORKING-WITH-SPACES---METTA-LANGUAGE3.02
✅ WORKING-WITH-SPACES---METTA-LANGUAGE3.03
✅ WORKING-WITH-SPACES---METTA-LANGUAGE3.04
✅ WORKING-WITH-SPACES---METTA-LANGUAGE3.05
✅ WORKING-WITH-SPACES---METTA-LANGUAGE3.06
✅ WORKING-WITH-SPACES---METTA-LANGUAGE3.07
✅ WORKING-WITH-SPACES---METTA-LANGUAGE3.08
✅ WORKING-WITH-SPACES---METTA-LANGUAGE4.01
✅ WORKING-WITH-SPACES---METTA-LANGUAGE4.02
✅ WORKING-WITH-SPACES---METTA-LANGUAGE4.03
❌ WORKING-WITH-SPACES---METTA-LANGUAGE4.04
	AssertionError: Test failed: Expected '((link A C) (link C B) (link B A) (link C E))' but got '((link B C) (link C A) (link C E) (link B A))'
✅ WORKING-WITH-SPACES---METTA-LANGUAGE5.01
✅ WORKING-WITH-SPACES---METTA-LANGUAGE5.02
✅ WORKING-WITH-SPACES---METTA-LANGUAGE6.01
✅ WORKING-WITH-SPACES---METTA-LANGUAGE6.02
✅ WORKING-WITH-SPACES---METTA-LANGUAGE6.03
✅ WORKING-WITH-SPACES---METTA-LANGUAGE6.04
✅ WORKING-WITH-SPACES---METTA-LANGUAGE7.01
❌ WORKING-WITH-SPACES---METTA-LANGUAGE7.02
	AssertionError: Test failed: Expected '((Bob Ann))' but got '()'
✅ WORKING-WITH-SPACES---METTA-LANGUAGE8.01
❌ WORKING-WITH-SPACES---METTA-LANGUAGE8.02
	AssertionError: Test failed: Expected '(())' but got '((add-reduct &self (= (get-space) (new-space))))'
✅ WORKING-WITH-SPACES---METTA-LANGUAGE8.03
✅ WORKING-WITH-SPACES---METTA-LANGUAGE8.04
✅ WORKING-WITH-SPACES---METTA-LANGUAGE8.05
❌ WORKING-WITH-SPACES---METTA-LANGUAGE8.06
	AssertionError: Test failed: Expected '(GroundingSpace-addr)' but got '((get-space))'
✅ WORKING-WITH-SPACES---METTA-LANGUAGE8.07
✅ WORKING-WITH-SPACES---METTA-LANGUAGE9.01
✅ WORKING-WITH-SPACES---METTA-LANGUAGE9.02
✅ WORKING-WITH-SPACES---METTA-LANGUAGE9.03
✅ WORKING-WITH-SPACES---METTA-LANGUAGE9.04
❌ WORKING-WITH-SPACES---METTA-LANGUAGE9.05
	AssertionError: Test failed: Expected '((Hello world))' but got '((&hello))'
❌ WORKING-WITH-SPACES---METTA-LANGUAGE9.06
	AssertionError: Test failed: Expected '(&hello)' but got '((Hello world))'

✅ ADD-ATOM-MATCH.01
✅ AND-OR.01
✅ COLLAPSE.01
✅ FACTORIAL.01
✅ FACTORIAL.02
✅ HYPERPOSE.01
✅ HYPERPOSE.02
✅ HYPERPOSE.03
✅ HYPERPOSE.04
✅ HYPERPOSE.05
✅ HYPERPOSE.06
✅ HYPERPOSE.07
✅ HYPERPOSE.08
✅ HYPERPOSE.09
✅ HYPERPOSE.10
✅ IDENTITY.01
✅ IF.01
✅ LET-SUPERPOSE-IF-CASE.01
✅ LET-SUPERPOSE-IF-CASE.02
✅ LET-SUPERPOSE-LIST.01
✅ LET-SUPERPOSE-LIST.02
✅ LETLET.01
✅ MATCH-FEVAL.01
✅ MATCH-SUPERPOSED-SPACES.01
✅ MATCH-SUPERPOSED-SPACES.02
✅ MATCH-SUPERPOSED-SPACES.03
✅ MATCH-SUPERPOSED-SPACES.04
✅ MATCH-SUPERPOSED-SPACES.05
✅ MATCH-VOID.01
✅ MATCH-VOID.02
✅ MATCH-VOID.03
✅ MATCH-VOID.04
✅ MATCH-VOID.05
✅ MATCH-VOID.06
✅ MATCH-VOID.07
✅ MATCH-VOID.08
✅ MATCH-VOID.09
✅ MATCH-VOID.10
✅ MATCH-VOID.11
✅ MINNARS.01
✅ MULTIFUNCTION.01
✅ NALIFIER.01
✅ NESTED-PARAMETERS.01
✅ PEANO.01
✅ SEQUENTIAL-NESTED.01
✅ SEQUENTIAL-NESTED.02
✅ SEQUENTIAL-NESTED.03
✅ SEQUENTIAL-NESTED.04
✅ SEQUENTIAL-NESTED.05
✅ SEQUENTIAL-NESTED.06
✅ SEQUENTIAL-NESTED.07
✅ SEQUENTIAL-NESTED.08
✅ SEQUENTIAL-NESTED.09
✅ SEQUENTIAL-NESTED.10
✅ SEQUENTIAL-NESTED.11
✅ SEQUENTIAL-NESTED.12
✅ STATES-SPACES.01
✅ STATES-SPACES.02
✅ STATES-SPACES.03
✅ STATES-SPACES.04
✅ STATES-SPACES.05
✅ STATES-SPACES.06
✅ SUPERCOLLAPSE.01
✅ SUPERCOLLAPSE.02
✅ SUPERCOLLAPSE.03
✅ SUPERCOLLAPSE.04
✅ SUPERCOLLAPSE.05
✅ SUPERCOLLAPSE.06
✅ SUPERCOLLAPSE.07
✅ SUPERCOLLAPSE.08
✅ SUPERPOSE-NESTED.01
✅ SUPERPOSE-NESTED.02
✅ SUPERPOSE-NESTED.03
✅ SUPERPOSE-NESTED.04
✅ TESTS0.01
✅ TESTS0.02
✅ TESTS0.03
✅ TESTS0.04
✅ TESTS0.05
✅ TESTS0.06
✅ TESTS0.07
✅ TYPES.01
✅ TYPES2.01
✅ TYPES2.02
✅ TYPES2.03
✅ TYPES2.04
✅ TYPES2.05
✅ TYPES3.01
✅ ZEROARGS.01
✅ ZEROARGS.02

✅ TEST-SPO-100.01
✅ TEST-SPO-1000.01
✅ TEST-SPO-116378.01
✅ TEST-SPO-5000.01

✅ F1-IMPORTS.01
✅ F1-IMPORTS.02
✅ F1-MODULEA.03
❌ F1-IMPORTS.04
	AssertionError: Test failed: Expected '(True)' but got '()'
✅ F1-IMPORTS.05
✅ F1-MODULEA.06
✅ F1-MODULEA.07
✅ F1-IMPORTS.08
✅ F1-IMPORTS.09
✅ F1-IMPORTS.10
✅ F1-IMPORTS.11
✅ F1-IMPORTS.12
✅ F1-IMPORTS.13
✅ F1-IMPORTS.14
✅ F1-IMPORTS.15
✅ F1-IMPORTS.16
✅ F1-IMPORTS.17
✅ F1-MODULEA.01
✅ C2-SPACES.01
✅ C2-SPACES.02
✅ C2-SPACES.03
✅ C2-SPACES.04
✅ C2-SPACES.05

✅ C1-GROUNDED-BASIC.01
✅ C1-GROUNDED-BASIC.02
✅ C1-GROUNDED-BASIC.03
✅ C1-GROUNDED-BASIC.04
✅ C1-GROUNDED-BASIC.05
✅ C1-GROUNDED-BASIC.06
✅ C1-GROUNDED-BASIC.07
✅ C1-GROUNDED-BASIC.08
✅ C1-GROUNDED-BASIC.09
✅ C1-GROUNDED-BASIC.10
✅ C1-GROUNDED-BASIC.11
✅ C1-GROUNDED-BASIC.12
✅ C1-GROUNDED-BASIC.13
❌ C1-GROUNDED-BASIC.14
	AssertionError: Test failed: Expected '((Error "String" BadType))' but got '((+ 2 "String"))'
❌ C1-GROUNDED-BASIC.15
	AssertionError: Test failed: Expected '((Error ln BadType))' but got '(False)'
✅ C1-GROUNDED-BASIC.16
✅ C1-GROUNDED-BASIC.17
✅ C1-GROUNDED-BASIC.18
✅ C1-GROUNDED-BASIC.19
✅ C1-GROUNDED-BASIC.20
✅ C1-GROUNDED-BASIC.21
✅ C1-GROUNDED-BASIC.22
✅ C1-GROUNDED-BASIC.23
✅ D1-GADT.01
✅ D1-GADT.02
✅ D1-GADT.03
✅ D1-GADT.04
✅ D1-GADT.05
✅ D1-GADT.06
✅ D1-GADT.07
✅ D1-GADT.08
✅ D1-GADT.09
✅ D1-GADT.10
✅ D1-GADT.11
✅ D1-GADT.12
✅ D1-GADT.13
✅ D1-GADT.14
✅ D2-HIGHERFUNC.01
✅ D2-HIGHERFUNC.02
✅ D2-HIGHERFUNC.03
✅ D2-HIGHERFUNC.04
✅ D2-HIGHERFUNC.05
✅ D2-HIGHERFUNC.06
❌ D2-HIGHERFUNC.07
	AssertionError: Test failed: Expected '()' but got '(Number)'
✅ D2-HIGHERFUNC.08
✅ D2-HIGHERFUNC.09
✅ D2-HIGHERFUNC.10
✅ D2-HIGHERFUNC.11
✅ D2-HIGHERFUNC.12
✅ D2-HIGHERFUNC.13
✅ D2-HIGHERFUNC.14
✅ D2-HIGHERFUNC.15
✅ D2-HIGHERFUNC.16
✅ D2-HIGHERFUNC.17
✅ D2-HIGHERFUNC.18
✅ D2-HIGHERFUNC.19
✅ D2-HIGHERFUNC.20
✅ D2-HIGHERFUNC.21
✅ D2-HIGHERFUNC.22
✅ D2-HIGHERFUNC.23
✅ D2-HIGHERFUNC.24
✅ D2-HIGHERFUNC.25
✅ D2-HIGHERFUNC.26
✅ D2-HIGHERFUNC.27
✅ D4-TYPE-PROP.01
✅ D4-TYPE-PROP.02
✅ D4-TYPE-PROP.03
✅ D4-TYPE-PROP.04
✅ D4-TYPE-PROP.05
✅ D4-TYPE-PROP.06
✅ D4-TYPE-PROP.07
✅ D4-TYPE-PROP.08
✅ D4-TYPE-PROP.09
✅ D4-TYPE-PROP.10
✅ D4-TYPE-PROP.11
✅ D4-TYPE-PROP.12
✅ D4-TYPE-PROP.13
✅ D4-TYPE-PROP.14
✅ D4-TYPE-PROP.15
✅ D4-TYPE-PROP.16
✅ D4-TYPE-PROP.17
✅ D4-TYPE-PROP.18
✅ D4-TYPE-PROP.19
✅ F1-IMPORTS.01
✅ F1-IMPORTS.02
✅ F1-IMPORTS.03
✅ F1-MODULEA.04
✅ F1-MODULEA.05
✅ F1-IMPORTS.06
✅ F1-MODULEA.07
✅ F1-MODULEA.08
✅ F1-MODULEA.09
✅ F1-MODULEA.10
✅ F1-IMPORTS.11
✅ F1-IMPORTS.12
❌ F1-IMPORTS.13
	AssertionError: Test failed: Expected '((: __g (-> Number)))' but got '(&m)'
✅ F1-IMPORTS.14
✅ F1-IMPORTS.15
✅ F1-IMPORTS.16
✅ F1-IMPORTS.17
✅ F1-IMPORTS.18
✅ F1-IMPORTS.19
✅ F1-IMPORTS.20
✅ F1-IMPORTS.21
✅ F1-MODULEA.01
✅ F1-MODULEA.02

✅ SYNTHESIZE.01
✅ TIME-SYNTHESIZE-SHORT.01
✅ TIME-SYNTHESIZE-SHORT.02
✅ TIME-SYNTHESIZE-SHORT.03

✅ module-system.f1_imports
✅ module-system.f1_moduleA
✅ anti-regression.bc_comp
✅ anti-regression.bchain
✅ anti-regression.bchain_comp
✅ anti-regression.comma_is_not_special
✅ anti-regression.debug_mettalogTestCurried
✅ metta-wam-issue-116.test_spo_100
✅ metta-wam-issue-116.test_spo_1000
✅ metta-wam-issue-116.test_spo_116378
✅ metta-wam-issue-116.test_spo_5000
❌ anti-regression.mettalogTestCurried
	AssertionError: Test failed: Expected '7' but got '143'
✅ anti-regression.mettalogTestCurried2
✅ anti-regression.system_proofTestCurried
✅ anti-regression.test_if_closed
✅ anti-regression.tmpMatch1
✅ anti-regression.tmpMatch2
✅ hyperon-experimental_scripts.a1_symbols
✅ hyperon-experimental_scripts.a2_opencoggy
✅ hyperon-experimental_scripts.a3_twoside
✅ hyperon-experimental_scripts.b0_chaining_prelim
✅ hyperon-experimental_scripts.b1_equal_chain
✅ hyperon-experimental_scripts.b2_backchain
✅ hyperon-experimental_scripts.b3_direct
✅ hyperon-experimental_scripts.b4_nondeterm
✅ hyperon-experimental_scripts.b5_types_prelim
✅ hyperon-experimental_scripts.c1_grounded_basic
✅ hyperon-experimental_scripts.c2_spaces
✅ hyperon-experimental_scripts.c3_pln_stv
✅ hyperon-experimental_scripts.d1_gadt
✅ hyperon-experimental_scripts.d2_higherfunc
✅ hyperon-experimental_scripts.d3_deptypes
✅ hyperon-experimental_scripts.d4_type_prop
✅ hyperon-experimental_scripts.d5_auto_types
✅ hyperon-experimental_scripts.e1_kb_write
✅ hyperon-experimental_scripts.e2_states
✅ hyperon-experimental_scripts.e3_match_states
✅ hyperon-experimental_scripts.f1_imports
✅ hyperon-experimental_scripts.f1_moduleA
✅ hyperon-experimental_scripts.g1_docs
✅ hyperon-mettalog_sanity.00_lang_case
✅ hyperon-mettalog_sanity.01_lang_inc
✅ hyperon-mettalog_sanity.02-curried-plus
✅ hyperon-mettalog_sanity.03-soring-via-insert
✅ hyperon-mettalog_sanity.06_match_in_space
✅ hyperon-mettalog_sanity.base_test_repr_parse_intersection
✅ hyperon-mettalog_sanity.catch_throw_tests
✅ hyperon-mettalog_sanity.find_all_tests
✅ hyperon-mettalog_sanity.first_answer
✅ hyperon-mettalog_sanity.first_answer_long
✅ hyperon-mettalog_sanity.flip_test
✅ hyperon-mettalog_sanity.functional_programming_tests
✅ hyperon-mettalog_sanity.intersection_tests
✅ hyperon-mettalog_sanity.is_space
✅ hyperon-mettalog_sanity.max_time_tests
✅ hyperon-mettalog_sanity.or_test
✅ hyperon-mettalog_sanity.represent_and_parse_tests
✅ hyperon-mettalog_sanity.sealed_test
✅ hyperon-mettalog_sanity.space_intersection_tests
✅ hyperon-mettalog_sanity.space_subtraction_tests
✅ hyperon-mettalog_sanity.string-tests
✅ hyperon-mettalog_sanity.structure-tests
✅ hyperon-mettalog_sanity.subtraction_test
✅ synth_buffer.synthesize
❌ synth_buffer.time_synthesize
	AssertionError: Test failed: Expected '7' but got '143'
❌ synth_buffer.time_synthesize_long
	AssertionError: Test failed: Expected '7' but got '143'
✅ synth_buffer.time_synthesize_short
✅ hyperon-mettalog_sanity.unique_test
✅ hyperon-mettalog_sanity.xor_test
✅ metta-morph_tests.add_atom_match
✅ metta-morph_tests.and_or
✅ metta-morph_tests.collapse
✅ metta-morph_tests.factorial
✅ metta-morph_tests.hyperpose
✅ metta-morph_tests.identity
✅ metta-morph_tests.if
✅ metta-morph_tests.let_superpose_if_case
✅ metta-morph_tests.let_superpose_list
✅ metta-morph_tests.letlet
✅ metta-morph_tests.match_feval
✅ metta-morph_tests.match_superposed_spaces
✅ metta-morph_tests.match_void
✅ metta-morph_tests.minnars
✅ metta-morph_tests.multifunction
✅ metta-morph_tests.nalifier
✅ metta-morph_tests.nested_parameters
✅ metta-morph_tests.peano
✅ metta-morph_tests.sequential_nested
✅ metta-morph_tests.states_spaces
✅ metta-morph_tests.supercollapse
✅ metta-morph_tests.superpose_nested
✅ metta-morph_tests.tests0
✅ metta-morph_tests.types
✅ metta-morph_tests.types2
✅ metta-morph_tests.types3
✅ metta-morph_tests.zeroargs
✅ metta_lang.Basic_evaluation___MeTTa_Language1
✅ metta_lang.Basic_evaluation___MeTTa_Language10
✅ metta_lang.Basic_evaluation___MeTTa_Language11
✅ metta_lang.Basic_evaluation___MeTTa_Language12
✅ metta_lang.Basic_evaluation___MeTTa_Language13
✅ metta_lang.Basic_evaluation___MeTTa_Language14
✅ metta_lang.Basic_evaluation___MeTTa_Language15
✅ metta_lang.Basic_evaluation___MeTTa_Language2
✅ metta_lang.Basic_evaluation___MeTTa_Language3
✅ metta_lang.Basic_evaluation___MeTTa_Language4
✅ metta_lang.Basic_evaluation___MeTTa_Language6
✅ metta_lang.Basic_evaluation___MeTTa_Language7
✅ metta_lang.Basic_evaluation___MeTTa_Language8
✅ metta_lang.Basic_evaluation___MeTTa_Language9
✅ metta_lang.Basic_grounded_functions___MeTTa_Language1
✅ metta_lang.Basic_grounded_functions___MeTTa_Language2
✅ metta_lang.Basic_grounded_functions___MeTTa_Language3
✅ metta_lang.Basic_grounded_functions___MeTTa_Language4
✅ metta_lang.Basic_grounded_functions___MeTTa_Language5
✅ metta_lang.Basic_grounded_functions___MeTTa_Language6
✅ metta_lang.Basic_grounded_functions___MeTTa_Language7
✅ metta_lang.Basic_grounded_functions___MeTTa_Language8
✅ metta_lang.Concrete_types___MeTTa_Language1
✅ metta_lang.Concrete_types___MeTTa_Language10
✅ metta_lang.Concrete_types___MeTTa_Language11
✅ metta_lang.Concrete_types___MeTTa_Language12
✅ metta_lang.Concrete_types___MeTTa_Language13
✅ metta_lang.Concrete_types___MeTTa_Language14
✅ metta_lang.Concrete_types___MeTTa_Language2
✅ metta_lang.Concrete_types___MeTTa_Language3
✅ metta_lang.Concrete_types___MeTTa_Language4
✅ metta_lang.Concrete_types___MeTTa_Language5
✅ metta_lang.Concrete_types___MeTTa_Language6
✅ metta_lang.Concrete_types___MeTTa_Language7
✅ metta_lang.Concrete_types___MeTTa_Language8
✅ metta_lang.Concrete_types___MeTTa_Language9
✅ metta_lang.Console_output_and_debugging___MeTTa_Language1
✅ metta_lang.Console_output_and_debugging___MeTTa_Language10
✅ metta_lang.Console_output_and_debugging___MeTTa_Language2
✅ metta_lang.Console_output_and_debugging___MeTTa_Language3
✅ metta_lang.Console_output_and_debugging___MeTTa_Language4
✅ metta_lang.Console_output_and_debugging___MeTTa_Language5
✅ metta_lang.Control_flow___MeTTa_Language10
✅ metta_lang.Control_flow___MeTTa_Language11
✅ metta_lang.Control_flow___MeTTa_Language12
✅ metta_lang.Control_flow___MeTTa_Language13
✅ metta_lang.Control_flow___MeTTa_Language14
✅ metta_lang.Control_flow___MeTTa_Language15
✅ metta_lang.Control_flow___MeTTa_Language16
✅ metta_lang.Control_flow___MeTTa_Language2
✅ metta_lang.Control_flow___MeTTa_Language3
✅ metta_lang.Control_flow___MeTTa_Language4
✅ metta_lang.Control_flow___MeTTa_Language5
✅ metta_lang.Control_flow___MeTTa_Language6
✅ metta_lang.Control_flow___MeTTa_Language7
✅ metta_lang.Control_flow___MeTTa_Language8
✅ metta_lang.Control_flow___MeTTa_Language9
✅ metta_lang.Controlling_pattern_matching___MeTTa_Language1
✅ metta_lang.Controlling_pattern_matching___MeTTa_Language10
✅ metta_lang.Controlling_pattern_matching___MeTTa_Language11
✅ metta_lang.Controlling_pattern_matching___MeTTa_Language12
✅ metta_lang.Controlling_pattern_matching___MeTTa_Language2
✅ metta_lang.Controlling_pattern_matching___MeTTa_Language3
✅ metta_lang.Controlling_pattern_matching___MeTTa_Language4
✅ metta_lang.Controlling_pattern_matching___MeTTa_Language5
✅ metta_lang.Controlling_pattern_matching___MeTTa_Language6
✅ metta_lang.Controlling_pattern_matching___MeTTa_Language7
✅ metta_lang.Controlling_pattern_matching___MeTTa_Language8
✅ metta_lang.Controlling_pattern_matching___MeTTa_Language9
✅ metta_lang.Free_variables_and_nondeterminism_again,_recursively___MeTTa_Language1
✅ metta_lang.Free_variables_and_nondeterminism_again,_recursively___MeTTa_Language3
✅ metta_lang.Free_variables_and_nondeterminism_again,_recursively___MeTTa_Language4
✅ metta_lang.Free_variables_and_nondeterminism_again_recursively___MeTTa_Language5
✅ metta_lang.Functions_and_unification___MeTTa_Language1
✅ metta_lang.Functions_and_unification___MeTTa_Language2
✅ metta_lang.Functions_and_unification___MeTTa_Language3
✅ metta_lang.Functions_and_unification___MeTTa_Language4
✅ metta_lang.Functions_and_unification___MeTTa_Language5
✅ metta_lang.Functions_and_unification___MeTTa_Language6
✅ metta_lang.Functions_and_unification___MeTTa_Language7
✅ metta_lang.Handling_nondeterministic_results___MeTTa_Language1
✅ metta_lang.Handling_nondeterministic_results___MeTTa_Language2
✅ metta_lang.Handling_nondeterministic_results___MeTTa_Language3
✅ metta_lang.Handling_nondeterministic_results___MeTTa_Language4
✅ metta_lang.Handling_nondeterministic_results___MeTTa_Language5
✅ metta_lang.Handling_nondeterministic_results___MeTTa_Language6
✅ metta_lang.Handling_nondeterministic_results___MeTTa_Language7
✅ metta_lang.Handling_nondeterministic_results___MeTTa_Language8
✅ metta_lang.Metatypes___MeTTa_Language1
✅ metta_lang.Metatypes___MeTTa_Language2
✅ metta_lang.Metatypes___MeTTa_Language3
✅ metta_lang.Metatypes___MeTTa_Language4
✅ metta_lang.Metatypes___MeTTa_Language6
✅ metta_lang.Metatypes___MeTTa_Language7
✅ metta_lang.Metatypes___MeTTa_Language8
✅ metta_lang.Metatypes___MeTTa_Language9
✅ metta_lang.Nested_queries_and_recursive_graph_traversal___MeTTa_Language2
❌ metta_lang.Nested_queries_and_recursive_graph_traversal___MeTTa_Language3
	AssertionError: Test failed: Expected '7' but got '143'
✅ metta_lang.Operations_over_atoms___MeTTa_Language1
✅ metta_lang.Operations_over_atoms___MeTTa_Language2
✅ metta_lang.Operations_over_atoms___MeTTa_Language3
✅ metta_lang.Operations_over_atoms___MeTTa_Language4
✅ metta_lang.Operations_over_atoms___MeTTa_Language5
✅ metta_lang.Operations_over_atoms___MeTTa_Language6
✅ metta_lang.Operations_over_atoms___MeTTa_Language7
✅ metta_lang.Operations_over_atoms___MeTTa_Language8
✅ metta_lang.Operations_over_atoms___MeTTa_Language9
✅ metta_lang.Querying_space_content___MeTTa_Language2
✅ metta_lang.Querying_space_content___MeTTa_Language4
✅ metta_lang.Querying_space_content___MeTTa_Language5
✅ metta_lang.Recursion_and_control___MeTTa_Language1
✅ metta_lang.Recursion_and_control___MeTTa_Language2
✅ metta_lang.Recursion_and_control___MeTTa_Language3
✅ metta_lang.Recursion_and_control___MeTTa_Language4
✅ metta_lang.Recursion_and_control___MeTTa_Language5
✅ metta_lang.Recursion_and_control___MeTTa_Language6
✅ metta_lang.Recursion_and_control___MeTTa_Language7
✅ metta_lang.Recursion_and_control___MeTTa_Language8
✅ metta_lang.Recursion_and_control___MeTTa_Language9
✅ metta_lang.Recursive_and_parametric_types___MeTTa_Language1
✅ metta_lang.Recursive_and_parametric_types___MeTTa_Language2
✅ metta_lang.Recursive_and_parametric_types___MeTTa_Language3
✅ metta_lang.Recursive_and_parametric_types___MeTTa_Language4
✅ metta_lang.Recursive_and_parametric_types___MeTTa_Language5
✅ metta_lang.Recursive_and_parametric_types___MeTTa_Language6
✅ metta_lang.Recursive_and_parametric_types___MeTTa_Language7
✅ metta_lang.Recursive_and_parametric_types___MeTTa_Language8
✅ metta_lang.Recursive_and_parametric_types___MeTTa_Language9
✅ metta_lang.Working_with_spaces___MeTTa_Language1
✅ metta_lang.Working_with_spaces___MeTTa_Language10
✅ metta_lang.Working_with_spaces___MeTTa_Language11
✅ metta_lang.Working_with_spaces___MeTTa_Language12
✅ metta_lang.Working_with_spaces___MeTTa_Language13
✅ metta_lang.Working_with_spaces___MeTTa_Language16
✅ metta_lang.Working_with_spaces___MeTTa_Language17
✅ metta_lang.Working_with_spaces___MeTTa_Language2
✅ metta_lang.Working_with_spaces___MeTTa_Language3
✅ metta_lang.Working_with_spaces___MeTTa_Language4
✅ metta_lang.Working_with_spaces___MeTTa_Language5
✅ metta_lang.Working_with_spaces___MeTTa_Language6
✅ metta_lang.Working_with_spaces___MeTTa_Language7
✅ metta_lang.Working_with_spaces___MeTTa_Language8
✅ metta_lang.Working_with_spaces___MeTTa_Language9
✅ module-system.c2_spaces
✅ quick.c1_grounded_basic
✅ quick.d1_gadt
✅ quick.d2_higherfunc
✅ quick.d4_type_prop
✅ quick.f1_imports
✅ quick.f1_moduleA
✅ baseline_compat.rust_01
✅ baseline_compat.rust_02