Assertion list
recordable cd (subgroup of cd ) → ReceivesAction

Results from Ascent++: 1
recordable cdReceivesAction to be accepted by the consumer 0.25