Assertion list
butch (primary) → HasA
Results from Ascent++: 1
butch → HasA → perfect hang-out 0.23