Assertion list
girdle (primary) → IsA
Results from Ascent++: 1
girdle → IsA → band 0.25