Assertion: curve's vertex | /r/HasProperty | p 0,r
Facets:
Source sentences:
text: After r degree elevations, the polygon R r has the vertices P 0,r ,P 1,r ,P 2,r ,...,P n+r,r given by