Assertion list
black worker (subgroup of worker ) → IsA
Results from Ascent++: 1
black worker → IsA → union members 0.25