Assertion: boolean algebra's value | /r/HasProperty | that of y
Facets:
Source sentences:
text: If x is true, then the value of x → y is taken to be that of y (e.g. if x is true and y is false, then x → y is also false).