parent

BaseRuleSet

parents

GroupProperties

partialOrder

OrderLaws

props

BaseRuleSet GroupProperties

proved

laws