Assertion list
queue (primary) → IsA
Results from Ascent++: 2
queue → IsA → ordered list 0.35
queue → IsA → list 0.33