Assertion: command's output | /r/HasProperty | paged with the program
Facets:
Source sentences:
text: In the third example, the output of the program a.out is first sorted and then paged with the program less.