Assertion: t kernel | /r/HasProperty | open
Facets:
Source sentences:
text: T-Kernel is open"