(.: (((ExtSet garfield) --> cat) (1.0 0.9)))
(time := 1)
(.: (((cat x sky) --> like) (1.0 0.9)))
(.: ((((ExtSet garfield) x sky) --> like) (1.0 0.81)))
(time := 2)
(.: ((sky --> (IntSet blue)) (1.0 0.9)))
(time := 3)
(.: (((((ExtSet garfield) x (IntSet blue)) --> like) ==> ((ExtSet garfield) --> artist)) (1.0 0.9)))
(time := 4)
[()]
[]
[((___ currentTime 2) (___ evidentialBase 2) (___ concepts 0 ()) (___ attentional_focus 1 ((Concept ((ExtSet garfield) --> cat) (Event (((ExtSet garfield) --> cat) (1.0 0.4736842105263158)) (eternal (1) (0 0.0))) (Event (((ExtSet garfield) --> cat) (1.0 0.9)) (1 (1) (1 1.0))) (1 1.0)))) (___ FIFO 1 ((Event (((ExtSet garfield) --> cat) (1.0 0.9)) (1 (1) (1 1.0))))) (___ tempbest (Event (((ExtSet garfield) --> cat) (1.0 0.9)) (1 (1) (1 1.0)))) (___ belief_events 0 ()) (___ goal_events 0 ()))]
[]
[((___ currentTime 3) (___ evidentialBase 3) (___ concepts 0 ()) (___ attentional_focus 1 ((Concept ((ExtSet garfield) --> cat) (Event (((ExtSet garfield) --> cat) (1.0 0.4736842105263158)) (eternal (1) (0 0.0))) (Event (((ExtSet garfield) --> cat) (1.0 0.9)) (1 (1) (1 1.0))) (1 1.0)))) (___ FIFO 2 ((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))))) (___ tempbest (Event (((cat x sky) --> like) (1.0 0.9)) (2 (2) (2 1.0)))) (___ belief_events 1 ((Event ((((ExtSet garfield) x sky) --> like) (1.0 0.81)) (2 (2 1.0) (2 0.4525))))) (___ goal_events 0 ()))]
[]
[((___ currentTime 4) (___ evidentialBase 4) (___ concepts 0 ()) (___ attentional_focus 1 ((Concept ((ExtSet garfield) --> cat) (Event (((ExtSet garfield) --> cat) (1.0 0.4736842105263158)) (eternal (1) (0 0.0))) (Event (((ExtSet garfield) --> cat) (1.0 0.9)) (1 (1) (1 1.0))) (1 1.0)))) (___ FIFO 3 ((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))))) (___ tempbest (Event ((sky --> (IntSet blue)) (1.0 0.9)) (3 (3) (3 1.0)))) (___ belief_events 1 ((Event ((((ExtSet garfield) x sky) --> like) (1.0 0.81)) (2 (2 1.0) (2 0.4525))))) (___ goal_events 0 ()))]
[]
[((___ currentTime 5) (___ evidentialBase 5) (___ concepts 0 ()) (___ attentional_focus 1 ((Concept ((ExtSet garfield) --> cat) (Event (((ExtSet garfield) --> cat) (1.0 0.4736842105263158)) (eternal (1) (0 0.0))) (Event (((ExtSet garfield) --> cat) (1.0 0.9)) (1 (1) (1 1.0))) (1 1.0)))) (___ FIFO 3 ((Event (((((ExtSet garfield) x (IntSet blue)) --> like) ==> ((ExtSet garfield) --> artist)) (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))))) (___ tempbest (Event (((((ExtSet garfield) x (IntSet blue)) --> like) ==> ((ExtSet garfield) --> artist)) (1.0 0.9)) (4 (4) (4 1.0)))) (___ belief_events 1 ((Event ((((ExtSet garfield) x sky) --> like) (1.0 0.81)) (2 (2 1.0) (2 0.4525))))) (___ goal_events 0 ()))]
[(Error (assertEqualToResult (EternalQuestion ((ExtSet garfield) --> artist)) ((Event (((ExtSet garfield) --> artist) (1.0 0.27508280575237937)) (eternal (4 3 2 1.0) (0 0.0))))) 
Expected: [(Event (((ExtSet garfield) --> artist) (1.0 0.27508280575237937)) (eternal (4 3 2 1.0) (0 0.0)))]
Got: [()]
Missed result: (Event (((ExtSet garfield) --> artist) (1.0 0.27508280575237937)) (eternal (4 3 2 1.0) (0 0.0))))]
4.02user 0.02system 0:04.04elapsed 100%CPU (0avgtext+0avgdata 48292maxresident)k
0inputs+0outputs (0major+8073minor)pagefaults 0swaps