'********** induction 'If robin is a type of bird then robin is a type of animal. < bird> ==> animal>>. 'If robin is a type of bird then robin can fly. < bird> ==> [flying]>>. %0.80% 140 'I guess if robin can fly then robin is a type of animal. ''outputMustContain('< [flying]> ==> animal>>. %1.00;0.39%') 'I guess if robin is a type of animal then robin can fly. ''outputMustContain('< animal> ==> [flying]>>. %0.80;0.45%')