Assertion: operating system's kernel | /r/HasProperty | a part of a software
Facets:
Source sentences:
text: The kernel is a part of a software.