Assertion: kernel | /r/HasProperty | submodule
Facets:
Source sentences:
text: The domain of the mapping is a module, with the kernel constituting a submodule.