Assertion list
foray (primary) → HasA

Results from Ascent++: 1
forayHasA sole purpose 0.34