About...
Ported from OpenNARS
Powered by Squeak and Seaside

Control


Number of steps: 1


Initial tests (resets the memory) :
Deduction1 Deduction2 AbdInd1 Analogy1 Analogy2 Analogy3 Analogy4 

Current memory state

Current Term : < animal>. --> [feline]>. >
Current Task Link : $0.0420;0.2811;0.3356$ _ @(T0) < animal>. --> [feline]>. >. %1.0000;0.4475% {2: 3 ; 4}
Current Task : $0.2811;0.2811;0.3356$ < animal>. --> [feline]>. >. %1.0000;0.4475% {2: 3 ; 4}
Current Belief Link :
Current Belief :

Input Box

Simple parser :


Enter judgments. 2 variants:

(1) subject --> predicate
inserts : < subject --> predicate > %0.9;0.9%
(2) subject --> predicate 0.9 0.8
-inserts : < subject --> predicate > %0.9;0.8%

Select box :



Active entries

 New Tasks: 

 Recent Events: 

 Task Buffer: 


Number of steps: 1

v0.4.

Test application for NARSqueak (Non-Axiomatic Reasoning Squeak)
2 relations can be used for now, inheritance (-->) and symilarity (<->) on simple terms


System Output

IN: < a --> b >.  %1.0000;0.9000%   {1:  1}  
IN: < b --> c >.  %1.0000;0.9000%   {1:  2}  
IN: < <cat --> animal>. >.  %1.0000;0.9000%   {1:  3}  
IN: < <cat --> [feline]>. >.  %1.0000;0.9000%   {1:  4}  
OUT: < [feline]>. --> animal>. >.  %1.0000;0.4475%   {2:  3 ; 4}  
OUT: < animal>. --> [feline]>. >.  %1.0000;0.4475%   {2:  3 ; 4}  
OUT: < [feline]>. <-> animal>. >.  %1.0000;0.4475%   {2:  3 ; 4}  
OUT: < a --> c >.  %1.0000;0.8100%   {2:  1 ; 2}  
OUT: < c --> a >.  %1.0000;0.4475%   {2:  1 ; 2}  
OUT: < animal>. --> [feline]>. >.  %1.0000;0.4475%   {2:  4 ; 3}  
OUT: < [feline]>. --> animal>. >.  %1.0000;0.4475%   {2:  4 ; 3}  
OUT: < animal>. <-> [feline]>. >.  %1.0000;0.4475%   {2:  4 ; 3}  
OUT: < a --> c >.  %1.0000;0.8100%   {2:  2 ; 1}  
OUT: < c --> a >.  %1.0000;0.4475%   {2:  2 ; 1}  
IN: < <{felix} --> [feline]>. >.  %1.0000;0.9000%   {1:  9}  
IN: < <{felix} <-> ?x>? >.  %1.0000;0.9000%   {1:  10}  
Concepts in memory

 --- Level 2:
$0.0100;0.2272;0.1000$ < animal>. <-> [feline]>. >
$0.0100;0.1766;0.1000$ < [feline]>. --> animal>. >
$0.0100;0.1889;0.1000$ animal>.
$0.0100;0.2277;0.1000$ < [feline]>. <-> animal>. >
$0.0100;0.1950;0.1000$ b
$0.0100;0.1381;0.1000$ [feline]>.
$0.0100;0.1964;0.1000$ < a --> c >
$0.0100;0.1998;0.1000$ < c --> a >
$0.0100;0.1651;0.1000$ <{felix}
$0.0190;0.2704;0.1000$ ?x>?
$0.0100;0.2421;0.1000$ < <{felix} <-> ?x>? >
$0.0100;0.2243;0.1000$ c
$0.0100;0.2227;0.1000$ a
$0.0100;0.2421;0.1000$ < <{felix} --> [feline]>. >
$0.0100;0.2421;0.1000$ < <cat --> animal>. >
$0.0100;0.2421;0.1000$ < a --> b >
$0.0100;0.2421;0.1000$ < <cat --> [feline]>. >
$0.0100;0.2421;0.1000$ < b --> c >
$0.0100;0.1950;0.1000$ <cat
$0.0100;0.1552;0.1000$ < animal>. --> [feline]>. >

Inference log

 --- clock tick: 72 --- 
 * Selected Concept: < animal>. --> [feline]>. >
 * Selected TaskLink : $0.0966;0.2811;0.3356$  _ @(T0)  < animal>. --> [feline]>. >.  %1.0000;0.4475%   {2:  3 ; 4}  

 --- clock tick: 71 --- 
 * Selected Concept: <cat
 * Selected TaskLink : $0.0114;0.1000;0.1000$  _ @(T4-2)  < <cat --> [feline]>. >.  %1.0000;0.9000%   {1:  4}  

 --- clock tick: 70 --- 
 * Selected Concept: < b --> c >
 * Selected TaskLink : $0.0100;0.1000;0.1000$  _ @(T0)  < b --> c >.  %1.0000;0.9000%   {1:  2}  

 --- clock tick: 69 --- 
 * Selected Concept: < <cat --> [feline]>. >
 * Selected TaskLink : $0.0100;0.1000;0.1000$  _ @(T0)  < <cat --> [feline]>. >.  %1.0000;0.9000%   {1:  4}  

 --- clock tick: 68 --- 
 * Selected Concept: < a --> b >
 * Selected TaskLink : $0.0100;0.1000;0.1000$  _ @(T0)  < a --> b >.  %1.0000;0.9000%   {1:  1}  

 --- clock tick: 67 --- 
 * Selected Concept: < <cat --> animal>. >
 * Selected TaskLink : $0.0100;0.1000;0.1000$  _ @(T0)  < <cat --> animal>. >.  %1.0000;0.9000%   {1:  3}  

 --- clock tick: 66 --- 
 * Selected Concept: < <{felix} --> [feline]>. >
 * Selected TaskLink : $0.0170;0.1000;0.1000$  _ @(T0)  < <{felix} --> [feline]>. >.  %1.0000;0.9000%   {1:  9}  

 --- clock tick: 65 --- 
 * Selected Concept: a
 * Selected TaskLink : $0.2435;0.3443;0.3356$  _ @(T4-3)  < c --> a >.  %1.0000;0.4475%   {2:  1 ; 2}  
 * Selected TermLink : $0.1591;0.3391;0.6075$  _ @(T4-2)  < a --> c >
 * Selected TermLink : $0.0100;0.1000;0.1000$  _ @(T4-2)  < a --> b >

 --- clock tick: 64 --- 
 * Selected Concept: c
 * Selected TaskLink : $0.2341;0.3310;0.6075$  _ @(T4-3)  < a --> c >.  %1.0000;0.8100%   {2:  2 ; 1}  
 * Selected TermLink : $0.1464;0.3443;0.3356$  _ @(T4-2)  < c --> a >
 * Selected TermLink : $0.0156;0.1000;0.1000$  _ @(T4-3)  < b --> c >

 --- clock tick: 63 --- 
!!! Insert: $0.1000;0.1000;0.1000$ < <{felix} <-> ?x>? >.  %1.0000;0.9000%   {1:  10}  
 * Selected Concept: < <{felix} <-> ?x>? >
 * Selected TaskLink : $0.1000;0.1000;0.1000$  _ @(T0)  < <{felix} <-> ?x>? >.  %1.0000;0.9000%   {1:  10}  
 * Selected TermLink : $0.0707;0.1000;0.1000$  @(T3-2) _ <{felix}
 * Selected TermLink : $0.0707;0.1000;0.1000$  @(T3-3) _ ?x>?

 --- clock tick: 62 --- 
 * Selected Concept: < c --> a >
 * Selected TaskLink : $0.1695;0.3443;0.3356$  _ @(T0)  < c --> a >.  %1.0000;0.4475%   {2:  1 ; 2}  

 --- clock tick: 61 --- 
 * Selected Concept: < a --> c >
 * Selected TaskLink : $0.1672;0.3391;0.6075$  _ @(T0)  < a --> c >.  %1.0000;0.8100%   {2:  1 ; 2}  

 --- clock tick: 60 --- 
 * Selected Concept: [feline]>.
 * Selected TaskLink : $0.0707;0.1000;0.1000$  _ @(T4-3)  < <cat --> [feline]>. >.  %1.0000;0.9000%   {1:  4}  
 * Selected TermLink : $0.2119;0.3294;0.3356$  _ @(T4-3)  < animal>. <-> [feline]>. >
 * Selected TermLink : $0.2639;0.2757;0.3356$  _ @(T4-2)  < [feline]>. --> animal>. >
 * Selected TermLink : $0.2211;0.2811;0.3356$  _ @(T4-3)  < animal>. --> [feline]>. >

 --- clock tick: 59 --- 
 * Selected Concept: <{felix}
 * Selected TaskLink : $0.0707;0.1000;0.1000$  _ @(T4-2)  < <{felix} --> [feline]>. >.  %1.0000;0.9000%   {1:  9}  

 --- clock tick: 58 --- 
 * Selected Concept: b
 * Selected TaskLink : $0.0100;0.1000;0.1000$  _ @(T4-3)  < a --> b >.  %1.0000;0.9000%   {1:  1}  

 --- clock tick: 57 --- 
 * Selected Concept: < [feline]>. <-> animal>. >
 * Selected TaskLink : $0.0831;0.3330;0.3356$  _ @(T0)  < [feline]>. <-> animal>. >.  %1.0000;0.4475%   {2:  3 ; 4}  

 --- clock tick: 56 --- 
 * Selected Concept: animal>.
 * Selected TaskLink : $0.1950;0.2757;0.3356$  _ @(T4-3)  < [feline]>. --> animal>. >.  %1.0000;0.4475%   {2:  4 ; 3}  
 * Selected TermLink : $0.1827;0.2811;0.3356$  _ @(T4-2)  < animal>. --> [feline]>. >
 * Selected TermLink : $0.1498;0.3294;0.3356$  _ @(T4-2)  < animal>. <-> [feline]>. >
 * Selected TermLink : $0.0754;0.3330;0.3356$  _ @(T4-3)  < [feline]>. <-> animal>. >

 --- clock tick: 55 --- 
 * Selected Concept: < [feline]>. --> animal>. >
 * Selected TaskLink : $0.1759;0.2757;0.3356$  _ @(T0)  < [feline]>. --> animal>. >.  %1.0000;0.4475%   {2:  4 ; 3}  

 --- clock tick: 54 --- 
 * Selected Concept: < animal>. <-> [feline]>. >
 * Selected TaskLink : $0.2368;0.3294;0.3356$  _ @(T0)  < animal>. <-> [feline]>. >.  %1.0000;0.4475%   {2:  4 ; 3}  

 --- clock tick: 53 --- 
 * Selected Concept: < animal>. --> [feline]>. >
 * Selected TaskLink : $0.1950;0.1950;0.3356$  _ @(T0)  < animal>. --> [feline]>. >.  %1.0000;0.4475%   {2:  4 ; 3}  
 * Selected TermLink : $0.1669;0.2811;0.3356$  @(T3-2) _ animal>.
 * Selected TermLink : $0.1669;0.2811;0.3356$  @(T3-3) _ [feline]>.

 --- clock tick: 52 --- 
 * Selected Concept: <cat
 * Selected TaskLink : $0.0100;0.1000;0.1000$  _ @(T4-2)  < <cat --> animal>. >.  %1.0000;0.9000%   {1:  3}  

 --- clock tick: 51 --- 
 * Selected Concept: < b --> c >
 * Selected TaskLink : $0.0100;0.1000;0.1000$  _ @(T0)  < b --> c >.  %1.0000;0.9000%   {1:  2}  

 --- clock tick: 50 --- 
 * Selected Concept: < <cat --> [feline]>. >
 * Selected TaskLink : $0.0100;0.1000;0.1000$  _ @(T0)  < <cat --> [feline]>. >.  %1.0000;0.9000%   {1:  4}  

 --- clock tick: 49 --- 
 * Selected Concept: < a --> b >
 * Selected TaskLink : $0.0100;0.1000;0.1000$  _ @(T0)  < a --> b >.  %1.0000;0.9000%   {1:  1}  

 --- clock tick: 48 --- 
 * Selected Concept: < <cat --> animal>. >
 * Selected TaskLink : $0.0100;0.1000;0.1000$  _ @(T0)  < <cat --> animal>. >.  %1.0000;0.9000%   {1:  3}  

 --- clock tick: 47 --- 
 * Selected Concept: < <{felix} --> [feline]>. >
 * Selected TaskLink : $0.1000;0.1000;0.1000$  _ @(T0)  < <{felix} --> [feline]>. >.  %1.0000;0.9000%   {1:  9}  
 * Selected TermLink : $0.0707;0.1000;0.1000$  @(T3-2) _ <{felix}
 * Selected TermLink : $0.0707;0.1000;0.1000$  @(T3-3) _ [feline]>.

 --- clock tick: 46 --- 
 * Selected Concept: a
 * Selected TaskLink : $0.0114;0.1000;0.1000$  _ @(T4-2)  < a --> b >.  %1.0000;0.9000%   {1:  1}  
 * Selected TermLink : $0.2936;0.3443;0.3356$  _ @(T4-3)  < c --> a >
 * Selected TermLink : $0.2806;0.3391;0.6075$  _ @(T4-2)  < a --> c >

 --- clock tick: 45 --- 
 * Selected Concept: c
 * Selected TaskLink : $0.2398;0.3391;0.6075$  _ @(T4-3)  < a --> c >.  %1.0000;0.8100%   {2:  1 ; 2}  
 * Selected TermLink : $0.2669;0.3443;0.3356$  _ @(T4-2)  < c --> a >

 --- clock tick: 44 --- 
 * Selected Concept: < c --> a >
 * Selected TaskLink : $0.3411;0.3411;0.3356$  _ @(T0)  < c --> a >.  %1.0000;0.4475%   {2:  2 ; 1}  
 * Selected TermLink : $0.2716;0.3443;0.3356$  @(T3-2) _ c
 * Selected TermLink : $0.2716;0.3443;0.3356$  @(T3-3) _ a

 --- clock tick: 43 --- 
!!! Insert: $0.3310;0.3310;0.6075$ < a --> c >.  %1.0000;0.8100%   {2:  2 ; 1}  
!!! Insert: $0.3411;0.3411;0.3356$ < c --> a >.  %1.0000;0.4475%   {2:  2 ; 1}  
!!! Insert: $0.1000;0.1000;0.1000$ < <{felix} --> [feline]>. >.  %1.0000;0.9000%   {1:  9}  
 * Selected Concept: < a --> c >
 * Selected TaskLink : $0.3310;0.3310;0.6075$  _ @(T0)  < a --> c >.  %1.0000;0.8100%   {2:  2 ; 1}  
 * Selected TermLink : $0.2806;0.3391;0.6075$  @(T3-2) _ a
 * Selected TermLink : $0.2817;0.3391;0.6075$  @(T3-3) _ c

 --- clock tick: 42 --- 
 * Selected Concept: b
 * Selected TaskLink : $0.0707;0.1000;0.1000$  _ @(T4-2)  < b --> c >.  %1.0000;0.9000%   {1:  2}  
 * Selected TermLink : $0.0384;0.1000;0.1000$  _ @(T4-3)  < a --> b >
 * Selected Belief: < a --> b >.  %1.0000;0.9000%   {1:  1}  
!!! Derived: $0.3310;0.3310;0.6075$ < a --> c >.  %1.0000;0.8100%   {2:  2 ; 1}  
!!! Derived: $0.3411;0.3411;0.3356$ < c --> a >.  %1.0000;0.4475%   {2:  2 ; 1}  

 --- clock tick: 41 --- 
 * Selected Concept: < [feline]>. <-> animal>. >
 * Selected TaskLink : $0.1556;0.3330;0.3356$  _ @(T0)  < [feline]>. <-> animal>. >.  %1.0000;0.4475%   {2:  3 ; 4}  

 --- clock tick: 40 --- 
 * Selected Concept: [feline]>.
 * Selected TaskLink : $0.1436;0.2032;0.3356$  _ @(T4-2)  < [feline]>. --> animal>. >.  %1.0000;0.4475%   {2:  3 ; 4}  
 * Selected TermLink : $0.2146;0.3330;0.3356$  _ @(T4-2)  < [feline]>. <-> animal>. >
 * Selected TermLink : $0.2690;0.2811;0.3356$  _ @(T4-3)  < animal>. --> [feline]>. >
 * Selected TermLink : $0.2329;0.3294;0.3356$  _ @(T4-3)  < animal>. <-> [feline]>. >

 --- clock tick: 39 --- 
 * Selected Concept: animal>.
 * Selected TaskLink : $0.1988;0.2811;0.3356$  _ @(T4-2)  < animal>. --> [feline]>. >.  %1.0000;0.4475%   {2:  3 ; 4}  
 * Selected TermLink : $0.2671;0.2757;0.3356$  _ @(T4-3)  < [feline]>. --> animal>. >
 * Selected TermLink : $0.2329;0.3294;0.3356$  _ @(T4-2)  < animal>. <-> [feline]>. >
 * Selected TermLink : $0.0939;0.3330;0.3356$  _ @(T4-3)  < [feline]>. <-> animal>. >

 --- clock tick: 38 --- 
 * Selected Concept: < [feline]>. --> animal>. >
 * Selected TaskLink : $0.2757;0.2757;0.3356$  _ @(T0)  < [feline]>. --> animal>. >.  %1.0000;0.4475%   {2:  4 ; 3}  
 * Selected TermLink : $0.2220;0.2757;0.3356$  @(T3-2) _ [feline]>.
 * Selected TermLink : $0.2220;0.2757;0.3356$  @(T3-3) _ animal>.

 --- clock tick: 37 --- 
!!! Insert: $0.1950;0.1950;0.3356$ < animal>. --> [feline]>. >.  %1.0000;0.4475%   {2:  4 ; 3}  
!!! Insert: $0.2757;0.2757;0.3356$ < [feline]>. --> animal>. >.  %1.0000;0.4475%   {2:  4 ; 3}  
!!! Insert: $0.3294;0.3294;0.3356$ < animal>. <-> [feline]>. >.  %1.0000;0.4475%   {2:  4 ; 3}  
 * Selected Concept: < animal>. <-> [feline]>. >
 * Selected TaskLink : $0.3294;0.3294;0.3356$  _ @(T0)  < animal>. <-> [feline]>. >.  %1.0000;0.4475%   {2:  4 ; 3}  
 * Selected TermLink : $0.2329;0.3294;0.3356$  @(T3-2) _ animal>.
 * Selected TermLink : $0.2329;0.3294;0.3356$  @(T3-3) _ [feline]>.

 --- clock tick: 36 --- 
 * Selected Concept: <cat
 * Selected TaskLink : $0.0707;0.1000;0.1000$  _ @(T4-2)  < <cat --> [feline]>. >.  %1.0000;0.9000%   {1:  4}  
 * Selected TermLink : $0.0384;0.1000;0.1000$  _ @(T4-2)  < <cat --> animal>. >
 * Selected Belief: < <cat --> animal>. >.  %1.0000;0.9000%   {1:  3}  
!!! Derived: $0.1950;0.1950;0.3356$ < animal>. --> [feline]>. >.  %1.0000;0.4475%   {2:  4 ; 3}  
!!! Derived: $0.2757;0.2757;0.3356$ < [feline]>. --> animal>. >.  %1.0000;0.4475%   {2:  4 ; 3}  
!!! Derived: $0.3294;0.3294;0.3356$ < animal>. <-> [feline]>. >.  %1.0000;0.4475%   {2:  4 ; 3}  

 --- clock tick: 35 --- 
 * Selected Concept: < b --> c >
 * Selected TaskLink : $0.0100;0.1000;0.1000$  _ @(T0)  < b --> c >.  %1.0000;0.9000%   {1:  2}  

 --- clock tick: 34 --- 
 * Selected Concept: < <cat --> [feline]>. >
 * Selected TaskLink : $0.0100;0.1000;0.1000$  _ @(T0)  < <cat --> [feline]>. >.  %1.0000;0.9000%   {1:  4}  

 --- clock tick: 33 --- 
 * Selected Concept: < a --> b >
 * Selected TaskLink : $0.0100;0.1000;0.1000$  _ @(T0)  < a --> b >.  %1.0000;0.9000%   {1:  1}  

 --- clock tick: 32 --- 
 * Selected Concept: < <cat --> animal>. >
 * Selected TaskLink : $0.0100;0.1000;0.1000$  _ @(T0)  < <cat --> animal>. >.  %1.0000;0.9000%   {1:  3}  

 --- clock tick: 31 --- 
 * Selected Concept: c
 * Selected TaskLink : $0.0707;0.1000;0.1000$  _ @(T4-3)  < b --> c >.  %1.0000;0.9000%   {1:  2}  
 * Selected TermLink : $0.1241;0.3443;0.3356$  _ @(T4-2)  < c --> a >
 * Selected TermLink : $0.1210;0.3391;0.6075$  _ @(T4-3)  < a --> c >

 --- clock tick: 30 --- 
 * Selected Concept: a
 * Selected TaskLink : $0.1586;0.3391;0.6075$  _ @(T4-2)  < a --> c >.  %1.0000;0.8100%   {2:  1 ; 2}  

 --- clock tick: 29 --- 
 * Selected Concept: < a --> c >
 * Selected TaskLink : $0.2495;0.3391;0.6075$  _ @(T0)  < a --> c >.  %1.0000;0.8100%   {2:  1 ; 2}  

 --- clock tick: 28 --- 
 * Selected Concept: < c --> a >
 * Selected TaskLink : $0.2541;0.3443;0.3356$  _ @(T0)  < c --> a >.  %1.0000;0.4475%   {2:  1 ; 2}  

 --- clock tick: 27 --- 
 * Selected Concept: b
 * Selected TaskLink : $0.0114;0.1000;0.1000$  _ @(T4-3)  < a --> b >.  %1.0000;0.9000%   {1:  1}  

 --- clock tick: 26 --- 
 * Selected Concept: < [feline]>. --> animal>. >
 * Selected TaskLink : $0.0998;0.2032;0.3356$  _ @(T0)  < [feline]>. --> animal>. >.  %1.0000;0.4475%   {2:  3 ; 4}  

 --- clock tick: 25 --- 
 * Selected Concept: animal>.
 * Selected TaskLink : $0.2354;0.3330;0.3356$  _ @(T4-3)  < [feline]>. <-> animal>. >.  %1.0000;0.4475%   {2:  3 ; 4}  
 * Selected TermLink : $0.1988;0.2811;0.3356$  _ @(T4-2)  < animal>. --> [feline]>. >
 * Selected TermLink : $0.1436;0.2032;0.3356$  _ @(T4-3)  < [feline]>. --> animal>. >

 --- clock tick: 24 --- 
 * Selected Concept: [feline]>.
 * Selected TaskLink : $0.1988;0.2811;0.3356$  _ @(T4-3)  < animal>. --> [feline]>. >.  %1.0000;0.4475%   {2:  3 ; 4}  
 * Selected TermLink : $0.1436;0.2032;0.3356$  _ @(T4-2)  < [feline]>. --> animal>. >
 * Selected TermLink : $0.0707;0.1000;0.1000$  _ @(T4-3)  < <cat --> [feline]>. >
 * Selected TermLink : $0.2354;0.3330;0.3356$  _ @(T4-2)  < [feline]>. <-> animal>. >

 --- clock tick: 23 --- 
 * Selected Concept: < animal>. --> [feline]>. >
 * Selected TaskLink : $0.1819;0.2811;0.3356$  _ @(T0)  < animal>. --> [feline]>. >.  %1.0000;0.4475%   {2:  3 ; 4}  

 --- clock tick: 22 --- 
 * Selected Concept: < [feline]>. <-> animal>. >
 * Selected TaskLink : $0.2409;0.3330;0.3356$  _ @(T0)  < [feline]>. <-> animal>. >.  %1.0000;0.4475%   {2:  3 ; 4}  

 --- clock tick: 21 --- 
 * Selected Concept: <cat
 * Selected TaskLink : $0.0114;0.1000;0.1000$  _ @(T4-2)  < <cat --> animal>. >.  %1.0000;0.9000%   {1:  3}  

 --- clock tick: 20 --- 
 * Selected Concept: < b --> c >
 * Selected TaskLink : $0.0170;0.1000;0.1000$  _ @(T0)  < b --> c >.  %1.0000;0.9000%   {1:  2}  

 --- clock tick: 19 --- 
 * Selected Concept: < <cat --> [feline]>. >
 * Selected TaskLink : $0.0170;0.1000;0.1000$  _ @(T0)  < <cat --> [feline]>. >.  %1.0000;0.9000%   {1:  4}  

 --- clock tick: 18 --- 
 * Selected Concept: < a --> b >
 * Selected TaskLink : $0.0100;0.1000;0.1000$  _ @(T0)  < a --> b >.  %1.0000;0.9000%   {1:  1}  

 --- clock tick: 17 --- 
 * Selected Concept: < <cat --> animal>. >
 * Selected TaskLink : $0.0170;0.1000;0.1000$  _ @(T0)  < <cat --> animal>. >.  %1.0000;0.9000%   {1:  3}  

 --- clock tick: 16 --- 
 * Selected Concept: c
 * Selected TaskLink : $0.2435;0.3443;0.3356$  _ @(T4-2)  < c --> a >.  %1.0000;0.4475%   {2:  1 ; 2}  
 * Selected TermLink : $0.0707;0.1000;0.1000$  _ @(T4-3)  < b --> c >
 * Selected TermLink : $0.2398;0.3391;0.6075$  _ @(T4-3)  < a --> c >

 --- clock tick: 15 --- 
 * Selected Concept: a
 * Selected TaskLink : $0.2398;0.3391;0.6075$  _ @(T4-2)  < a --> c >.  %1.0000;0.8100%   {2:  1 ; 2}  
 * Selected TermLink : $0.2435;0.3443;0.3356$  _ @(T4-3)  < c --> a >

 --- clock tick: 14 --- 
!!! Insert: $0.3391;0.3391;0.6075$ < a --> c >.  %1.0000;0.8100%   {2:  1 ; 2}  
 * Selected Concept: < a --> c >
 * Selected TaskLink : $0.3391;0.3391;0.6075$  _ @(T0)  < a --> c >.  %1.0000;0.8100%   {2:  1 ; 2}  
 * Selected TermLink : $0.2398;0.3391;0.6075$  @(T3-2) _ a
 * Selected TermLink : $0.2398;0.3391;0.6075$  @(T3-3) _ c

 --- clock tick: 13 --- 
!!! Insert: $0.3443;0.3443;0.3356$ < c --> a >.  %1.0000;0.4475%   {2:  1 ; 2}  
 * Selected Concept: < c --> a >
 * Selected TaskLink : $0.3443;0.3443;0.3356$  _ @(T0)  < c --> a >.  %1.0000;0.4475%   {2:  1 ; 2}  
 * Selected TermLink : $0.2435;0.3443;0.3356$  @(T3-2) _ c
 * Selected TermLink : $0.2435;0.3443;0.3356$  @(T3-3) _ a

 --- clock tick: 12 --- 
 * Selected Concept: b
 * Selected TaskLink : $0.0707;0.1000;0.1000$  _ @(T4-3)  < a --> b >.  %1.0000;0.9000%   {1:  1}  
 * Selected TermLink : $0.0707;0.1000;0.1000$  _ @(T4-2)  < b --> c >
 * Selected Belief: < b --> c >.  %1.0000;0.9000%   {1:  2}  
!!! Derived: $0.3391;0.3391;0.6075$ < a --> c >.  %1.0000;0.8100%   {2:  1 ; 2}  
!!! Derived: $0.3443;0.3443;0.3356$ < c --> a >.  %1.0000;0.4475%   {2:  1 ; 2}  

 --- clock tick: 11 --- 
!!! Insert: $0.2032;0.2032;0.3356$ < [feline]>. --> animal>. >.  %1.0000;0.4475%   {2:  3 ; 4}  
 * Selected Concept: < [feline]>. --> animal>. >
 * Selected TaskLink : $0.2032;0.2032;0.3356$  _ @(T0)  < [feline]>. --> animal>. >.  %1.0000;0.4475%   {2:  3 ; 4}  
 * Selected TermLink : $0.1436;0.2032;0.3356$  @(T3-2) _ [feline]>.
 * Selected TermLink : $0.1436;0.2032;0.3356$  @(T3-3) _ animal>.

 --- clock tick: 10 --- 
!!! Insert: $0.2811;0.2811;0.3356$ < animal>. --> [feline]>. >.  %1.0000;0.4475%   {2:  3 ; 4}  
 * Selected Concept: < animal>. --> [feline]>. >
 * Selected TaskLink : $0.2811;0.2811;0.3356$  _ @(T0)  < animal>. --> [feline]>. >.  %1.0000;0.4475%   {2:  3 ; 4}  
 * Selected TermLink : $0.1988;0.2811;0.3356$  @(T3-2) _ animal>.
 * Selected TermLink : $0.1988;0.2811;0.3356$  @(T3-3) _ [feline]>.

 --- clock tick: 9 --- 
!!! Insert: $0.3330;0.3330;0.3356$ < [feline]>. <-> animal>. >.  %1.0000;0.4475%   {2:  3 ; 4}  
 * Selected Concept: < [feline]>. <-> animal>. >
 * Selected TaskLink : $0.3330;0.3330;0.3356$  _ @(T0)  < [feline]>. <-> animal>. >.  %1.0000;0.4475%   {2:  3 ; 4}  
 * Selected TermLink : $0.2354;0.3330;0.3356$  @(T3-2) _ [feline]>.
 * Selected TermLink : $0.2354;0.3330;0.3356$  @(T3-3) _ animal>.

 --- clock tick: 8 --- 
 * Selected Concept: <cat
 * Selected TaskLink : $0.0707;0.1000;0.1000$  _ @(T4-2)  < <cat --> animal>. >.  %1.0000;0.9000%   {1:  3}  
 * Selected TermLink : $0.0707;0.1000;0.1000$  _ @(T4-2)  < <cat --> [feline]>. >
 * Selected Belief: < <cat --> [feline]>. >.  %1.0000;0.9000%   {1:  4}  
!!! Derived: $0.2032;0.2032;0.3356$ < [feline]>. --> animal>. >.  %1.0000;0.4475%   {2:  3 ; 4}  
!!! Derived: $0.2811;0.2811;0.3356$ < animal>. --> [feline]>. >.  %1.0000;0.4475%   {2:  3 ; 4}  
!!! Derived: $0.3330;0.3330;0.3356$ < [feline]>. <-> animal>. >.  %1.0000;0.4475%   {2:  3 ; 4}  

 --- clock tick: 7 --- 
 * Selected Concept: animal>.
 * Selected TaskLink : $0.0707;0.1000;0.1000$  _ @(T4-3)  < <cat --> animal>. >.  %1.0000;0.9000%   {1:  3}  

 --- clock tick: 6 --- 
 * Selected Concept: < b --> c >
 * Selected TaskLink : $0.1000;0.1000;0.1000$  _ @(T0)  < b --> c >.  %1.0000;0.9000%   {1:  2}  
 * Selected TermLink : $0.0707;0.1000;0.1000$  @(T3-2) _ b
 * Selected TermLink : $0.0707;0.1000;0.1000$  @(T3-3) _ c

 --- clock tick: 5 --- 
 * Selected Concept: < <cat --> [feline]>. >
 * Selected TaskLink : $0.1000;0.1000;0.1000$  _ @(T0)  < <cat --> [feline]>. >.  %1.0000;0.9000%   {1:  4}  
 * Selected TermLink : $0.0707;0.1000;0.1000$  @(T3-2) _ <cat
 * Selected TermLink : $0.0707;0.1000;0.1000$  @(T3-3) _ [feline]>.

 --- clock tick: 4 --- 
 * Selected Concept: < a --> b >
 * Selected TaskLink : $0.0170;0.1000;0.1000$  _ @(T0)  < a --> b >.  %1.0000;0.9000%   {1:  1}  

 --- clock tick: 3 --- 
 * Selected Concept: < <cat --> animal>. >
 * Selected TaskLink : $0.1000;0.1000;0.1000$  _ @(T0)  < <cat --> animal>. >.  %1.0000;0.9000%   {1:  3}  
 * Selected TermLink : $0.0707;0.1000;0.1000$  @(T3-2) _ <cat
 * Selected TermLink : $0.0707;0.1000;0.1000$  @(T3-3) _ animal>.

 --- clock tick: 2 --- 
!!! Insert: $0.1000;0.1000;0.1000$ < <cat --> animal>. >.  %1.0000;0.9000%   {1:  3}  
!!! Insert: $0.1000;0.1000;0.1000$ < <cat --> [feline]>. >.  %1.0000;0.9000%   {1:  4}  
!!! Insert: $0.1000;0.1000;0.1000$ < b --> c >.  %1.0000;0.9000%   {1:  2}  
 * Selected Concept: a
 * Selected TaskLink : $0.0707;0.1000;0.1000$  _ @(T4-2)  < a --> b >.  %1.0000;0.9000%   {1:  1}  

 --- clock tick: 1 --- 
!!! Insert: $0.1000;0.1000;0.1000$ < a --> b >.  %1.0000;0.9000%   {1:  1}  
 * Selected Concept: < a --> b >
 * Selected TaskLink : $0.1000;0.1000;0.1000$  _ @(T0)  < a --> b >.  %1.0000;0.9000%   {1:  1}  
 * Selected TermLink : $0.0707;0.1000;0.1000$  @(T3-2) _ a
 * Selected TermLink : $0.0707;0.1000;0.1000$  @(T3-3) _ b

!!! Input: $0.1000;0.1000;0.1000$ < a --> b >.  %1.0000;0.9000%   {1:  1}  
!!! Input: $0.1000;0.1000;0.1000$ < b --> c >.  %1.0000;0.9000%   {1:  2}  
!!! Input: $0.1000;0.1000;0.1000$ < <cat --> animal>. >.  %1.0000;0.9000%   {1:  3}  
!!! Input: $0.1000;0.1000;0.1000$ < <cat --> [feline]>. >.  %1.0000;0.9000%   {1:  4}  
!!! Input: $0.1000;0.1000;0.1000$ < <{felix} --> [feline]>. >.  %1.0000;0.9000%   {1:  9}  
!!! Input: $0.1000;0.1000;0.1000$ < <{felix} <-> ?x>? >.  %1.0000;0.9000%   {1:  10}