Assertion list
good composition (subgroup of composition ) → IsA
Results from Ascent++: 1
good composition → IsA → the key 0.59