Assertion list
cirrus (primary) → IsA
Results from Ascent++: 1
cirrus → IsA → names of cloud formations 0.25