Assertion list
solder (primary) → HasA
Results from Ascent++: 4
solder → HasA → cadmium 0.54
solder → HasA → a melting point 0.53
solder → HasA → favorable electrical characteri… 0.39
solder → HasA → a rosin core 0.37