Assertion: batch file | /r/HasProperty | stored as file
Facets:
value: with a .bat file extension
type: OTHER
Source sentences:
text: With a computer running a Microsoft operating system such as Windows, a batch file is stored as a file with a .bat file extension.