Assertion: script | /r/HasProperty | saved as a *.txt file
Facets:
value: with being the same
type: OTHER
Source sentences:
text: This will open up a window asking you where to export to, and when you click on "Okay", the script will be saved as a *.txt file, with the name of the file being the same as the name of the script.