Assertion list
pure aluminum (subgroup of aluminum ) → IsA
Results from Ascent++: 1
pure aluminum → IsA → silvery-white metal 0.16