Assertion list
pure nickel (subgroup of nickel ) → ReceivesAction

Results from Ascent++: 1
pure nickelReceivesAction used without further purificati… 0.38