Assertion list
stitch (primary) → HasA
Results from Ascent++: 4
stitch → HasA → glitch 0.47
stitch → HasA → purpose 0.46
stitch → HasA → two wraps 0.34
stitch → HasA → the sl st 0.25