Assertion list
recordable cd (subgroup of cd ) → IsA
Results from Ascent++: 1
recordable cd → IsA → new alternative 0.68