Assertion list
combination (primary) → IsA
Results from Ascent++: 1
combination → IsA → single, compact unit 0.40