Assertion list
excess zinc (subgroup of zinc ) → ReceivesAction
Results from Ascent++: 1
excess zinc → ReceivesAction → removed 0.68