Assertion: command's file | /r/HasAspect | extension
Facets:
Source sentences:
text: Batch files are files that have an extension ending in .bat.