Assertion list
good logo (subgroup of logo ) → HasA
Results from Ascent++: 1
good logo → HasA → story 0.41