started refactoring of rules / conclusions as it is difficult to
understand the code: renamed NegativeSubsumer and PositiveSubsumer to
respectively ComposedSubsumer and DecomposedSubsumer