Assertion: graph's edge | /r/HasProperty | triangular number
Facets:
Source sentences:
text: K n has n(n − 1)/2 edges (a triangular number), and is a regular graph of degree n