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