Assertion list
nonexempt employee (subgroup of employee ) → IsA

Results from Ascent++: 1
nonexempt employeeIsA paid overtime 0.83