Assertion: isometry's kernel | /r/HasProperty | line
Facets:
Source sentences:
text: corresponds to a partial isometry whose kernel is a line L .