* [01] <{t001} --> [opened]>! * [02] <{t001} --> door>. * [03] <(&/, <(*, Self, {t002}) --> hold>, <(*, Self, {t001}) --> at>, (^open, {t001})) =/> <{t001} --> [opened]>>. * [04] <(*, {t002}, {t001}) --> key-of>. * [05] <(*, Self, {t002}) --> hold>. :|: * [06] <(&/, <(*, Self, {t001}) --> at>, (^break, {t001})) =/> <{t001} --> [opened]>>. * [07] <(*, Self, {t001}) --> at>. :|: * [08] <{t001} --> [damaged]>! %0; 0.95% * [09] <(^break, #x) =/> <#x --> [damaged]>>. [01 + 06 -> 10]: IN: <{t001} --> [opened]>! %1.00;0.90% {0 : 1}

IN: <(&/,<(*,Self,{t001}) --> at>,<(*,{t001}) --> ^break>) =/> <{t001} --> [opened]>>. %1.00;0.90% {0 : 2}

1

OUT: <{t001} --> [opened]>? :|: {1 : 1 : 3}

1

OUT: <(&/,<{t001} --> (/,at,Self,_)>,<(*,{t001}) --> ^break>) ==> <{t001} --> [opened]>>. %1.00;0.90% {2 : 2}

2

OUT: <(&/,<Self --> (/,at,_,{t001})>,<(*,{t001}) --> ^break>) ==> <{t001} --> [opened]>>. %1.00;0.90% {4 : 2}

6

OUT: <(&/,<(*,Self,{t001}) --> at>,<{t001} --> (/,^break,_)>) ==> <{t001} --> [opened]>>. %1.00;0.90% {10 : 2}

16

OUT: (&/,<(*,Self,{t001}) --> at>,<(*,{t001}) --> ^break>)! %1.00;0.81% {26 : 2;1}

** [10 + 07 -> 11]: IN: (&/,<(*,Self,{t001}) --> at>,<(*,{t001}) --> ^break>)! %1.00;0.81% {0 : 1}

IN: <(*,Self,{t001}) --> at>. :|: %1.00;0.90% {0 : 0 : 2}

1

OUT: (&/,<(*,Self,{t001}) --> at>,<(*,{t001}) --> ^break>)? :|: {1 : 1 : 3}

1

OUT: (&/,<Self --> (/,at,_,{t001})>,<(*,{t001}) --> ^break>)! %1.00;0.81% {2 : 1}

1

OUT: (&/,<Self --> (/,at,_,{t001})>,<(*,{t001}) --> ^break>)? :|: {3 : 3 : 4}

1

OUT: <(*,{t001}) --> ^break>! %1.00;0.73% {4 : 2;1}

** [09 + 08 -> 12]: IN: <<(*,#1) --> ^break> =/> <#1 --> [damaged]>>. {0 : 1} IN: <{t001} --> [damaged]>! %0.00;0.95% {0 : 2}

1

OUT: <{t001} --> [damaged]>? :|: {1 : 1 : 3}

16

OUT: <(*,{t001}) --> ^break>! %0.00;0.86% {17 : 1;2}

** [12 + 11 -> 13]: IN: <(*,{t001}) --> ^break>! %0.00;0.85% {0 : 1}

1

OUT: <(*,{t001}) --> ^break>? :|: {1 : 1 : 2}

IN: <(*,{t001}) --> ^break>! %1.00;0.72% {1 : 3}

1

OUT: <(*,{t001}) --> ^break>! %0.31;0.89% {2 : 1;3}

OUT: <{t001} --> (/,^break,_)>! %0.00;0.85% {2 : 1}

** [13 -> NO EXECUTION]: IN: <(*,{t001}) --> ^break>! %0.31;0.89% {0 : 1}

1

OUT: <(*,{t001}) --> ^break>? :|: {1 : 1 : 2}

6

OUT: <{t001} --> (/,^break,_)>! %0.31;0.89% {7 : 1}

1

OUT: <{t001} --> (/,^break,_)>? :|: {8 : 8 : 3}

2 * [14] <(*,{t001}) --> ^break>! %1.00;0.95% [13 + 14 -> 15]: IN: <(*,{t001}) --> ^break>! %0.31;0.89% {0 : 1}

1

OUT: <(*,{t001}) --> ^break>? :|: {1 : 1 : 2}

IN: <(*,{t001}) --> ^break>! %1.00;0.95% {1 : 3}

1

OUT: <(*,{t001}) --> ^break>! %0.79;0.96% {2 : 1;3}

OUT: <{t001} --> (/,^break,_)>! %0.31;0.89% {2 : 1}

** [15 -> 16]: IN: <(*,{t001}) --> ^break>! %0.79;0.96% {0 : 1}

1

OUT: <(*,{t001}) --> ^break>. :|: %1.00;0.90% {1 : 1 : 2}