Assertion: kernel | /r/HasAspect | most k 2
Facets:
Source sentences:
text: An algorithm that applies these rules repeatedly until no more reductions can be made necessarily terminates with a kernel that has at most k 2 {\displaystyle k^{2}} edges