'********** conditional abduction 'If robin can fly then robin is a bird. < [flying]> ==> bird>>. 'If robin both swims and flys then robin is a bird. <(&&, swimmer>, [flying]>) ==> bird>>. 7 'I guess robin swims. ''outputMustContain(' swimmer>. %1.00;0.45%')