Assertion: command's output | /r/HasProperty | sorted in third example
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.