Assertion list
blanket (primary) → IsA
Results from Ascent++: 1
blanket → IsA → small coverings 0.59