Assertion list
mining (primary) → IsA
Results from Ascent++: 2
mining → IsA → sector 0.36
mining → IsA → top sector 0.31