Assertion list
good logo (subgroup of logo ) → IsA
Results from Ascent++: 2
good logo → IsA → the basis 0.26
good logo → IsA → out 0.20