Assertion: command's file | /r/HasAspect | the filename extension
Facets:
Source sentences:
text: For example, to copy all of the files in the current directory that have the filename extension .html into another existing directory called dir8, the following would be used: cp *.html