Assertion list
solder (primary) → MadeOf
Results from Ascent++: 1
solder → MadeOf → lead 0.57