Assertion: y | /r/HasProperty | the indicator of a.
Facets:
Source sentences:
text: Namely, P ( A | X ) = E ( Y | X ) if Y is the indicator of A.