metta_data.

logicmoo · Dec 7, 2023 · 71b10cd · 71b10cd
1 parent 8028063
commit 71b10cd
Show file tree

Hide file tree

Showing 122 changed files with 4,062 additions and 2,037 deletions.
diff --git a/.bash_history b/.bash_history
@@ -1364,3 +1364,74 @@ git commit -am PASS_FAIL3
 git push logicmoo 
 git commit -am PASS_FAIL4
 git push logicmoo 
+git commit -am dir
+git push logicmoo 
+cls ; ./MeTTa examples/interp_00/metta-morph_tests/types3.metta
+cls ; ./MeTTa examples/baseline_compat/metta-morph_tests/zeroargs.metta
+cls
+ls
+cd ../..
+cd ..
+./MeTTa examples/flybase/sanity/load_all_of_flybase.metta 
+gzip flybase.metta.qlf 
+./MeTTa examples/flybase/sanity/load_all_of_flybase.metta 
+./MeTTa examples/flybase/sanity/load_all_of_flybase.metta --clean
+./MeTTa examples/flybase/sanity/load_all_of_flybase.metta
+./MeTTa examples/flybase/sanity/load_all_of_flybase.metta --clean
+./MeTTa --exec=rtrace examples/flybase/sanity/load_all_of_flybase.metta --clean
+./MeTTa --exec=rtrace examples/flybase/sanity/load_all_of_flybase.metta --fresh
+./MeTTa --clean --exec=rtrace examples/flybase/sanity/load_all_of_flybase.metta --fresh
+./scripts/test_in_metta.sh --clean --exec=rtrace examples/flybase/sanity/load_all_of_flybase.metta --fresh
+./scripts/test_in_metta.sh --clean --exec=rtrace examples/flybase/sanity/load_all_of_flybase.metta.html --fresh
+rm examples/flybase/sanity/load_all_of_flybase.metta.html
+rm examples/flybase/sanity/load_all_of_flybase.metta.answers 
+./scripts/test_in_metta.sh --clean --exec=rtrace examples/flybase/sanity/load_all_of_flybase.metta.html --fresh
+./scripts/test_in_metta.sh --clean --exec=rtrace examples/flybase/sanity/load_all_of_flybase.metta 
+./scripts/test_in_metta.sh --fresh --exec=rtrace examples/flybase/sanity/load_all_of_flybase.metta 
+cls
+./scripts/test_in_metta.sh --fresh --exec=rtrace examples/flybase/sanity/load_all_of_flybase.metta 
+./scripts/test_in_metta.sh --fresh --exec=rtrace examples/flybase/sanity/
+./scripts/test_in_metta.sh --fresh --exec=rtrace examples/extended_compat/
+find -name "alle*.metta"
+cd ..
+cd -
+ks -l prebuilt_metta/
+ls -l prebuilt_metta/
+find -name "alle*.metta"
+ls -l
+cd ,,/
+cd ..
+ls -l
+rm precomputed_files
+ln -s /opt/logicmoo_workspace/packs_sys/logicmoo_opencog/MeTTa/vspace-metta/data/ftp.flybase.org/releases/FB2023_04/precomputed_file
+ln -s /opt/logicmoo_workspace/packs_sys/logicmoo_opencog/MeTTa/vspace-metta/data/ftp.flybase.org/releases/FB2023_04/precomputed_files/ 
+ls
+rm precomputed_file
+ls prebuilt_metta/
+ls prebuilt_metta/ -l
+rm d2utmp3EFiGC.metta 
+cd ..
+ls
+cp flybase.metta.qlf.gz flybase_metta.qlf.gz 
+gunzip flybase_metta.qlf.gz 
+swipl -l flybase_metta.qlf 
+./MeTTa
+./MeTTa
+grep is_syspre metta_vspace -R
+grep is_syspre metta_vspace -R | grep s2p
+grep is_syspre metta_vspace -R | grep s2p
+./MeTTa --fresh --exec=rtrace examples/extended_compat/
+metta
+shutdown -r now
+uptime 
+cd /opt/logicmoo_workspace/packs_sys/logicmoo_opencog/MeTTa/vspace-metta/
+ls
+./MeTTa --clean examples/baseline_compat/
+./MeTTa --clean examples/baseline_compat/metta-morph_tests/types3.metta
+./MeTTa examples/baseline_compat/metta-morph_tests/types3.metta
+cp metta_vspace/pyswip metta_vspace/pyswip_touser
+cp metta_vspace/pyswip metta_vspace/pyswip_touser -a
+./MeTTa examples/baseline_compat/metta-morph_tests/types3.metta
+git checkout metta_vspace/pyswip/metta_eval.pl
+./MeTTa examples/baseline_compat/metta-morph_tests/types3.metta
+git status .
diff --git a/examples/.bash_history b/examples/.bash_history
@@ -576,3 +576,5 @@ rmdir */*/*
 rmdir */*/*/*
 find
 cd ,,
+touch simple_query2_llm.metta
+cd ../..
diff --git a/examples/extended_compat/nars/nars_v0/tests0.metta.answers b/examples/extended_compat/nars/nars_v0/tests0.metta.answers
@@ -8,7 +8,7 @@
 [()]
 [(Error (assertEqualToResult (|- ((A --> cat) (1.0 0.9)) ((B --> cat) (1.0 0.9))) (((B --> A) (1.0 0.44751381215469616)) (((A ~ B) --> cat) (0.0 0.81)) (((A | B) --> cat) (1.0 0.81)) ((B <-> A) (1.0 0.44751381215469616)) (((A & B) --> cat) (1.0 0.81)))) 
 Expected: [((B --> A) (1.0 0.44751381215469616)), (((A ~ B) --> cat) (0.0 0.81)), (((A | B) --> cat) (1.0 0.81)), ((B <-> A) (1.0 0.44751381215469616)), (((A & B) --> cat) (1.0 0.81))]
-Got: [((B <-> A) (1.0 0.44751381215469616)), ((B <-> A) (1.0 0.44751381215469616)), ((B --> A) (1.0 0.44751381215469616))]
+Got: [((B --> A) (1.0 0.44751381215469616)), ((B <-> A) (1.0 0.44751381215469616)), ((B <-> A) (1.0 0.44751381215469616))]
 Missed result: (((A ~ B) --> cat) (0.0 0.81)))]
-0.69user 0.02system 0:00.72elapsed 100%CPU (0avgtext+0avgdata 36300maxresident)k
-0inputs+0outputs (0major+4312minor)pagefaults 0swaps
+0.69user 0.01system 0:00.71elapsed 99%CPU (0avgtext+0avgdata 36692maxresident)k
+0inputs+0outputs (0major+4358minor)pagefaults 0swaps
diff --git a/examples/extended_compat/nars/nars_v0/tests1.metta.answers b/examples/extended_compat/nars/nars_v0/tests1.metta.answers
@@ -5,9 +5,9 @@
 [()]
 [()]
 [()]
-[(Error (assertEqual (TupleCount (get-atoms GroundingSpace-0x2df97b8)) 0) 
+[(Error (assertEqual (TupleCount (get-atoms GroundingSpace-0x559bf93e46c8)) 0) 
 Expected: [0]
-Got: [(Error (TupleCount (get-atoms GroundingSpace-0x2df97b8)) NoValidAlternatives)]
+Got: [(Error (TupleCount (get-atoms GroundingSpace-0x559bf93e46c8)) NoValidAlternatives)]
 Missed result: 0)]
-0.16user 0.02system 0:00.18elapsed 99%CPU (0avgtext+0avgdata 31968maxresident)k
-8inputs+0outputs (0major+4113minor)pagefaults 0swaps
+0.32user 0.00system 0:00.33elapsed 100%CPU (0avgtext+0avgdata 36420maxresident)k
+0inputs+0outputs (0major+4275minor)pagefaults 0swaps
diff --git a/examples/extended_compat/nars/nars_v0/tests2.metta.answers b/examples/extended_compat/nars/nars_v0/tests2.metta.answers
@@ -55,6 +55,6 @@
 []
 []
 []
-[(Error (match &attentional_focus (Concept ((ballleft &/ (^ $Op)) =/> ballhit) $Belief#292943 $BeliefEvent#292944 $CPrio#292945) $Belief#292943) match expects a space as the first argument), (Error (match &concepts (Concept ((ballleft &/ (^ $Op)) =/> ballhit) $Belief#292943 $BeliefEvent#292944 $CPrio#292945) $Belief#292943) match expects a space as the first argument)]
-15.37user 0.04system 0:15.41elapsed 99%CPU (0avgtext+0avgdata 38168maxresident)k
-0inputs+0outputs (0major+4635minor)pagefaults 0swaps
+[(Error (match &attentional_focus (Concept ((ballleft &/ (^ $Op)) =/> ballhit) $Belief#292950 $BeliefEvent#292951 $CPrio#292952) $Belief#292950) match expects a space as the first argument), (Error (match &concepts (Concept ((ballleft &/ (^ $Op)) =/> ballhit) $Belief#292950 $BeliefEvent#292951 $CPrio#292952) $Belief#292950) match expects a space as the first argument)]
+16.51user 0.02system 0:16.54elapsed 99%CPU (0avgtext+0avgdata 38456maxresident)k
+0inputs+0outputs (0major+4720minor)pagefaults 0swaps
diff --git a/examples/extended_compat/nars/nars_v0/tests3.metta.answers b/examples/extended_compat/nars/nars_v0/tests3.metta.answers
@@ -21,5 +21,5 @@
 Expected: [None]
 Got: [(BestDecision (Error (Error (Error (Error (Error (get-state &currentTime) get-state expects single state atom as an argument) get-state expects single state atom as an argument) get-state expects single state atom as an argument) get-state expects single state atom as an argument) get-state expects single state atom as an argument) (Error (Error (Error (Error (Error (get-state &tempbest) get-state expects single state atom as an argument) get-state expects single state atom as an argument) get-state expects single state atom as an argument) get-state expects single state atom as an argument) get-state expects single state atom as an argument) (Error (Error (Error (get-state &FIFO) get-state expects single state atom as an argument) get-state expects single state atom as an argument) get-state expects single state atom as an argument))]
 Missed result: None)]
-5.05user 0.02system 0:05.07elapsed 100%CPU (0avgtext+0avgdata 38048maxresident)k
-0inputs+0outputs (0major+4646minor)pagefaults 0swaps
+5.41user 0.01system 0:05.43elapsed 99%CPU (0avgtext+0avgdata 38692maxresident)k
+0inputs+0outputs (0major+4737minor)pagefaults 0swaps
diff --git a/examples/extended_compat/nars/nars_v0/tests4.metta.answers b/examples/extended_compat/nars/nars_v0/tests4.metta.answers
@@ -17,7 +17,7 @@
 []
 [(Error (assertEqual (EternalQuestion (({ garfield }) --> artist)) (Event ((({ garfield }) --> artist) (1.0 0.27508280575237937)) (eternal (4 3 2 1.0) (0 0.0)))) 
 Expected: [(Event ((({ garfield }) --> artist) (1.0 0.27508280575237937)) (eternal (4 3 2 1.0) (0 0.0)))]
-Got: [(Error (match &attentional_focus (Concept (({ garfield }) --> artist) $Belief#93103 $BeliefEvent#93104 $CPrio#93105) $Belief#93103) match expects a space as the first argument), (Error (match &concepts (Concept (({ garfield }) --> artist) $Belief#93103 $BeliefEvent#93104 $CPrio#93105) $Belief#93103) match expects a space as the first argument)]
+Got: [(Error (match &attentional_focus (Concept (({ garfield }) --> artist) $Belief#93110 $BeliefEvent#93111 $CPrio#93112) $Belief#93110) match expects a space as the first argument), (Error (match &concepts (Concept (({ garfield }) --> artist) $Belief#93110 $BeliefEvent#93111 $CPrio#93112) $Belief#93110) match expects a space as the first argument)]
 Missed result: (Event ((({ garfield }) --> artist) (1.0 0.27508280575237937)) (eternal (4 3 2 1.0) (0 0.0))))]
-5.34user 0.02system 0:05.37elapsed 100%CPU (0avgtext+0avgdata 38756maxresident)k
-0inputs+0outputs (0major+4772minor)pagefaults 0swaps
+5.75user 0.00system 0:05.76elapsed 99%CPU (0avgtext+0avgdata 38940maxresident)k
+0inputs+0outputs (0major+4852minor)pagefaults 0swaps
diff --git a/examples/extended_compat/nars/nars_v0/tests5.metta.answers b/examples/extended_compat/nars/nars_v0/tests5.metta.answers
@@ -19,7 +19,7 @@
 []
 [(Error (assertEqual (EternalQuestion (({ instance1 }) --> sheep)) (Event ((({ instance1 }) --> sheep) (1.0 0.30916030534351147)) (eternal (4 3) (0 0.0)))) 
 Expected: [(Event ((({ instance1 }) --> sheep) (1.0 0.30916030534351147)) (eternal (4 3) (0 0.0)))]
-Got: [(Error (match &attentional_focus (Concept (({ instance1 }) --> sheep) $Belief#93704 $BeliefEvent#93705 $CPrio#93706) $Belief#93704) match expects a space as the first argument), (Error (match &concepts (Concept (({ instance1 }) --> sheep) $Belief#93704 $BeliefEvent#93705 $CPrio#93706) $Belief#93704) match expects a space as the first argument)]
+Got: [(Error (match &attentional_focus (Concept (({ instance1 }) --> sheep) $Belief#93711 $BeliefEvent#93712 $CPrio#93713) $Belief#93711) match expects a space as the first argument), (Error (match &concepts (Concept (({ instance1 }) --> sheep) $Belief#93711 $BeliefEvent#93712 $CPrio#93713) $Belief#93711) match expects a space as the first argument)]
 Missed result: (Event ((({ instance1 }) --> sheep) (1.0 0.30916030534351147)) (eternal (4 3) (0 0.0))))]
-5.48user 0.02system 0:05.50elapsed 99%CPU (0avgtext+0avgdata 38516maxresident)k
-0inputs+0outputs (0major+4719minor)pagefaults 0swaps
+5.68user 0.03system 0:05.72elapsed 99%CPU (0avgtext+0avgdata 38900maxresident)k
+0inputs+0outputs (0major+4797minor)pagefaults 0swaps
diff --git a/examples/extended_compat/nars/new/tests0.metta.answers b/examples/extended_compat/nars/new/tests0.metta.answers
@@ -8,5 +8,5 @@
 Expected: [((B --> A) (1.0 0.44751381215469616)), (((A ~ B) --> cat) (0.0 0.81)), (((A | B) --> cat) (1.0 0.81)), ((B <-> A) (1.0 0.44751381215469616)), (((A & B) --> cat) (1.0 0.81))]
 Got: [((B <-> A) (1.0 0.44751381215469616)), ((B <-> A) (1.0 0.44751381215469616)), ((B --> A) (1.0 0.44751381215469616))]
 Missed result: (((A ~ B) --> cat) (0.0 0.81)))]
-0.75user 0.02system 0:00.78elapsed 99%CPU (0avgtext+0avgdata 36016maxresident)k
-32inputs+0outputs (2major+4333minor)pagefaults 0swaps
+0.69user 0.02system 0:00.71elapsed 99%CPU (0avgtext+0avgdata 36584maxresident)k
+0inputs+0outputs (0major+4358minor)pagefaults 0swaps
diff --git a/examples/extended_compat/nars/new/tests1.metta.answers b/examples/extended_compat/nars/new/tests1.metta.answers
@@ -1,7 +1,7 @@
 [()]
-[(Error (assertEqual (TupleCount (get-atoms GroundingSpace-0x560dd6ef32e8)) 0) 
+[(Error (assertEqual (TupleCount (get-atoms GroundingSpace-0x563948a851a8)) 0) 
 Expected: [0]
-Got: [(Error (TupleCount (get-atoms GroundingSpace-0x560dd6ef32e8)) NoValidAlternatives)]
+Got: [(Error (TupleCount (get-atoms GroundingSpace-0x563948a851a8)) NoValidAlternatives)]
 Missed result: 0)]
-0.28user 0.02system 0:00.30elapsed 100%CPU (0avgtext+0avgdata 35728maxresident)k
-0inputs+0outputs (0major+4250minor)pagefaults 0swaps
+0.26user 0.01system 0:00.28elapsed 99%CPU (0avgtext+0avgdata 36332maxresident)k
+0inputs+0outputs (0major+4275minor)pagefaults 0swaps
diff --git a/examples/extended_compat/nars/new/tests2.metta.answers b/examples/extended_compat/nars/new/tests2.metta.answers
@@ -56,5 +56,5 @@
 []
 []
 [(Error (match &attentional_focus (Concept ((ballleft &/ (^ $Op)) =/> ballhit) $Belief#292950 $BeliefEvent#292951 $CPrio#292952) $Belief#292950) match expects a space as the first argument), (Error (match &concepts (Concept ((ballleft &/ (^ $Op)) =/> ballhit) $Belief#292950 $BeliefEvent#292951 $CPrio#292952) $Belief#292950) match expects a space as the first argument)]
-17.89user 0.01system 0:17.91elapsed 100%CPU (0avgtext+0avgdata 37928maxresident)k
-0inputs+0outputs (0major+4699minor)pagefaults 0swaps
+16.88user 0.00system 0:16.89elapsed 99%CPU (0avgtext+0avgdata 38768maxresident)k
+0inputs+0outputs (0major+4728minor)pagefaults 0swaps
diff --git a/examples/extended_compat/nars/new/tests3.metta.answers b/examples/extended_compat/nars/new/tests3.metta.answers
@@ -21,5 +21,5 @@
 Expected: [None]
 Got: [(BestDecision (Error (Error (Error (Error (Error (get-state &currentTime) get-state expects single state atom as an argument) get-state expects single state atom as an argument) get-state expects single state atom as an argument) get-state expects single state atom as an argument) get-state expects single state atom as an argument) (Error (Error (Error (Error (Error (get-state &tempbest) get-state expects single state atom as an argument) get-state expects single state atom as an argument) get-state expects single state atom as an argument) get-state expects single state atom as an argument) get-state expects single state atom as an argument) (Error (Error (Error (get-state &FIFO) get-state expects single state atom as an argument) get-state expects single state atom as an argument) get-state expects single state atom as an argument))]
 Missed result: None)]
-5.87user 0.03system 0:05.90elapsed 99%CPU (0avgtext+0avgdata 37920maxresident)k
-0inputs+0outputs (0major+4705minor)pagefaults 0swaps
+5.46user 0.02system 0:05.49elapsed 99%CPU (0avgtext+0avgdata 38568maxresident)k
+0inputs+0outputs (0major+4723minor)pagefaults 0swaps
diff --git a/examples/extended_compat/nars/new/tests4.metta.answers b/examples/extended_compat/nars/new/tests4.metta.answers
@@ -19,5 +19,5 @@
 Expected: [(Event ((({ garfield }) --> artist) (1.0 0.27508280575237937)) (eternal (4 3 2 1.0) (0 0.0)))]
 Got: [(Error (match &attentional_focus (Concept (({ garfield }) --> artist) $Belief#93110 $BeliefEvent#93111 $CPrio#93112) $Belief#93110) match expects a space as the first argument), (Error (match &concepts (Concept (({ garfield }) --> artist) $Belief#93110 $BeliefEvent#93111 $CPrio#93112) $Belief#93110) match expects a space as the first argument)]
 Missed result: (Event ((({ garfield }) --> artist) (1.0 0.27508280575237937)) (eternal (4 3 2 1.0) (0 0.0))))]
-6.74user 0.05system 0:06.80elapsed 99%CPU (0avgtext+0avgdata 38296maxresident)k
-0inputs+0outputs (0major+4812minor)pagefaults 0swaps
+5.75user 0.03system 0:05.78elapsed 99%CPU (0avgtext+0avgdata 39036maxresident)k
+0inputs+0outputs (0major+4839minor)pagefaults 0swaps
diff --git a/examples/extended_compat/nars/new/tests5.metta.answers b/examples/extended_compat/nars/new/tests5.metta.answers
@@ -24,5 +24,5 @@
 Expected: [(Event ((({ instance1 }) --> sheep) (1.0 0.30916030534351147)) (eternal (4 3) (0 0.0)))]
 Got: [(Error (match &attentional_focus (Concept (({ instance1 }) --> sheep) $Belief#93714 $BeliefEvent#93715 $CPrio#93716) $Belief#93714) match expects a space as the first argument), (Error (match &concepts (Concept (({ instance1 }) --> sheep) $Belief#93714 $BeliefEvent#93715 $CPrio#93716) $Belief#93714) match expects a space as the first argument)]
 Missed result: (Event ((({ instance1 }) --> sheep) (1.0 0.30916030534351147)) (eternal (4 3) (0 0.0))))]
-7.52user 0.05system 0:07.58elapsed 99%CPU (0avgtext+0avgdata 38128maxresident)k
-0inputs+0outputs (0major+4770minor)pagefaults 0swaps
+6.32user 0.01system 0:06.33elapsed 99%CPU (0avgtext+0avgdata 38904maxresident)k
+0inputs+0outputs (0major+4798minor)pagefaults 0swaps
diff --git a/examples/extended_compat/nars/prev/tests0.metta.answers b/examples/extended_compat/nars/prev/tests0.metta.answers
@@ -0,0 +1,14 @@
+[()]
+[()]
+[()]
+[()]
+[()]
+[()]
+[()]
+[()]
+[(Error (assertEqualToResult (|- ((A --> cat) (1.0 0.9)) ((B --> cat) (1.0 0.9))) (((B --> A) (1.0 0.44751381215469616)) (((A ~ B) --> cat) (0.0 0.81)) (((A | B) --> cat) (1.0 0.81)) ((B <-> A) (1.0 0.44751381215469616)) (((A & B) --> cat) (1.0 0.81)))) 
+Expected: [((B --> A) (1.0 0.44751381215469616)), (((A ~ B) --> cat) (0.0 0.81)), (((A | B) --> cat) (1.0 0.81)), ((B <-> A) (1.0 0.44751381215469616)), (((A & B) --> cat) (1.0 0.81))]
+Got: [((B <-> A) (1.0 0.44751381215469616)), ((B <-> A) (1.0 0.44751381215469616)), (((A & B) --> cat) (1.0 0.81)), (((A ~ B) --> cat) (0.0 0.81)), (((A | B) --> cat) (1.0 0.81)), ((B --> A) (1.0 0.44751381215469616))]
+Excessive result: ((B <-> A) (1.0 0.44751381215469616)))]
+0.57user 0.01system 0:00.58elapsed 100%CPU (0avgtext+0avgdata 36364maxresident)k
+0inputs+0outputs (0major+4277minor)pagefaults 0swaps
diff --git a/examples/extended_compat/nars/prev/tests1.metta.answers b/examples/extended_compat/nars/prev/tests1.metta.answers
@@ -0,0 +1,13 @@
+[()]
+[()]
+[()]
+[()]
+[()]
+[()]
+[()]
+[(Error (assertEqual (TupleCount (get-atoms GroundingSpace-0x55cfe6b68a98)) 0) 
+Expected: [0]
+Got: [(Error (TupleCount (get-atoms GroundingSpace-0x55cfe6b68a98)) NoValidAlternatives)]
+Missed result: 0)]
+0.20user 0.02system 0:00.22elapsed 100%CPU (0avgtext+0avgdata 35844maxresident)k
+0inputs+0outputs (0major+4180minor)pagefaults 0swaps
diff --git a/examples/extended_compat/nars/prev/tests2.metta.answers b/examples/extended_compat/nars/prev/tests2.metta.answers
@@ -0,0 +1,18 @@
+[()]
+[]
+[]
+[]
+[]
+[]
+[]
+[]
+[]
+[]
+[]
+[]
+[]
+[]
+[]
+[(Error (match &attentional_focus (Concept ((ballleft &/ (^ $Op)) =/> ballhit) $Belief#101701 $BeliefEvent#101702 $CPrio#101703) $Belief#101701) match expects a space as the first argument), (Error (match &concepts (Concept ((ballleft &/ (^ $Op)) =/> ballhit) $Belief#101701 $BeliefEvent#101702 $CPrio#101703) $Belief#101701) match expects a space as the first argument)]
+11.43user 0.00system 0:11.44elapsed 99%CPU (0avgtext+0avgdata 37820maxresident)k
+0inputs+0outputs (0major+4570minor)pagefaults 0swaps
diff --git a/examples/extended_compat/nars/prev/tests3.metta.answers b/examples/extended_compat/nars/prev/tests3.metta.answers
@@ -0,0 +1,11 @@
+[()]
+[]
+[]
+[]
+[]
+[(Error (assertEqual (AddGoalEvent (Outside (1.0 0.9))) None) 
+Expected: [None]
+Got: [(BestDecision (Error (Error (Error (Error (Error (get-state &currentTime) get-state expects single state atom as an argument) get-state expects single state atom as an argument) get-state expects single state atom as an argument) get-state expects single state atom as an argument) get-state expects single state atom as an argument) (Error (Error (Error (Error (Error (get-state &tempbest) get-state expects single state atom as an argument) get-state expects single state atom as an argument) get-state expects single state atom as an argument) get-state expects single state atom as an argument) get-state expects single state atom as an argument) (Error (Error (Error (get-state &FIFO) get-state expects single state atom as an argument) get-state expects single state atom as an argument) get-state expects single state atom as an argument))]
+Missed result: None)]
+3.82user 0.03system 0:03.85elapsed 99%CPU (0avgtext+0avgdata 37908maxresident)k
+0inputs+0outputs (0major+4585minor)pagefaults 0swaps
diff --git a/examples/extended_compat/nars/prev/tests4.metta.answers b/examples/extended_compat/nars/prev/tests4.metta.answers
@@ -0,0 +1,11 @@
+[()]
+[]
+[]
+[]
+[]
+[(Error (assertEqual (EternalQuestion (({ garfield }) --> artist)) (Event ((({ garfield }) --> artist) (1.0 0.27508280575237937)) (eternal (4 3 2 1.0) (0 0.0)))) 
+Expected: [(Event ((({ garfield }) --> artist) (1.0 0.27508280575237937)) (eternal (4 3 2 1.0) (0 0.0)))]
+Got: [(Error (match &attentional_focus (Concept (({ garfield }) --> artist) $Belief#34540 $BeliefEvent#34541 $CPrio#34542) $Belief#34540) match expects a space as the first argument), (Error (match &concepts (Concept (({ garfield }) --> artist) $Belief#34540 $BeliefEvent#34541 $CPrio#34542) $Belief#34540) match expects a space as the first argument)]
+Missed result: (Event ((({ garfield }) --> artist) (1.0 0.27508280575237937)) (eternal (4 3 2 1.0) (0 0.0))))]
+3.92user 0.01system 0:03.94elapsed 100%CPU (0avgtext+0avgdata 38524maxresident)k
+0inputs+0outputs (0major+4694minor)pagefaults 0swaps
diff --git a/examples/extended_compat/nars/prev/tests5.metta.answers b/examples/extended_compat/nars/prev/tests5.metta.answers
@@ -0,0 +1,12 @@
+[()]
+[]
+[]
+[]
+[]
+[]
+[(Error (assertEqual (EternalQuestion (({ instance1 }) --> sheep)) (Event ((({ instance1 }) --> sheep) (1.0 0.30916030534351147)) (eternal (4 3) (0 0.0)))) 
+Expected: [(Event ((({ instance1 }) --> sheep) (1.0 0.30916030534351147)) (eternal (4 3) (0 0.0)))]
+Got: [(Error (match &attentional_focus (Concept (({ instance1 }) --> sheep) $Belief#34693 $BeliefEvent#34694 $CPrio#34695) $Belief#34693) match expects a space as the first argument), (Error (match &concepts (Concept (({ instance1 }) --> sheep) $Belief#34693 $BeliefEvent#34694 $CPrio#34695) $Belief#34693) match expects a space as the first argument)]
+Missed result: (Event ((({ instance1 }) --> sheep) (1.0 0.30916030534351147)) (eternal (4 3) (0 0.0))))]
+4.14user 0.02system 0:04.17elapsed 99%CPU (0avgtext+0avgdata 38352maxresident)k
+0inputs+0outputs (0major+4648minor)pagefaults 0swaps
diff --git a/examples/features/send-more.metta b/examples/features/send-more.metta
@@ -43,4 +43,5 @@
 !(solve)
 
 
+(: member (-> $e (List $e) NDet))
 
diff --git a/examples/performance/pathfinding-hard-f.metta.answers b/examples/performance/pathfinding-hard-f.metta.answers
@@ -1,5 +1,5 @@
-[]
+[()]
 [(assertTrue True)]
 [(assertFalse False)]
-0.10user 0.02system 0:00.12elapsed 100%CPU (0avgtext+0avgdata 28284maxresident)k
-0inputs+0outputs (0major+3278minor)pagefaults 0swaps
+0.13user 0.00system 0:00.14elapsed 100%CPU (0avgtext+0avgdata 33264maxresident)k
+0inputs+0outputs (0major+3476minor)pagefaults 0swaps
diff --git a/examples/performance/pathfinding-hard.metta.answers b/examples/performance/pathfinding-hard.metta.answers
@@ -1,7 +0,0 @@
-[()]
-[(Error (assertEqual (path a f 11) True) 
-Expected: [True]
-Got: [(path a f 11)]
-Missed result: True)]
-0.10user 0.01system 0:00.11elapsed 100%CPU (0avgtext+0avgdata 32960maxresident)k
-0inputs+0outputs (0major+3483minor)pagefaults 0swaps
Original file line number	Diff line number	Diff line change
Expand Up		@@ -43,4 +43,5 @@
		!(solve)


		(: member (-> $e (List $e) NDet))