*** [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%