Assertion list
good character (subgroup of character ) → HasA
Results from Ascent++: 1
good character → HasA → flaw 0.25