Assertion list
goldsmith (primary) → IsA
Results from Ascent++: 1
goldsmith → IsA → metalworker 0.44