Assertion list
lead (aspect of led ) → MadeOf

Results from Ascent++: 1
leadMadeOf iron 0.25