Assertion list
current employee (subgroup of employee ) → IsA
Results from Ascent++: 1
current employee → IsA → party 0.24