(.: (((ExtSet garfield) --> cat) (1.0 0.9)))
(time := 1)
(.: (((cat x sky) --> like) (1.0 0.9)))
(time := 2)
(.: ((sky --> (IntSet blue)) (1.0 0.9)))
(time := 3)
(.: ((A --> cat) (1.0 0.9)))
(time := 4)
(.: ((B --> cat) (1.0 0.9)))
(time := 5)
(.: ((C --> cat) (1.0 0.9)))
(time := 6)
(.: ((((ExtSet garfield) x (IntSet blue)) --> like) (1.0 0.9)))
(time := 7)
[()]
[]
[((n=v currentTime 2) (n=v evidentialBase 2) (0 concepts ()) (0 attentional_focus ()) (1 FIFO ((Event (((ExtSet garfield) --> cat) (1.0 0.9)) (1 (1) (1 1.0))))) (n=v tempbest (Event (((ExtSet garfield) --> cat) (1.0 0.9)) (1 (1) (1 1.0)))) (0 belief_events ()) (0 goal_events ()))]
[]
[((n=v currentTime 3) (n=v evidentialBase 3) (0 concepts ()) (0 attentional_focus ()) (2 FIFO ((Event (((cat x sky) --> like) (1.0 0.9)) (2 (2) (2 1.0))) (Event (((ExtSet garfield) --> cat) (1.0 0.9)) (1 (1) (1 1.0))))) (n=v tempbest (Event (((cat x sky) --> like) (1.0 0.9)) (2 (2) (2 1.0)))) (0 belief_events ()) (0 goal_events ()))]
[]
[((n=v currentTime 4) (n=v evidentialBase 4) (0 concepts ()) (0 attentional_focus ()) (3 FIFO ((Event ((sky --> (IntSet blue)) (1.0 0.9)) (3 (3) (3 1.0))) (Event (((cat x sky) --> like) (1.0 0.9)) (2 (2) (2 1.0))) (Event (((ExtSet garfield) --> cat) (1.0 0.9)) (1 (1) (1 1.0))))) (n=v tempbest (Event ((sky --> (IntSet blue)) (1.0 0.9)) (3 (3) (3 1.0)))) (0 belief_events ()) (0 goal_events ()))]
[]
[]
[((n=v currentTime 5) (n=v evidentialBase 5) (0 concepts ()) (0 attentional_focus ()) (3 FIFO ((Event ((A --> cat) (1.0 0.9)) (4 (4) (4 1.0))) (Event ((sky --> (IntSet blue)) (1.0 0.9)) (3 (3) (3 1.0))) (Event (((cat x sky) --> like) (1.0 0.9)) (2 (2) (2 1.0))))) (n=v tempbest (Event ((A --> cat) (1.0 0.9)) (4 (4) (4 1.0)))) (0 belief_events ()) (0 goal_events ()))]
[]
[((n=v currentTime 6) (n=v evidentialBase 6) (0 concepts ()) (0 attentional_focus ()) (3 FIFO ((Event ((B --> cat) (1.0 0.9)) (5 (5) (5 1.0))) (Event ((A --> cat) (1.0 0.9)) (4 (4) (4 1.0))) (Event ((sky --> (IntSet blue)) (1.0 0.9)) (3 (3) (3 1.0))))) (n=v tempbest (Event ((B --> cat) (1.0 0.9)) (5 (5) (5 1.0)))) (0 belief_events ()) (0 goal_events ()))]
[]
[((n=v currentTime 7) (n=v evidentialBase 7) (0 concepts ()) (0 attentional_focus ()) (3 FIFO ((Event ((C --> cat) (1.0 0.9)) (6 (6) (6 1.0))) (Event ((B --> cat) (1.0 0.9)) (5 (5) (5 1.0))) (Event ((A --> cat) (1.0 0.9)) (4 (4) (4 1.0))))) (n=v tempbest (Event ((C --> cat) (1.0 0.9)) (6 (6) (6 1.0)))) (0 belief_events ()) (0 goal_events ()))]
[]
[((n=v currentTime 8) (n=v evidentialBase 8) (0 concepts ()) (0 attentional_focus ()) (3 FIFO ((Event ((((ExtSet garfield) x (IntSet blue)) --> like) (1.0 0.9)) (7 (7) (7 1.0))) (Event ((C --> cat) (1.0 0.9)) (6 (6) (6 1.0))) (Event ((B --> cat) (1.0 0.9)) (5 (5) (5 1.0))))) (n=v tempbest (Event ((((ExtSet garfield) x (IntSet blue)) --> like) (1.0 0.9)) (7 (7) (7 1.0)))) (0 belief_events ()) (0 goal_events ()))]
[]
[((n=v currentTime 8) (n=v evidentialBase 8) (0 concepts ()) (0 attentional_focus ()) (3 FIFO ((Event ((((ExtSet garfield) x (IntSet blue)) --> like) (1.0 0.9)) (7 (7) (7 1.0))) (Event ((C --> cat) (1.0 0.9)) (6 (6) (6 1.0))) (Event ((B --> cat) (1.0 0.9)) (5 (5) (5 1.0))))) (n=v tempbest (Event ((((ExtSet garfield) x (IntSet blue)) --> like) (1.0 0.9)) (7 (7) (7 1.0)))) (0 belief_events ()) (0 goal_events ()))]
[0]
[0]
[0]
3.22user 0.01system 0:03.23elapsed 99%CPU (0avgtext+0avgdata 50124maxresident)k
0inputs+0outputs (0major+6755minor)pagefaults 0swaps