Assertion: concept's type | /r/HasProperty | bool
Facets:
value: exactly
type: DEGREE
Source sentences:
text: The type of E after substitution must be exactly bool.