Assertion list
coal ash (subgroup of ash ) → IsA
Results from Ascent++: 1
coal ash → IsA → residual product 0.25