Assertion list
rag (primary) → HasA

Results from Ascent++: 1
ragHasA other ideas 0.16