Assertion: concept's type | /r/CapableOf | satisfy boolean
Facets:
Source sentences:
text: and a!=b compile and their results are convertible to a type that satisfies the concept "Boolean":