Assertion: kernel | /r/HasProperty | a congruence relation
Facets:
value: in these cases
type: TEMPORAL
Source sentences:
text: In these cases, the kernel is a congruence relation.