Assertion list
fresh concrete (subgroup of concrete ) → ReceivesAction
Results from Ascent++: 2
fresh concrete → ReceivesAction → mixed 0.77
fresh concrete → ReceivesAction → handled with proper protective … 0.25