Assertion list
sequence (primary) → IsA
Results from Ascent++: 2
sequence → IsA → series 0.43
sequence → IsA → function 0.43