'********** inference on tense 'If someone hold key_101, he will enter room_101 (in 100 steps) <(&/,<(*, $x, key_101) --> hold>,+100) =/> <(*, $x, room_101) --> enter>>. 'John held the key_101 <(*, John, key_101) --> hold>. :\: 210 'John will enter room_101 ''outputMustContain('<(*,John,room_101) --> enter>. :!95: %1.00;0.81%') 'this one is working, but throws an exception