Assertion: series alloy | /r/HasProperty | hokotol
Facets:
Source sentences:
text: Some 7000 series alloys sold under brand names for making molds include Alumec 79, Alumec 89, Contal, Certal, Alumould, and Hokotol.