* [01] <{t001} --> [opened]>! * [02] <{t001} --> door>. * [03] <(&/,<(*,Self,{t002}) --> hold>,<(*,Self,{t001}) --> at>,(^open,{t001})) =/> <{t001} --> [opened]>>. * [04] <(*, {t002}, {t001}) --> key-of>. * [05] <(&|,(^pick,{t002}),<(*,Self,{t002}) --> reachable>) =/> <(*,Self,{t002}) --> hold>>. * [06] <(&|, <(*, #x, #y(#x)) --> on>, <(*, Self, #y(#x)) --> at>) =|> <(*, Self, #x) --> reachable>>. * [07] <(*, {t002}, {t003}) --> on>. :|: * [08] <{t003} --> desk>. *** [09] <(^go-to,#1) =/> <(*,Self,#1) --> at>>.

** [01 + 03 -> 10]: IN: <{t001} --> [opened]>! IN: <(&/,<(*,Self,{t002}) --> hold>,<(*,Self,{t001}) --> at>,(^open,{t001}))=/><{t001} --> [opened]>>. 23 OUT: (&/,<(*,Self,{t002}) --> hold>,<(*,Self,{t001}) --> at>,(^open,{t001}))! %1.00;0.81%

** [10 -> 11]: IN: (&/,<(*,Self,{t002}) --> hold>,<(*,Self,{t001}) --> at>,(^open,{t001}))! 5 OUT: <(*,Self,{t002}) --> hold>! %1.00;0.45%

** [11 + 05 -> 12]: IN: <(*,Self,{t002}) --> hold>! IN: <(&/,<(*,Self,{t002}) --> reachable>,(^pick,{t002}))=/><(*,Self,{t002}) --> hold>>. 5 OUT: (&/,<(*,Self,{t002}) --> reachable>,(^pick,{t002}))! %1.00;0.81%

** [12 -> 13]: IN: (&/,<(*,Self,{t002}) --> reachable>,(^pick,{t002}))! 13 OUT: <(*,Self,{t002}) --> reachable>! %1.00;0.45%

** [13 + 06 -> 14]: IN: <(*,Self,{t002}) --> reachable>! IN: <(&|,<(*,#1,#2(#1)) --> on>,<(*,Self,#2(#1)) --> at>)=|><(*,Self,#1) --> reachable>>. 16 OUT: (&|,<(*,{t002},#1()) --> on>,<(*,Self,#1()) --> at>)! %1.00;0.81%

** [07 + 14 -> 15]: IN: <(*,{t002},{t003}) --> on>. :|: IN: (&|,<(*,{t002},#1()) --> on>,<(*,Self,#1()) --> at>)! 25 OUT: <(*,Self,{t003}) --> at>! %1.00;0.81%

** [15 + 09 -> 16]: IN: <(*,Self,{t003}) --> at>! IN: <(^go-to,#1)=/><(*,Self,#1) --> at>>. 19 OUT: (^go-to,{t003})! %1.00;0.81%

[16 -> 17] IN: (^go-to,{t003})! %1.00;0.90% {0 : 1} 1 *EXECUTE: ^go-to({t003}) OUT: (^go-to,{t003}). :|: %1.00;0.90%

** [17 + 09 -> 18] IN: (^go-to,{t003}). :|: IN: <(^go-to,#1)=/><(*,Self,#1) --> at>>. 22 OUT: <Self --> (/,at,_,{t003})>. :\: %1.00;0.81%

** [18 -> 19] IN: <Self --> (/,at,_,{t003})>. :\: 6 OUT: <{t003} --> (/,at,Self,_)>. :\: %1.00;0.90%

** [07 -> 20] IN: <(*,{t002},{t003}) --> on>. :|: 6

OUT: <{t003} --> (/,on,{t002},_)>. :\: %1.00;0.90%

** [19 + 20 -> 21] IN: <{t003} --> (/,at,Self,_)>. :\: IN: <{t003} --> (/,on,{t002},_)>. :\: 2 OUT: (&|,<#1() --> (/,on,{t002},_)>,<#1() --> (/,at,Self,_)>). :\: %1.00;0.81%

** [21 -> 22] IN: (&|,<#1() --> (/,on,{t002},_)>,<#1() --> (/,at,Self,_)>). :\: 8 OUT: (&|,<#1() --> (/,at,Self,_)>,<(*,{t002},#1()) --> on>). :\: %1.00;0.90%

** [22 -> 23] IN: (&|,<#1() --> (/,at,Self,_)>,<(*,{t002},#1()) --> on>). :\: 4 OUT: (&|,<(*,{t002},#1()) --> on>,<(*,Self,#1()) --> at>). :\: %1.00;0.90%

** [23 + 06 -> 24] IN: (&|,<(*,{t002},#1()) --> on>,<(*,Self,#1()) --> at>). :|: IN: <(&|,<(*,#1,#2(#1)) --> on>,<(*,Self,#2(#1)) --> at>) =|> <(*,Self,#1) --> reachable>>. 1 OUT: <(*,Self,{t002}) --> reachable>. :\: %1.00;0.81%

** [24 + 12 -> 25] IN: <(*,Self,{t002}) --> reachable>. :|: IN: (&/,<(*,Self,{t002}) --> reachable>,(^pick,{t002}))! 6 OUT: (^pick,{t002})! %1.00;0.81%

[25 -> 26] IN: (^pick,{t002})! %1.00;0.90% {0 : 1} 1 *EXECUTE: ^pick({t002}) OUT: (^pick,{t002}). :|: %1.00;0.90%

** [24 + 05 -> 27] IN: <(*,Self,{t002}) --> reachable>. :|: IN: <(&/,<(*,Self,{t002}) --> reachable>,(^pick,{t002}))=/><(*,Self,{t002}) --> hold>>. 1 OUT: <(^pick,{t002})=/><(*,Self,{t002}) --> hold>>. :\: %1.00;0.81%

** [26 + 27 -> 28] IN: (^pick,{t002}). :\: IN: <(^pick,{t002})=/><(*,Self,{t002}) --> hold>>. :\: 1 OUT: <(*,Self,{t002}) --> hold>. :\: %1.00;0.81%

** [28 + 10 -> 29] IN: <(*,Self,{t002}) --> hold>. :|: IN: (&/,<(*,Self,{t002}) --> hold>,<(*,Self,{t001}) --> at>,(^open,{t001}))! 7 OUT: (&/,<(*,Self,{t001}) --> at>,(^open,{t001}))! %1.00;0.81%

** [03 + 28 -> 30] IN: <(&/,<(*,Self,{t002}) --> hold>,<(*,Self,{t001}) --> at>,(^open,{t001}))=/><{t001} --> [opened]>>. %1.00;0.90% {0 : 1} IN: <(*,Self,{t002}) --> hold>. :|: 2 OUT: <(&/,<(*,Self,{t001}) --> at>,(^open,{t001}))=/><{t001} --> [opened]>>. :\: %1.00;0.81%

** [29 -> 31] IN: (&/,<(*,Self,{t001}) --> at>,(^open,{t001}))! 13 OUT: <(*,Self,{t001}) --> at>! %1.00;0.45%

** [31 + 09 -> 32] IN: <(*,Self,{t001}) --> at>! IN: <(^go-to,#1)=/><(*,Self,#1) --> at>>. 19 OUT: (^go-to,{t001})! %1.00;0.81%

[32 -> 33] IN: (^go-to,{t001})! 1 *EXECUTE: ^go-to({t001}) OUT: (^go-to,{t001}). :|: %1.00;0.90%

** [33 + 09 -> 34] IN: (^go-to,{t001}). :\: IN: <(^go-to,#1)=/><(*,Self,#1) --> at>>. 12 OUT: <(*,Self,{t001}) --> at>. :\: %1.00;0.43%

** [34 + 30 -> 35] IN: <(*,Self,{t001}) --> at>. :|: IN: <(&/,<(*,Self,{t001}) --> at>,(^open,{t001}))=/><{t001} --> [opened]>>. :|: 3 OUT: <(^open,{t001})=/><{t001} --> [opened]>>. :\: %1.00;0.81%

** [34 + 29 -> 36] IN: <(*,Self,{t001}) --> at>. :|: IN: (&/,<(*,Self,{t001}) --> at>,(^open,{t001}))! 6 OUT: (^open,{t001})! %1.00;0.81%

[36 -> 37] IN: (^open,{t001})! 1 *EXECUTE: ^open({t001}) OUT: (^open,{t001}). :|: %1.00;0.90%

** [35 + 37 -> 38] IN: <(^open,{t001})=/><{t001} --> [opened]>>. :|: IN: (^open,{t001}). :|: 1 OUT: <{t001} --> [opened]>. :|: %1.00;0.81%