Assertion list
categorical variable (subgroup of variable ) → HasA

Results from Ascent++: 1
categorical variableHasA category 0.25