Assertion list
master barber (subgroup of barber ) → IsA
Results from Ascent++: 2
master barber → IsA → executioner 0.16
master barber → IsA → expert 0.16