Assertion list for term "three vertices".
Results from Ascent++: 3
triangle → HasA → three vertices 0.62
graph → HasA → three vertices 0.25
polygon → HasA → three vertices 0.25