added aprocessor for cardinslity restrictions
Refactored the subsumer processing