'********** conditional abduction 'If robin is has wings and chirps, then robin is a bird <(&&, [with-wings]>, [chirping]>) ==> bird>>. 'If robin can fly, has wings, and chirps, then robin is a bird <(&&, [flying]>, [with-wings]>, [chirping]>) ==> bird>>. 5 'I guess that robin can fly. ''outputMustContain(' [flying]>. %1.00;0.45%')