Assertion list
mild steel (primary) → HasA
Results from Ascent++: 2
mild steel → HasA → low carbon content 0.62
mild steel → HasA → low tensile strength 0.36