Assertion: predicate | /r/AtLocation | the construct
Facets:
value: if pred(*first
type: OTHER
value: namely
type: OTHER
value: correctly
type: MANNER
Source sentences:
text: These properties are more or less evident when we consider how the standard defines use of a unary predicate by an algorithm, namely that the predicate "should work correctly in the construct if (pred(*first)){...}".