(.: ((((sheep --> (IntSet see)) &/ (^ count)) =/> (sheep --> (IntSet counted))) (1.0 0.9)))
(time := 1)
(time := 2)
(.: ((sheep --> (IntSet white)) (1.0 0.9)))
(time := 3)
(.: (((ExtSet instance1) --> (IntSet white)) (1.0 0.9)))
(time := 4)
(.: (((ExtSet instance1) --> (IntSet see)) (1.0 0.9)))
(time := 5)
(quote (Expected: ((Event (((ExtSet instance1) --> sheep) (1.0 0.30916030534351147)) (eternal (4 3) (0 0.0)))) Got: ()))
(quote (Expected: ((Event ((sheep --> (IntSet see)) (1.0 0.28712091374556914)) (eternal (5 4 3) (0 0.0)))) Got: ()))
(!: ((sheep --> (IntSet counted)) (1.0 0.9)))
(time := 6)
(quote (Expected: ((^ count)) Got: ()))
[()]
[((___ currentTime 1) (___ evidentialBase 1) (___ concepts 0 ()) (___ attentional_focus 0 ()) (___ FIFO 0 ()) (___ tempbest ()) (___ belief_events 0 ()) (___ goal_events 0 ()))]
[]
[((___ currentTime 2) (___ evidentialBase 2) (___ concepts 0 ()) (___ attentional_focus 0 ()) (___ FIFO 1 ((Event ((((sheep --> (IntSet see)) &/ (^ count)) =/> (sheep --> (IntSet counted))) (1.0 0.9)) (1 (1) (1 1.0))))) (___ tempbest (Event ((((sheep --> (IntSet see)) &/ (^ count)) =/> (sheep --> (IntSet counted))) (1.0 0.9)) (1 (1) (1 1.0)))) (___ belief_events 0 ()) (___ goal_events 0 ()))]
[]
[((___ currentTime 3) (___ evidentialBase 3) (___ concepts 0 ()) (___ attentional_focus 0 ()) (___ FIFO 1 ((Event ((((sheep --> (IntSet see)) &/ (^ count)) =/> (sheep --> (IntSet counted))) (1.0 0.9)) (1 (1) (1 1.0))))) (___ tempbest ()) (___ belief_events 0 ()) (___ goal_events 0 ()))]
[]
[((___ currentTime 4) (___ evidentialBase 4) (___ concepts 0 ()) (___ attentional_focus 0 ()) (___ FIFO 2 ((Event ((sheep --> (IntSet white)) (1.0 0.9)) (3 (3) (3 1.0))) (Event ((((sheep --> (IntSet see)) &/ (^ count)) =/> (sheep --> (IntSet counted))) (1.0 0.9)) (1 (1) (1 1.0))))) (___ tempbest (Event ((sheep --> (IntSet white)) (1.0 0.9)) (3 (3) (3 1.0)))) (___ belief_events 0 ()) (___ goal_events 0 ()))]
[]
[((___ currentTime 5) (___ evidentialBase 5) (___ concepts 0 ()) (___ attentional_focus 0 ()) (___ FIFO 3 ((Event (((ExtSet instance1) --> (IntSet white)) (1.0 0.9)) (4 (4) (4 1.0))) (Event ((sheep --> (IntSet white)) (1.0 0.9)) (3 (3) (3 1.0))) (Event ((((sheep --> (IntSet see)) &/ (^ count)) =/> (sheep --> (IntSet counted))) (1.0 0.9)) (1 (1) (1 1.0))))) (___ tempbest (Event (((ExtSet instance1) --> (IntSet white)) (1.0 0.9)) (4 (4) (4 1.0)))) (___ belief_events 0 ()) (___ goal_events 0 ()))]
[]
[((___ currentTime 6) (___ evidentialBase 6) (___ concepts 0 ()) (___ attentional_focus 0 ()) (___ FIFO 3 ((Event (((ExtSet instance1) --> (IntSet see)) (1.0 0.9)) (5 (5) (5 1.0))) (Event (((ExtSet instance1) --> (IntSet white)) (1.0 0.9)) (4 (4) (4 1.0))) (Event ((sheep --> (IntSet white)) (1.0 0.9)) (3 (3) (3 1.0))))) (___ tempbest (Event (((ExtSet instance1) --> (IntSet see)) (1.0 0.9)) (5 (5) (5 1.0)))) (___ belief_events 0 ()) (___ goal_events 0 ()))]
[(quote (Expected: ((Event (((ExtSet instance1) --> sheep) (1.0 0.30916030534351147)) (eternal (4 3) (0 0.0)))) Got: ()))]
[(quote (Expected: ((Event ((sheep --> (IntSet see)) (1.0 0.28712091374556914)) (eternal (5 4 3) (0 0.0)))) Got: ()))]
[((___ currentTime 6) (___ evidentialBase 6) (___ concepts 0 ()) (___ attentional_focus 0 ()) (___ FIFO 3 ((Event (((ExtSet instance1) --> (IntSet see)) (1.0 0.9)) (5 (5) (5 1.0))) (Event (((ExtSet instance1) --> (IntSet white)) (1.0 0.9)) (4 (4) (4 1.0))) (Event ((sheep --> (IntSet white)) (1.0 0.9)) (3 (3) (3 1.0))))) (___ tempbest (Event (((ExtSet instance1) --> (IntSet see)) (1.0 0.9)) (5 (5) (5 1.0)))) (___ belief_events 0 ()) (___ goal_events 0 ()))]
[(quote (Expected: ((^ count)) Got: ()))]
[((___ currentTime 7) (___ evidentialBase 7) (___ concepts 0 ()) (___ attentional_focus 0 ()) (___ FIFO 3 ((Event (((ExtSet instance1) --> (IntSet see)) (1.0 0.9)) (5 (5) (5 1.0))) (Event (((ExtSet instance1) --> (IntSet white)) (1.0 0.9)) (4 (4) (4 1.0))) (Event ((sheep --> (IntSet white)) (1.0 0.9)) (3 (3) (3 1.0))))) (___ tempbest ()) (___ belief_events 0 ()) (___ goal_events 0 ()))]
2.68user 0.01system 0:02.70elapsed 99%CPU (0avgtext+0avgdata 47828maxresident)k
0inputs+0outputs (0major+6147minor)pagefaults 0swaps