Assertion list
aluminum (primary) → MadeOf
Results from Ascent++: 2
aluminum → MadeOf → a high-quality aluminum alloy 0.35
aluminum → MadeOf → alumina 0.28