Assertion list
property (aspect of cobalt ) → ReceivesAction
Results from Ascent++: 1
property → ReceivesAction → enveloped by concession 0.25