Assertion list
exempt employee (subgroup of employee ) → HasA

Results from Ascent++: 3
exempt employeeHasA the option 0.38
exempt employeeHasA annual salary of $41,600 0.25
exempt employeeHasA right 0.25