Assertion list
pure metal (subgroup of metal ) → ReceivesAction
Results from Ascent++: 1
pure metal → ReceivesAction → extracted 0.63