Assertion list
solder (primary) → UsedFor
Results from Ascent++: 3
solder → UsedFor → plumbing 0.51
solder → UsedFor → the best possible signal transf… 0.20
solder → UsedFor → repair 0.09