Assertion: output | /r/HasProperty | distinguished
Facets:
Source sentences:
text: This solves the semipredicate problem, allowing output and errors to be distinguished, and is analogous to a function returning a pair of values – see Semipredicate problem: Multivalued return.