'***** variable elimination (deduction) 'lock1 is a lock lock>. %1.00;0.90% 'there is a lock with the property that when opened by something, this something is a key <(&&,<#1 --> lock>,<#1 --> (/,open,$2,_)>) ==> <$2 --> key>>. %1.00;0.90% 4 'whatever opens lock1 is a key ''outputMustContain('< (/,open,$1,_)> ==> <$1 --> key>>. %1.00;0.81%')