Assertion: command | /r/HasProperty | stored as a text file
Facets:
value: with the .bat extension
type: OTHER
Source sentences:
text: The second is batch mode, which executes a predefined sequence of commands stored as a text file with the .BAT extension.