name
BaseRuleSet
GroupProperties
nonEmptyPredicate
laws