Assertion: graph's g | /r/HasAspect | a k-core
Facets:
Source sentences:
text: at least k, and the degeneracy of G is the largest k for which G has a k-core.