** temporal deduction/explification IN: <<(*, #x, room_101) --> enter> =\> <(*, #x, door_101) --> open>>. %0.9% IN: <<(*, #y, door_101) --> open> =\> <(*, #y, key_101) --> hold>>. %0.8% 14 OUT: <<(*,#1,room_101) --> enter> =\> <(*,#1,key_101) --> hold>>. %0.72;0.58% OUT: <<(*,#1,key_101) --> hold> =\> <(*,#1,room_101) --> enter>>. %1.00;0.37%

** temporal induction/comparison IN: <<(*, #x, door_101) --> open> =/> <(*, #x, room_101) --> enter>>. %0.9% IN: <<(*, #y, door_101) --> open> =\> <(*, #y, key_101) --> hold>>. %0.8% 14 OUT: <<(*,#1,key_101) --> hold> =/> <(*,#1,room_101) --> enter>>. %0.90;0.39% OUT: <<(*,#1,room_101) --> enter> =/> <(*,#1,key_101) --> hold>>. %0.80;0.42% OUT: <<(*,#1,room_101) --> enter> <=> <(*,#1,key_101) --> hold>>. %0.73;0.44%

** temporal analogy IN: <<(*, #x, door_101) --> open> =/> <(*, #x, room_101) --> enter>>. %0.95% IN: <<(*, #x, room_101) --> enter> <=> <(*, #x, corridor_100) --> leave>>. 13 OUT: <<(*,#1,door_101) --> open> =/> <(*,#1,corridor_100) --> leave>>. %0.95;0.81%

** inference on tense IN: <<(*, #x, key_101) --> hold> =/> <(*, #x, room_101) --> enter>>. IN: <(*, John, key_101) --> hold>. :/: 20

OUT: <(*,John,room_101) --> enter>. :\: %1.00;0.81%

** inference on tense IN: <<(*,#x,key_101) --> hold> =/> <(*,#x,room_101) --> enter>>.

IN: <(*,John,room_101) --> enter>. :|: 19 OUT: <(*,John,key_101) --> hold>. :\: %1.00;0.45%

** inference on tense IN: <<(*,John,key_101) --> hold> =/> <(*,John,room_101) --> enter>>.

IN: <(*,John,key_101) --> hold>. :|: 2 OUT: <(*,John,room_101) --> enter>. :\: %1.00;0.81%

** inference on tense IN: <<(*,John,key_101) --> hold> =/> <(*,John,room_101) --> enter>>. %1.00;0.90%

IN: <(*,John,room_101) --> enter>. :\: %1.00;0.90% 2 OUT: <(*,John,key_101) --> hold>. :\: %1.00;0.45%

** induction on events IN: <(*,John,door_101) --> open>. :|: 1

IN: <(*,John,room_101) --> enter>. :|: 1

OUT: <<(*,John,room_101) --> enter>=\><(*,John,door_101) --> open>>. :\: %1.00;0.45% OUT: <<(*,John,door_101) --> open>=/><(*,John,room_101) --> enter>>. :\: %1.00;0.45% OUT: <<(*,John,door_101) --> open></><(*,John,room_101) --> enter>>. :\: %1.00;0.45% OUT: <<(*,John,room_101) --> enter>=\><(*,John,door_101) --> open>>. %1.00;0.45% OUT: <<(*,John,door_101) --> open>=/><(*,John,room_101) --> enter>>. %1.00;0.45% OUT: <<(*,John,door_101) --> open></><(*,John,room_101) --> enter>>. %1.00;0.45%

** induction on events IN: <(*,John,door_101) --> open>. :|: 1

IN: <(*,John,room_101) --> enter>. :|: %0%

1

OUT: <<(*,John,door_101) --> open>=/><(*,John,room_101) --> enter>>. :\: %0.00;0.45% OUT: <<(*,John,door_101) --> open></><(*,John,room_101) --> enter>>. :\: %0.00;0.45% OUT: <<(*,John,door_101) --> open>=/><(*,John,room_101) --> enter>>. %0.00;0.45% OUT: <<(*,John,door_101) --> open></><(*,John,room_101) --> enter>>. %0.00;0.45%

** induction on events IN: <John --> (/,open,_,door_101)>. :|: 1

IN: <John --> (/,enter,_,room_101)>. :|: 1

OUT: <<#1 --> (/,enter,_,room_101)>=\><#1 --> (/,open,_,door_101)>>. :\: %1.00;0.45% OUT: <<#1 --> (/,open,_,door_101)>=/><#1 --> (/,enter,_,room_101)>>. :\: %1.00;0.45% OUT: <<#1 --> (/,open,_,door_101)></><#1 --> (/,enter,_,room_101)>>. :\: %1.00;0.45% OUT: <<#1 --> (/,enter,_,room_101)>=\><#1 --> (/,open,_,door_101)>>. %1.00;0.45% OUT: <<#1 --> (/,open,_,door_101)>=/><#1 --> (/,enter,_,room_101)>>. %1.00;0.45% OUT: <<#1 --> (/,open,_,door_101)></><#1 --> (/,enter,_,room_101)>>. %1.00;0.45%

** induction on events IN: <(*,John,key_101) --> hold>. :|: 1 IN: <<(*,John,door_101) --> open> =/> <(*,John,room_101) --> enter>>. :|: 1

OUT: <(&/,<(*,John,key_101) --> hold>,<(*,John,door_101) --> open>)=/><(*,John,room_101) --> enter>>. :\: %1.00;0.45% OUT: <(&/,<(*,John,key_101) --> hold>,<(*,John,door_101) --> open>)=/><(*,John,room_101) --> enter>>. %1.00;0.45%

** updating and revision IN: <(*,John,key_101) --> hold>. :|: 1 IN: <(*,John,key_101) --> hold>. :|: %0% 1 IN: <(*,John,key_101) --> hold>? :|: 1 OUT: <(*,John,key_101) --> hold>. :\: %0.09;0.48%