The WRITE specifier asks whether a file can be written to. It takes the following form:
WRITE = wr
| 'YES' | If the file can be written to |
| 'NO' | If the file cannot be written to |
| 'UNKNOWN' | If the processor cannot determine whether the file can be written to |