Assertion: unary predicate | /r/HasProperty | independent of the order of invocation
Facets:
value: as a consequence
type: OTHER
Source sentences:
text: As a consequence, unary predicates must be independent of the order of invocation.
text: A unary predicate must be independent of the order of invocation and may yield different results for different invocations with the same argument.