Assertion list
pure tungsten (subgroup of tungsten ) → ReceivesAction
Results from Ascent++: 1
pure tungsten → ReceivesAction → cut with hacksaw 0.68