Assertion: arrangement | /r/HasAspect | at most n(n − 1)/2 vertices
Facets:
value: at
type: TEMPORAL
Source sentences:
text: An arrangement with n lines has at most n(n − 1)/2 vertices, one per pair of crossing lines.