Assertion list for term "alloy with most metals".

Results from Ascent++: 1
nickel CapableOfalloy with most metals 0.25