Assertion list
master barber (subgroup of barber ) → HasA
Results from Ascent++: 1
master barber → HasA → a tweak of heart 0.38