Assertion list for term "n vertices".
Results from Ascent++: 1
graph → HasA → n vertices 0.27