Assertion list
coating (primary) → IsA
Results from Ascent++: 1
coating → IsA → covering 0.59