Assertion list
warp (primary) → IsA
Results from Ascent++: 1
warp → IsA → the set of lengthwise threads 0.25