Assertion list for term "a p-prefix".
Results from Ascent++: 1
phase → HasA → a p-prefix 0.29