diff --git a/nars-dist/Examples/Example-NAL1-unedited.txt b/nars-dist/Examples/Example-NAL1-unedited.txt
index f33554647a7c7cc4ad25062e0190af6988539de8..2410c9a83c31def9898efa46ca61535e13aec3bb 100644
--- a/nars-dist/Examples/Example-NAL1-unedited.txt
+++ b/nars-dist/Examples/Example-NAL1-unedited.txt
@@ -2,50 +2,50 @@
   IN: <bird --> swimmer>. %1.00;0.90% {0 : 1} 
   IN: <bird --> swimmer>. %0.10;0.60% {0 : 2} 
 1
- OUT: <bird --> swimmer>. %0.87;0.91% {1 : 1;2} 
+ OUT: <bird --> swimmer>. %0.87;0.91% {1 : 2;1} 
 ********** deduction
   IN: <bird --> animal>. %1.00;0.90% {0 : 1} 
   IN: <robin --> bird>. %1.00;0.90% {0 : 2} 
 3
- OUT: <robin --> animal>. %1.00;0.81% {5 : 2;1} 
- OUT: <animal --> robin>. %1.00;0.45% {5 : 2;1} 
+ OUT: <robin --> animal>. %1.00;0.81% {3 : 1;2} 
+ OUT: <animal --> robin>. %1.00;0.45% {3 : 1;2} 
 ********** abduction
   IN: <sport --> competition>. %1.00;0.90% {0 : 1} 
   IN: <chess --> competition>. %0.90;0.90% {0 : 2} 
 3
- OUT: <(|,chess,sport) --> competition>. %0.90;0.81% {5 : 2;1} 
- OUT: <(&,chess,sport) --> competition>. %1.00;0.81% {5 : 2;1} 
- OUT: <<sport --> $1> ==> <chess --> $1>>. %0.90;0.45% {5 : 2;1} 
- OUT: <<chess --> $1> ==> <sport --> $1>>. %1.00;0.42% {5 : 2;1} 
- OUT: <<chess --> $1> <=> <sport --> $1>>. %0.90;0.45% {5 : 2;1} 
- OUT: (&&,<chess --> #1>,<sport --> #1>). %0.90;0.81% {5 : 2;1} 
- OUT: <sport --> chess>. %1.00;0.42% {5 : 2;1} 
- OUT: <chess --> sport>. %0.90;0.45% {5 : 2;1} 
- OUT: <chess <-> sport>. %0.90;0.45% {5 : 2;1} 
+ OUT: <(&,chess,sport) --> competition>. %1.00;0.81% {3 : 1;2} 
+ OUT: <(|,chess,sport) --> competition>. %0.90;0.81% {3 : 1;2} 
+ OUT: <<sport --> $1> ==> <chess --> $1>>. %0.90;0.45% {3 : 1;2} 
+ OUT: <<chess --> $1> ==> <sport --> $1>>. %1.00;0.42% {3 : 1;2} 
+ OUT: <<chess --> $1> <=> <sport --> $1>>. %0.90;0.45% {3 : 1;2} 
+ OUT: (&&,<chess --> #1>,<sport --> #1>). %0.90;0.81% {3 : 1;2} 
+ OUT: <sport --> chess>. %1.00;0.42% {3 : 1;2} 
+ OUT: <chess --> sport>. %0.90;0.45% {3 : 1;2} 
+ OUT: <chess <-> sport>. %0.90;0.45% {3 : 1;2} 
 ********* induction
   IN: <swan --> swimmer>. %0.90;0.90% {0 : 1} 
   IN: <swan --> bird>. %1.00;0.90% {0 : 2} 
 3
- OUT: <swan --> (|,bird,swimmer)>. %1.00;0.81% {5 : 2;1} 
- OUT: <swan --> (&,bird,swimmer)>. %0.90;0.81% {5 : 2;1} 
- OUT: <<$1 --> swimmer> ==> <$1 --> bird>>. %1.00;0.42% {5 : 2;1} 
- OUT: <<$1 --> bird> ==> <$1 --> swimmer>>. %0.90;0.45% {5 : 2;1} 
- OUT: <<$1 --> bird> <=> <$1 --> swimmer>>. %0.90;0.45% {5 : 2;1} 
- OUT: (&&,<#1 --> bird>,<#1 --> swimmer>). %0.90;0.81% {5 : 2;1} 
- OUT: <bird --> swimmer>. %0.90;0.45% {5 : 2;1} 
- OUT: <swimmer --> bird>. %1.00;0.42% {5 : 2;1} 
- OUT: <bird <-> swimmer>. %0.90;0.45% {5 : 2;1} 
+ OUT: <swan --> (|,bird,swimmer)>. %1.00;0.81% {3 : 1;2} 
+ OUT: <swan --> (&,bird,swimmer)>. %0.90;0.81% {3 : 1;2} 
+ OUT: <<$1 --> swimmer> ==> <$1 --> bird>>. %1.00;0.42% {3 : 1;2} 
+ OUT: <<$1 --> bird> ==> <$1 --> swimmer>>. %0.90;0.45% {3 : 1;2} 
+ OUT: <<$1 --> bird> <=> <$1 --> swimmer>>. %0.90;0.45% {3 : 1;2} 
+ OUT: (&&,<#1 --> bird>,<#1 --> swimmer>). %0.90;0.81% {3 : 1;2} 
+ OUT: <bird --> swimmer>. %0.90;0.45% {3 : 1;2} 
+ OUT: <swimmer --> bird>. %1.00;0.42% {3 : 1;2} 
+ OUT: <bird <-> swimmer>. %0.90;0.45% {3 : 1;2} 
 ********** exemplification
   IN: <robin --> bird>. %1.00;0.90% {0 : 1} 
   IN: <bird --> animal>. %1.00;0.90% {0 : 2} 
 3
- OUT: <robin --> animal>. %1.00;0.81% {5 : 2;1} 
- OUT: <animal --> robin>. %1.00;0.45% {5 : 2;1} 
+ OUT: <robin --> animal>. %1.00;0.81% {3 : 1;2} 
+ OUT: <animal --> robin>. %1.00;0.45% {3 : 1;2} 
 ********** conversion
   IN: <bird --> swimmer>. %1.00;0.90% {0 : 1} 
   IN: <swimmer --> bird>?  {0 : 2} 
 6
- OUT: <swimmer --> bird>. %1.00;0.47% {4 : 1} 
+ OUT: <swimmer --> bird>. %1.00;0.47% {6 : 1} 
 ********** "y/n" question
   IN: <bird --> swimmer>. %1.00;0.90% {0 : 1} 
   IN: <bird --> swimmer>?  {0 : 2} 
@@ -56,14 +56,14 @@
   IN: <?1 --> swimmer>?  {0 : 2} 
 5
  OUT: <bird --> swimmer>. %1.00;0.80% {0 : 1} 
- OUT: <?1 --> bird>?  {4 : 1;2} 
- OUT: <bird --> ?1>?  {4 : 1;2} 
- OUT: <?1 <-> bird>?  {4 : 1;2} 
+ OUT: <?1 --> bird>?  {5 : 2;1} 
+ OUT: <bird --> ?1>?  {5 : 2;1} 
+ OUT: <?1 <-> bird>?  {5 : 2;1} 
 ********** backward inference
   IN: <bird --> swimmer>. %1.00;0.80% {0 : 1} 
   IN: <?1 --> swimmer>?  {0 : 2} 
 5
  OUT: <bird --> swimmer>. %1.00;0.80% {0 : 1} 
- OUT: <?1 --> bird>?  {4 : 1;2} 
- OUT: <bird --> ?1>?  {4 : 1;2} 
- OUT: <?1 <-> bird>?  {4 : 1;2} 
+ OUT: <?1 --> bird>?  {5 : 2;1} 
+ OUT: <bird --> ?1>?  {5 : 2;1} 
+ OUT: <?1 <-> bird>?  {5 : 2;1} 
diff --git a/nars-dist/Examples/Example-NAL2-edited.txt b/nars-dist/Examples/Example-NAL2-edited.txt
index 7d2b576cc5cac984d4eac3b4733f24b8797582ea..f120cc485238a0b145eac332c7142c781ace0e1c 100644
--- a/nars-dist/Examples/Example-NAL2-edited.txt
+++ b/nars-dist/Examples/Example-NAL2-edited.txt
@@ -58,7 +58,7 @@
 <bird --> swan>. %0.10% 
 // Bird is not a type of swan. 
 1
- OUT: <bird <-> swan>. %0.10;0.89% 
+ OUT: <bird <-> swan>. %0.10;0.81% 
 // Bird is different from swan.  
 
 ********** conversions between inheritance and similarity
@@ -67,7 +67,7 @@
 <bird <-> swan>. %0.10% 
 // Bird is different from swan. 
 1
- OUT: <bird --> swan>. %0.10;0.74% 
+ OUT: <bird --> swan>. %0.10;0.73% 
 // Bird is probably not a type of swan. 
 
 ********** conversions between inheritance and similarity
diff --git a/nars-dist/Examples/Example-NAL2-unedited.txt b/nars-dist/Examples/Example-NAL2-unedited.txt
index 2ad9fcf8728145579a3af845d39d9b224373af2d..a6d6073302a7c5e452172ea4d8a7055f0bb72f33 100644
--- a/nars-dist/Examples/Example-NAL2-unedited.txt
+++ b/nars-dist/Examples/Example-NAL2-unedited.txt
@@ -1,101 +1,102 @@
+*****RESET*****
 ********** revision
   IN: <robin <-> swan>. %1.00;0.90% {0 : 1} 
   IN: <robin <-> swan>. %0.10;0.60% {0 : 2} 
 1
- OUT: <robin <-> swan>. %0.87;0.91% {1 : 1;2} 
+ OUT: <robin <-> swan>. %0.87;0.91% {1 : 2;1} 
 ********** comparison
   IN: <swan --> swimmer>. %0.90;0.90% {0 : 1} 
   IN: <swan --> bird>. %1.00;0.90% {0 : 2} 
 3
- OUT: <swan --> (|,bird,swimmer)>. %1.00;0.81% {5 : 2;1} 
- OUT: <swan --> (&,bird,swimmer)>. %0.90;0.81% {5 : 2;1} 
- OUT: <<$1 --> swimmer> ==> <$1 --> bird>>. %1.00;0.42% {5 : 2;1} 
- OUT: <<$1 --> bird> ==> <$1 --> swimmer>>. %0.90;0.45% {5 : 2;1} 
- OUT: <<$1 --> bird> <=> <$1 --> swimmer>>. %0.90;0.45% {5 : 2;1} 
- OUT: (&&,<#1 --> bird>,<#1 --> swimmer>). %0.90;0.81% {5 : 2;1} 
- OUT: <bird --> swimmer>. %0.90;0.45% {5 : 2;1} 
- OUT: <swimmer --> bird>. %1.00;0.42% {5 : 2;1} 
- OUT: <bird <-> swimmer>. %0.90;0.45% {5 : 2;1} 
+ OUT: <swan --> (|,bird,swimmer)>. %1.00;0.81% {3 : 1;2} 
+ OUT: <swan --> (&,bird,swimmer)>. %0.90;0.81% {3 : 1;2} 
+ OUT: <<$1 --> swimmer> ==> <$1 --> bird>>. %1.00;0.42% {3 : 1;2} 
+ OUT: <<$1 --> bird> ==> <$1 --> swimmer>>. %0.90;0.45% {3 : 1;2} 
+ OUT: <<$1 --> bird> <=> <$1 --> swimmer>>. %0.90;0.45% {3 : 1;2} 
+ OUT: (&&,<#1 --> bird>,<#1 --> swimmer>). %0.90;0.81% {3 : 1;2} 
+ OUT: <bird --> swimmer>. %0.90;0.45% {3 : 1;2} 
+ OUT: <swimmer --> bird>. %1.00;0.42% {3 : 1;2} 
+ OUT: <bird <-> swimmer>. %0.90;0.45% {3 : 1;2} 
 ********** comparison
   IN: <sport --> competition>. %1.00;0.90% {0 : 1} 
   IN: <chess --> competition>. %0.90;0.90% {0 : 2} 
 3
- OUT: <(&,chess,sport) --> competition>. %1.00;0.81% {3 : 2;1} 
- OUT: <(|,chess,sport) --> competition>. %0.90;0.81% {3 : 2;1} 
- OUT: <<sport --> $1> ==> <chess --> $1>>. %0.90;0.45% {3 : 2;1} 
- OUT: <<chess --> $1> ==> <sport --> $1>>. %1.00;0.42% {3 : 2;1} 
- OUT: <<chess --> $1> <=> <sport --> $1>>. %0.90;0.45% {3 : 2;1} 
- OUT: (&&,<chess --> #1>,<sport --> #1>). %0.90;0.81% {3 : 2;1} 
- OUT: <sport --> chess>. %1.00;0.42% {3 : 2;1} 
- OUT: <chess --> sport>. %0.90;0.45% {3 : 2;1} 
- OUT: <chess <-> sport>. %0.90;0.45% {3 : 2;1} 
+ OUT: <(&,chess,sport) --> competition>. %1.00;0.81% {3 : 1;2} 
+ OUT: <(|,chess,sport) --> competition>. %0.90;0.81% {3 : 1;2} 
+ OUT: <<sport --> $1> ==> <chess --> $1>>. %0.90;0.45% {3 : 1;2} 
+ OUT: <<chess --> $1> ==> <sport --> $1>>. %1.00;0.42% {3 : 1;2} 
+ OUT: <<chess --> $1> <=> <sport --> $1>>. %0.90;0.45% {3 : 1;2} 
+ OUT: (&&,<chess --> #1>,<sport --> #1>). %0.90;0.81% {3 : 1;2} 
+ OUT: <sport --> chess>. %1.00;0.42% {3 : 1;2} 
+ OUT: <chess --> sport>. %0.90;0.45% {3 : 1;2} 
+ OUT: <chess <-> sport>. %0.90;0.45% {3 : 1;2} 
 ********** analogy
   IN: <swan --> swimmer>. %1.00;0.90% {0 : 1} 
   IN: <gull <-> swan>. %1.00;0.90% {0 : 2} 
 3
- OUT: <gull --> swimmer>. %1.00;0.81% {5 : 2;1} 
+ OUT: <gull --> swimmer>. %1.00;0.81% {3 : 1;2} 
 ********** analogy
   IN: <gull --> swimmer>. %1.00;0.90% {0 : 1} 
   IN: <gull <-> swan>. %1.00;0.90% {0 : 2} 
 3
- OUT: <swan --> swimmer>. %1.00;0.81% {5 : 2;1} 
+ OUT: <swan --> swimmer>. %1.00;0.81% {3 : 1;2} 
 ********** resemblance
   IN: <robin <-> swan>. %1.00;0.90% {0 : 1} 
   IN: <gull <-> swan>. %1.00;0.90% {0 : 2} 
 3
- OUT: <gull <-> robin>. %1.00;0.81% {5 : 2;1} 
+ OUT: <gull <-> robin>. %1.00;0.81% {3 : 1;2} 
 ********** conversions between inheritance and similarity
   IN: <swan --> bird>. %1.00;0.90% {0 : 1} 
   IN: <bird --> swan>. %0.10;0.90% {0 : 2} 
 1
- OUT: <bird <-> swan>. %0.10;0.81% {3 : 2;1} 
+ OUT: <bird <-> swan>. %0.10;0.81% {1 : 1;2} 
 ********** conversions between inheritance and similarity
   IN: <swan --> bird>. %1.00;0.90% {0 : 1} 
   IN: <bird <-> swan>. %0.10;0.90% {0 : 2} 
 1
- OUT: <bird --> swan>. %0.10;0.73% {3 : 2;1} 
+ OUT: <bird --> swan>. %0.10;0.73% {1 : 1;2} 
 ********** conversions between inheritance and similarity
   IN: <swan --> bird>. %0.90;0.90% {0 : 1} 
   IN: <bird <-> swan>?  {0 : 2} 
 6
- OUT: <bird <-> swan>. %0.90;0.47% {4 : 1} 
+ OUT: <bird <-> swan>. %0.90;0.47% {6 : 1} 
 ********** conversions between inheritance and similarity
   IN: <bird <-> swan>. %0.90;0.90% {0 : 1} 
   IN: <swan --> bird>?  {0 : 2} 
 6
- OUT: <swan --> bird>. %0.90;0.81% {4 : 1} 
+ OUT: <swan --> bird>. %0.90;0.81% {6 : 1} 
 ********** set definition
   IN: <{Tweety} --> {Birdie}>. %1.00;0.90% {0 : 1} 
 3
- OUT: <{Birdie} <-> {Tweety}>. %1.00;0.90% {7 : 1} 
+ OUT: <{Birdie} <-> {Tweety}>. %1.00;0.90% {3 : 1} 
 ********** set definition
   IN: <[smart] --> [bright]>. %1.00;0.90% {0 : 1} 
 1
- OUT: <[bright] <-> [smart]>. %1.00;0.90% {5 : 1} 
+ OUT: <[bright] <-> [smart]>. %1.00;0.90% {1 : 1} 
 ********** set definition
   IN: <{Birdie} <-> {Tweety}>. %1.00;0.90% {0 : 1} 
 1
- OUT: <Birdie <-> Tweety>. %1.00;0.90% {5 : 1} 
- OUT: <{Tweety} --> {Birdie}>. %1.00;0.90% {5 : 1} 
+ OUT: <Birdie <-> Tweety>. %1.00;0.90% {1 : 1} 
+ OUT: <{Tweety} --> {Birdie}>. %1.00;0.90% {1 : 1} 
 ********** set definition
   IN: <[bright] <-> [smart]>. %1.00;0.90% {0 : 1} 
 1
- OUT: <bright <-> smart>. %1.00;0.90% {5 : 1} 
- OUT: <[bright] --> [smart]>. %1.00;0.90% {5 : 1} 
+ OUT: <bright <-> smart>. %1.00;0.90% {1 : 1} 
+ OUT: <[bright] --> [smart]>. %1.00;0.90% {1 : 1} 
 ********** structure transformation
   IN: <Birdie <-> Tweety>. %0.90;0.90% {0 : 1} 
   IN: <{Birdie} <-> {Tweety}>?  {0 : 2} 
 6
- OUT: <{Birdie} <-> {Tweety}>. %0.90;0.90% {2 : 1} 
+ OUT: <{Birdie} <-> {Tweety}>. %0.90;0.90% {6 : 1} 
 ********** structure transformation
   IN: <bright <-> smart>. %0.90;0.90% {0 : 1} 
   IN: <[bright] --> [smart]>?  {0 : 2} 
 6
- OUT: <[bright] <-> [smart]>. %0.90;0.90% {2 : 1} 
+ OUT: <[bright] <-> [smart]>. %0.90;0.90% {6 : 1} 
 ********** backward inference
   IN: <bird --> swimmer>. %1.00;0.90% {0 : 1} 
   IN: <{?1} --> swimmer>?  {0 : 2} 
 5
- OUT: <{?1} --> bird>?  {4 : 1;2} 
- OUT: <bird --> {?1}>?  {4 : 1;2} 
- OUT: <bird <-> {?1}>?  {4 : 1;2} 
+ OUT: <{?1} --> bird>?  {5 : 2;1} 
+ OUT: <bird --> {?1}>?  {5 : 2;1} 
+ OUT: <bird <-> {?1}>?  {5 : 2;1} 
diff --git a/nars-dist/Examples/Example-NAL3-unedited.txt b/nars-dist/Examples/Example-NAL3-unedited.txt
index a775dbf657c5651299744862f34a70141ff6914a..bb74d9442b4239546804a6f77cd54986ee2ad55c 100644
--- a/nars-dist/Examples/Example-NAL3-unedited.txt
+++ b/nars-dist/Examples/Example-NAL3-unedited.txt
@@ -1,114 +1,115 @@
+*****RESET*****
 ********** compound composition, two premises
   IN: <swan --> swimmer>. %0.90;0.90% {0 : 1} 
   IN: <swan --> bird>. %0.80;0.90% {0 : 2} 
 3
- OUT: <swan --> (|,bird,swimmer)>. %0.98;0.81% {5 : 2;1} 
- OUT: <swan --> (&,bird,swimmer)>. %0.72;0.81% {5 : 2;1} 
- OUT: <<$1 --> swimmer> ==> <$1 --> bird>>. %0.80;0.42% {5 : 2;1} 
- OUT: <<$1 --> bird> ==> <$1 --> swimmer>>. %0.90;0.39% {5 : 2;1} 
- OUT: <<$1 --> bird> <=> <$1 --> swimmer>>. %0.73;0.44% {5 : 2;1} 
- OUT: (&&,<#1 --> bird>,<#1 --> swimmer>). %0.72;0.81% {5 : 2;1} 
- OUT: <bird --> swimmer>. %0.90;0.39% {5 : 2;1} 
- OUT: <swimmer --> bird>. %0.80;0.42% {5 : 2;1} 
- OUT: <bird <-> swimmer>. %0.73;0.44% {5 : 2;1} 
+ OUT: <swan --> (|,bird,swimmer)>. %0.98;0.81% {3 : 1;2} 
+ OUT: <swan --> (&,bird,swimmer)>. %0.72;0.81% {3 : 1;2} 
+ OUT: <<$1 --> swimmer> ==> <$1 --> bird>>. %0.80;0.42% {3 : 1;2} 
+ OUT: <<$1 --> bird> ==> <$1 --> swimmer>>. %0.90;0.39% {3 : 1;2} 
+ OUT: <<$1 --> bird> <=> <$1 --> swimmer>>. %0.73;0.44% {3 : 1;2} 
+ OUT: (&&,<#1 --> bird>,<#1 --> swimmer>). %0.72;0.81% {3 : 1;2} 
+ OUT: <bird --> swimmer>. %0.90;0.39% {3 : 1;2} 
+ OUT: <swimmer --> bird>. %0.80;0.42% {3 : 1;2} 
+ OUT: <bird <-> swimmer>. %0.73;0.44% {3 : 1;2} 
 ********** compound composition, two premises
   IN: <sport --> competition>. %0.90;0.90% {0 : 1} 
   IN: <chess --> competition>. %0.80;0.90% {0 : 2} 
 3
- OUT: <(&,chess,sport) --> competition>. %0.98;0.81% {3 : 2;1} 
- OUT: <(|,chess,sport) --> competition>. %0.72;0.81% {3 : 2;1} 
- OUT: <<sport --> $1> ==> <chess --> $1>>. %0.80;0.42% {3 : 2;1} 
- OUT: <<chess --> $1> ==> <sport --> $1>>. %0.90;0.39% {3 : 2;1} 
- OUT: <<chess --> $1> <=> <sport --> $1>>. %0.73;0.44% {3 : 2;1} 
- OUT: (&&,<chess --> #1>,<sport --> #1>). %0.72;0.81% {3 : 2;1} 
- OUT: <sport --> chess>. %0.90;0.39% {3 : 2;1} 
- OUT: <chess --> sport>. %0.80;0.42% {3 : 2;1} 
- OUT: <chess <-> sport>. %0.73;0.44% {3 : 2;1} 
+ OUT: <(&,chess,sport) --> competition>. %0.98;0.81% {3 : 1;2} 
+ OUT: <(|,chess,sport) --> competition>. %0.72;0.81% {3 : 1;2} 
+ OUT: <<sport --> $1> ==> <chess --> $1>>. %0.80;0.42% {3 : 1;2} 
+ OUT: <<chess --> $1> ==> <sport --> $1>>. %0.90;0.39% {3 : 1;2} 
+ OUT: <<chess --> $1> <=> <sport --> $1>>. %0.73;0.44% {3 : 1;2} 
+ OUT: (&&,<chess --> #1>,<sport --> #1>). %0.72;0.81% {3 : 1;2} 
+ OUT: <sport --> chess>. %0.90;0.39% {3 : 1;2} 
+ OUT: <chess --> sport>. %0.80;0.42% {3 : 1;2} 
+ OUT: <chess <-> sport>. %0.73;0.44% {3 : 1;2} 
 ********** compound decomposition, two premises
   IN: <robin --> (|,bird,swimmer)>. %1.00;0.90% {0 : 1} 
   IN: <robin --> swimmer>. %0.00;0.90% {0 : 2} 
 10
- OUT: <robin --> bird>. %1.00;0.81% {3 : 1;2} 
+ OUT: <robin --> bird>. %1.00;0.81% {10 : 2;1} 
 ********** compound decomposition, two premises
   IN: <robin --> swimmer>. %0.00;0.90% {0 : 1} 
   IN: <robin --> (-,mammal,swimmer)>. %0.00;0.90% {0 : 2} 
 12
- OUT: <robin --> mammal>. %0.00;0.81% {3 : 2;1} 
+ OUT: <robin --> mammal>. %0.00;0.81% {12 : 1;2} 
 ********** set operations
   IN: <planetX --> {Mars,Pluto,Venus}>. %0.90;0.90% {0 : 1} 
   IN: <planetX --> {Pluto,Saturn}>. %0.70;0.90% {0 : 2} 
 10
- OUT: <planetX --> {Mars,Pluto,Saturn,Venus}>. %0.97;0.81% {3 : 1;2} 
- OUT: <planetX --> {Pluto}>. %0.63;0.81% {3 : 1;2} 
- OUT: <<$1 --> {Pluto,Saturn}> ==> <$1 --> {Mars,Pluto,Venus}>>. %0.90;0.36% {3 : 1;2} 
- OUT: <<$1 --> {Mars,Pluto,Venus}> ==> <$1 --> {Pluto,Saturn}>>. %0.70;0.42% {3 : 1;2} 
- OUT: <<$1 --> {Pluto,Saturn}> <=> <$1 --> {Mars,Pluto,Venus}>>. %0.65;0.44% {3 : 1;2} 
- OUT: (&&,<#1 --> {Pluto,Saturn}>,<#1 --> {Mars,Pluto,Venus}>). %0.63;0.81% {3 : 1;2} 
- OUT: <{Mars,Pluto,Venus} --> {Pluto,Saturn}>. %0.70;0.42% {3 : 1;2} 
- OUT: <{Pluto,Saturn} --> {Mars,Pluto,Venus}>. %0.90;0.36% {3 : 1;2} 
- OUT: <{Pluto,Saturn} <-> {Mars,Pluto,Venus}>. %0.65;0.44% {3 : 1;2} 
+ OUT: <planetX --> {Mars,Pluto,Saturn,Venus}>. %0.97;0.81% {10 : 2;1} 
+ OUT: <planetX --> {Pluto}>. %0.63;0.81% {10 : 2;1} 
+ OUT: <<$1 --> {Pluto,Saturn}> ==> <$1 --> {Mars,Pluto,Venus}>>. %0.90;0.36% {10 : 2;1} 
+ OUT: <<$1 --> {Mars,Pluto,Venus}> ==> <$1 --> {Pluto,Saturn}>>. %0.70;0.42% {10 : 2;1} 
+ OUT: <<$1 --> {Pluto,Saturn}> <=> <$1 --> {Mars,Pluto,Venus}>>. %0.65;0.44% {10 : 2;1} 
+ OUT: (&&,<#1 --> {Pluto,Saturn}>,<#1 --> {Mars,Pluto,Venus}>). %0.63;0.81% {10 : 2;1} 
+ OUT: <{Mars,Pluto,Venus} --> {Pluto,Saturn}>. %0.70;0.42% {10 : 2;1} 
+ OUT: <{Pluto,Saturn} --> {Mars,Pluto,Venus}>. %0.90;0.36% {10 : 2;1} 
+ OUT: <{Pluto,Saturn} <-> {Mars,Pluto,Venus}>. %0.65;0.44% {10 : 2;1} 
 ********** set operations
   IN: <planetX --> {Mars,Pluto,Venus}>. %0.90;0.90% {0 : 1} 
   IN: <planetX --> {Pluto,Saturn}>. %0.10;0.90% {0 : 2} 
 10
- OUT: <planetX --> {Mars,Pluto,Saturn,Venus}>. %0.91;0.81% {10 : 1;2} 
- OUT: <planetX --> {Pluto}>. %0.09;0.81% {10 : 1;2} 
- OUT: <planetX --> {Mars,Venus}>. %0.81;0.81% {10 : 1;2} 
- OUT: <<$1 --> {Pluto,Saturn}> ==> <$1 --> {Mars,Pluto,Venus}>>. %0.90;0.07% {10 : 1;2} 
- OUT: <<$1 --> {Mars,Pluto,Venus}> ==> <$1 --> {Pluto,Saturn}>>. %0.10;0.42% {10 : 1;2} 
- OUT: <<$1 --> {Pluto,Saturn}> <=> <$1 --> {Mars,Pluto,Venus}>>. %0.10;0.42% {10 : 1;2} 
- OUT: (&&,<#1 --> {Pluto,Saturn}>,<#1 --> {Mars,Pluto,Venus}>). %0.09;0.81% {10 : 1;2} 
- OUT: <{Mars,Pluto,Venus} --> {Pluto,Saturn}>. %0.10;0.42% {10 : 1;2} 
- OUT: <{Pluto,Saturn} --> {Mars,Pluto,Venus}>. %0.90;0.07% {10 : 1;2} 
- OUT: <{Pluto,Saturn} <-> {Mars,Pluto,Venus}>. %0.10;0.42% {10 : 1;2} 
+ OUT: <planetX --> {Mars,Pluto,Saturn,Venus}>. %0.91;0.81% {10 : 2;1} 
+ OUT: <planetX --> {Pluto}>. %0.09;0.81% {10 : 2;1} 
+ OUT: <planetX --> {Mars,Venus}>. %0.81;0.81% {10 : 2;1} 
+ OUT: <<$1 --> {Pluto,Saturn}> ==> <$1 --> {Mars,Pluto,Venus}>>. %0.90;0.07% {10 : 2;1} 
+ OUT: <<$1 --> {Mars,Pluto,Venus}> ==> <$1 --> {Pluto,Saturn}>>. %0.10;0.42% {10 : 2;1} 
+ OUT: <<$1 --> {Pluto,Saturn}> <=> <$1 --> {Mars,Pluto,Venus}>>. %0.10;0.42% {10 : 2;1} 
+ OUT: (&&,<#1 --> {Pluto,Saturn}>,<#1 --> {Mars,Pluto,Venus}>). %0.09;0.81% {10 : 2;1} 
+ OUT: <{Mars,Pluto,Venus} --> {Pluto,Saturn}>. %0.10;0.42% {10 : 2;1} 
+ OUT: <{Pluto,Saturn} --> {Mars,Pluto,Venus}>. %0.90;0.07% {10 : 2;1} 
+ OUT: <{Pluto,Saturn} <-> {Mars,Pluto,Venus}>. %0.10;0.42% {10 : 2;1} 
 ********** composition on both sides of a statement
   IN: <bird --> animal>. %0.90;0.90% {0 : 1} 
   IN: <(&,bird,swimmer) --> (&,animal,swimmer)>?  {0 : 2} 
 6
- OUT: <(&,bird,swimmer) --> animal>. %0.90;0.73% {2 : 1} 
- OUT: <(&,bird,swimmer) --> (&,animal,swimmer)>. %0.90;0.73% {2 : 1} 
+ OUT: <(&,bird,swimmer) --> animal>. %0.90;0.73% {6 : 1} 
+ OUT: <(&,bird,swimmer) --> (&,animal,swimmer)>. %0.90;0.73% {6 : 1} 
 ********** composition on both sides of a statement
   IN: <bird --> animal>. %0.90;0.90% {0 : 1} 
   IN: <(-,swimmer,animal) --> (-,swimmer,bird)>?  {0 : 2} 
 6
- OUT: <bird --> (-,swimmer,animal)>. %0.10;0.73% {2 : 1} 
- OUT: <(-,swimmer,animal) --> (-,swimmer,bird)>. %0.90;0.73% {2 : 1} 
+ OUT: <bird --> (-,swimmer,animal)>. %0.10;0.73% {6 : 1} 
+ OUT: <(-,swimmer,animal) --> (-,swimmer,bird)>. %0.90;0.73% {6 : 1} 
 ********** compound composition, one premise
   IN: <swan --> bird>. %0.90;0.90% {0 : 1} 
   IN: <swan --> (|,bird,swimmer)>?  {0 : 2} 
 7
- OUT: <swan --> (|,bird,swimmer)>. %0.90;0.73% {3 : 1} 
- OUT: <(|,swan,swimmer) --> (|,bird,swimmer)>. %0.90;0.73% {3 : 1} 
+ OUT: <swan --> (|,bird,swimmer)>. %0.90;0.73% {7 : 1} 
+ OUT: <(|,swan,swimmer) --> (|,bird,swimmer)>. %0.90;0.73% {7 : 1} 
 ********** compound composition, one premise
   IN: <swan --> bird>. %0.90;0.90% {0 : 1} 
   IN: <(&,swan,swimmer) --> bird>?  {0 : 2} 
 6
- OUT: <(&,swan,swimmer) --> bird>. %0.90;0.73% {2 : 1} 
- OUT: <(&,swan,swimmer) --> (&,bird,swimmer)>. %0.90;0.73% {2 : 1} 
+ OUT: <(&,swan,swimmer) --> bird>. %0.90;0.73% {6 : 1} 
+ OUT: <(&,swan,swimmer) --> (&,bird,swimmer)>. %0.90;0.73% {6 : 1} 
 ********** compound composition, one premise
   IN: <swan --> bird>. %0.90;0.90% {0 : 1} 
   IN: <swan --> (-,swimmer,bird)>?  {0 : 2} 
 7
- OUT: <swan --> (-,swimmer,bird)>. %0.10;0.73% {3 : 1} 
- OUT: <(-,swimmer,bird) --> (-,swimmer,swan)>. %0.90;0.73% {3 : 1} 
+ OUT: <swan --> (-,swimmer,bird)>. %0.10;0.73% {7 : 1} 
+ OUT: <(-,swimmer,bird) --> (-,swimmer,swan)>. %0.90;0.73% {7 : 1} 
 ********** compound composition, one premise
   IN: <swan --> bird>. %0.90;0.90% {0 : 1} 
   IN: <(~,swimmer,swan) --> bird>?  {0 : 2} 
 6
- OUT: <(~,swimmer,swan) --> bird>. %0.10;0.73% {2 : 1} 
- OUT: <(~,swimmer,bird) --> (~,swimmer,swan)>. %0.90;0.73% {2 : 1} 
+ OUT: <(~,swimmer,swan) --> bird>. %0.10;0.73% {6 : 1} 
+ OUT: <(~,swimmer,bird) --> (~,swimmer,swan)>. %0.90;0.73% {6 : 1} 
 ********** compound decomposition, one premise
   IN: <robin --> (&,bird,swimmer)>. %0.90;0.90% {0 : 1} 
 2
- OUT: <robin --> bird>. %0.90;0.73% {6 : 1} 
+ OUT: <robin --> bird>. %0.90;0.73% {2 : 1} 
 ********** compound decomposition, one premise
   IN: <robin --> (-,bird,swimmer)>. %0.90;0.90% {0 : 1} 
 2
- OUT: <robin --> bird>. %0.90;0.73% {6 : 1} 
+ OUT: <robin --> bird>. %0.90;0.73% {2 : 1} 
 ********** compound decomposition, one premise
   IN: <(|,boy,girl) --> youth>. %0.90;0.90% {0 : 1} 
 1
- OUT: <boy --> youth>. %0.90;0.73% {5 : 1} 
+ OUT: <boy --> youth>. %0.90;0.73% {1 : 1} 
 ********** compound decomposition, one premise
   IN: <(~,boy,girl) --> [strong]>. %0.90;0.90% {0 : 1} 
 5
diff --git a/nars-dist/Examples/Example-NAL4-unedited.txt b/nars-dist/Examples/Example-NAL4-unedited.txt
index 33a8b28afaa9dd3f0a2c7458494d04c9840ae9b2..eaf095ab3efa4deeb86b9f05b4bb4a2c96f151bd 100644
--- a/nars-dist/Examples/Example-NAL4-unedited.txt
+++ b/nars-dist/Examples/Example-NAL4-unedited.txt
@@ -1,57 +1,58 @@
+*****RESET*****
 ********** structural transformation
   IN: <(*,acid,base) --> reaction>. %1.00;0.90% {0 : 1} 
 2
- OUT: <acid --> (/,reaction,_,base)>. %1.00;0.90% {6 : 1} 
- OUT: <base --> (/,reaction,acid,_)>. %1.00;0.90% {6 : 1} 
+ OUT: <acid --> (/,reaction,_,base)>. %1.00;0.90% {2 : 1} 
+ OUT: <base --> (/,reaction,acid,_)>. %1.00;0.90% {2 : 1} 
 ********** structural transformation
   IN: <acid --> (/,reaction,_,base)>. %1.00;0.90% {0 : 1} 
 3
- OUT: <(*,acid,base) --> reaction>. %1.00;0.90% {7 : 1} 
- OUT: <base --> (/,reaction,acid,_)>. %1.00;0.90% {7 : 1} 
+ OUT: <(*,acid,base) --> reaction>. %1.00;0.90% {3 : 1} 
+ OUT: <base --> (/,reaction,acid,_)>. %1.00;0.90% {3 : 1} 
 ********** structural transformation
   IN: <base --> (/,reaction,acid,_)>. %1.00;0.90% {0 : 1} 
 3
- OUT: <acid --> (/,reaction,_,base)>. %1.00;0.90% {7 : 1} 
- OUT: <(*,acid,base) --> reaction>. %1.00;0.90% {7 : 1} 
+ OUT: <acid --> (/,reaction,_,base)>. %1.00;0.90% {3 : 1} 
+ OUT: <(*,acid,base) --> reaction>. %1.00;0.90% {3 : 1} 
 ********** structural transformation
   IN: <neutralization --> (*,acid,base)>. %1.00;0.90% {0 : 1} 
 3
- OUT: <(\,neutralization,_,base) --> acid>. %1.00;0.90% {7 : 1} 
- OUT: <(\,neutralization,acid,_) --> base>. %1.00;0.90% {7 : 1} 
+ OUT: <(\,neutralization,_,base) --> acid>. %1.00;0.90% {3 : 1} 
+ OUT: <(\,neutralization,acid,_) --> base>. %1.00;0.90% {3 : 1} 
 ********** structural transformation
   IN: <(\,neutralization,_,base) --> acid>. %1.00;0.90% {0 : 1} 
 2
- OUT: <neutralization --> (*,acid,base)>. %1.00;0.90% {6 : 1} 
- OUT: <(\,neutralization,acid,_) --> base>. %1.00;0.90% {6 : 1} 
+ OUT: <neutralization --> (*,acid,base)>. %1.00;0.90% {2 : 1} 
+ OUT: <(\,neutralization,acid,_) --> base>. %1.00;0.90% {2 : 1} 
 ********** structural transformation
   IN: <(\,neutralization,acid,_) --> base>. %1.00;0.90% {0 : 1} 
 2
- OUT: <(\,neutralization,_,base) --> acid>. %1.00;0.90% {6 : 1} 
- OUT: <neutralization --> (*,acid,base)>. %1.00;0.90% {6 : 1} 
+ OUT: <(\,neutralization,_,base) --> acid>. %1.00;0.90% {2 : 1} 
+ OUT: <neutralization --> (*,acid,base)>. %1.00;0.90% {2 : 1} 
 ********** composition on both sides of a statement
   IN: <bird --> animal>. %1.00;0.90% {0 : 1} 
   IN: <(*,bird,plant) --> ?1>?  {0 : 2} 
 1
- OUT: <bird --> (/,?1,_,plant)>?  {3 : 2} 
- OUT: <plant --> (/,?1,bird,_)>?  {3 : 2} 
+ OUT: <bird --> (/,?1,_,plant)>?  {1 : 2} 
+ OUT: <plant --> (/,?1,bird,_)>?  {1 : 2} 
 4
- OUT: <bird --> (/,?1,_,plant)>?  {7 : 2} 
- OUT: <plant --> (/,?1,bird,_)>?  {7 : 2} 
+ OUT: <bird --> (/,?1,_,plant)>?  {5 : 2} 
+ OUT: <plant --> (/,?1,bird,_)>?  {5 : 2} 
 1
- OUT: <(*,bird,plant) --> (*,animal,plant)>. %1.00;0.81% {17 : 1} 
+ OUT: <(*,bird,plant) --> (*,animal,plant)>. %1.00;0.81% {6 : 1} 
 ********** composition on both sides of a statement
   IN: <neutralization --> reaction>. %1.00;0.90% {0 : 1} 
   IN: <(\,neutralization,acid,_) --> ?1>?  {0 : 2} 
-3
- OUT: <(\,neutralization,_,?1) --> acid>?  {3 : 2} 
- OUT: <neutralization --> (*,acid,?1)>?  {3 : 2} 
+1
+ OUT: <(\,neutralization,_,?1) --> acid>?  {1 : 2} 
+ OUT: <neutralization --> (*,acid,?1)>?  {1 : 2} 
 4
- OUT: <(\,neutralization,_,?1) --> acid>?  {7 : 2} 
- OUT: <neutralization --> (*,acid,?1)>?  {7 : 2} 
-10
- OUT: <(\,neutralization,acid,_) --> (\,reaction,acid,_)>. %1.00;0.81% {17 : 1} 
+ OUT: <(\,neutralization,_,?1) --> acid>?  {5 : 2} 
+ OUT: <neutralization --> (*,acid,?1)>?  {5 : 2} 
+1
+ OUT: <(\,neutralization,acid,_) --> (\,reaction,acid,_)>. %1.00;0.81% {6 : 1} 
 ********** composition on both sides of a statement
   IN: <soda --> base>. %1.00;0.90% {0 : 1} 
   IN: <(/,neutralization,_,base) --> ?1>?  {0 : 2} 
-17
- OUT: <(/,neutralization,_,base) --> (/,neutralization,_,soda)>. %1.00;0.81% {17 : 1} 
+6
+ OUT: <(/,neutralization,_,base) --> (/,neutralization,_,soda)>. %1.00;0.81% {6 : 1} 
diff --git a/nars-dist/NARS.jar b/nars-dist/NARS.jar
index f807e02d8671dc4d2ae34713309b74d4d3fd1f16..35244b1d840a384b8bc782462dab1546c208312a 100644
Binary files a/nars-dist/NARS.jar and b/nars-dist/NARS.jar differ