Assertion list
anthracite (primary) → IsA
Results from Ascent++: 1
anthracite → IsA → hard, compact variety of coal 0.68