'********** compound decomposition, one premises 'Robin can fly and swim. $0.90;0.90$ (&&, swimmer>, [flying]>). %0.9% 1 'Robin can swim. ''outputMustContain(' swimmer>. %0.90;0.73%') 5 ''//+2 from original 'Robin can fly. ''outputMustContain(' [flying]>. %0.90;0.73%')