Assertion list for term "harden as most aluminium alloys".

Results from Ascent++: 1
alloy CapableOfharden as most aluminium alloys 0.25