'********** compound decomposition, two premises 'If robin is a type of bird then robin is not a type of flying animal. < bird> ==> (&&, animal>, [flying]>)>. %0% 'If robin is a type of bird then robin can fly. < bird> ==> [flying]>>. 8 'It is unlikely that if a robin is a type of bird then robin is a type of animal. ''outputMustContain('< bird> ==> animal>>. %0.00;0.81%')