Assertion list
current employee (subgroup of employee ) → HasProperty
Results from Ascent++: 2
current employee → HasProperty → happy 0.59
current employee → HasProperty → unhappy 0.16