'********** compound composition, two premises 'If robin is a type of bird then robin is a type of animal. < bird> ==> animal>>. 'If robin can fly then robin is a type of animal. < [flying]> ==> animal>>. %0.9% 19 'If robin can fly and is a type of bird then robin is a type of animal. ''outputMustContain('<(&&, [flying]>, bird>) ==> animal>>. %1.00;0.81%') 'If robin can fly or is a type of bird then robin is a type of animal. ''outputMustContain('<(||, [flying]>, bird>) ==> animal>>. %0.90;0.81%')