Assertion list
soldering iron (primary) → IsA
Results from Ascent++: 1
soldering iron → IsA → a hand tool 0.68