Assertion list
exempt employee (subgroup of employee ) → HasProperty
Results from Ascent++: 1
exempt employee → HasProperty → exempt 0.77