'********** compound decomposition, two premises 'Robin is not a type of swimmer. swimmer>. %0.00% 'Robin is not a nonswimming mammal. (-,mammal,swimmer)>. %0.00% 32 'Robin is not a type of mammal. ''outputMustContain(' mammal>. %0.00;0.81%')