Assertion list
blast furnace (primary) → IsA
Results from Ascent++: 1
blast furnace → IsA → a shaft furnace 0.25