Assertion: command's argument | /r/HasProperty | provided
Facets:
Source sentences:
text: If no arguments are provided, the command lists the contents of DOSHELP.HLP .
text: If no arguments (i.e., input files) are provided, a list of directories that is searched by man for man pages is returned.