Assertion: intersection kernel | /r/HasProperty | given
Facets:
Source sentences:
text: It is given by: