Assertion list
solder (primary) → IsA
Results from Ascent++: 3
solder → IsA → alloy 0.64
solder → IsA → fusible metal alloy 0.43
solder → IsA → a tin-lead alloy 0.36