Assertion list
pure carbon (subgroup of carbon ) → ReceivesAction
Results from Ascent++: 1
pure carbon → ReceivesAction → handled 0.59