Assertion list
blacksmith (primary) → HasA
Results from Ascent++: 2
blacksmith → HasA → iron leggings 0.25
blacksmith → HasA → simple lever 0.25