Assertion: kernel | /r/HasProperty | located
Facets:
Source sentences:
text: Then, since I know that my kernel is located at: /boot/vmlinuz-4.4.0-141-generic, to find the package name I did: