Assertion list
good design (subgroup of design ) → HasA

Results from Ascent++: 2
good designHasA the power 0.28
good designHasA purpose 0.16