Assertion: predicate's value | /r/HasProperty | tested for truth
Facets:
value: in an if statement
type: MANNER
Source sentences:
text: returns a value that can be tested for truth in an if statement (and hence because of C++'s language rules, also in a while loop and so on).