Assertion: turnstile | /r/HasProperty | tee
Facets:
Source sentences:
text: It is also referred to as tee and is often read as "yields", "proves", "satisfies" or "entails".