|  | 
| SorA is a variable |  | instantiation_error | 
|  | 
| Byte is neither a variable nor an in-byte |  | type_error(in_byte, Byte) | 
|  | 
| SorA is neither a variable nor a stream-term or alias |  | domain_error(stream_or_alias, SorA) | 
|  | 
| SorA is not associated with an open stream |  | existence_error(stream, SorA) | 
|  | 
| SorA is an output stream |  | permission_error(input, stream, SorA) | 
|  | 
| SorA is associated with a text stream |  | permission_error(input, text_stream, SorA) | 
|  | 
| SorA has stream properties end_of_stream(past)
and eof_action(error) |  | permission_error(input, past_end_of_stream, SorA) | 
|  | 
|  | 
| SorA is a variable |  | instantiation_error | 
|  | 
| Byte is neither a variable nor an in-byte |  | type_error(in_byte, Byte) | 
|  | 
| SorA is neither a variable nor a stream-term or alias |  | domain_error(stream_or_alias, SorA) | 
|  | 
| SorA is not associated with an open stream |  | existence_error(stream, SorA) | 
|  | 
| SorA is an output stream |  | permission_error(input, stream, SorA) | 
|  | 
| SorA is associated with a text stream |  | permission_error(input, text_stream, SorA) | 
|  | 
| SorA has stream properties end_of_stream(past)
and eof_action(error) |  | permission_error(input, past_end_of_stream, SorA) | 
|  | 
|  | 
| SorA is a variable |  | instantiation_error | 
|  | 
| Byte is a variable |  | instantiation_error | 
|  | 
| Byte is neither a variable nor a byte |  | type_error(byte, Byte) | 
|  | 
| SorA is neither a variable nor a stream-term or alias |  | domain_error(stream_or_alias, SorA) | 
|  | 
| SorA is not associated with an open stream |  | existence_error(stream, SorA) | 
|  | 
| SorA is an output stream |  | permission_error(input, stream, SorA) | 
|  | 
| SorA is associated with a text stream |  | permission_error(input, text_stream, SorA) | 
|  | 
|  | 
| SorA is a variable |  | instantiation_error | 
|  | 
| Byte is a variable |  | instantiation_error | 
|  | 
| Byte is neither a variable nor a byte |  | type_error(byte, Byte) | 
|  | 
| SorA is neither a variable nor a stream-term or alias |  | domain_error(stream_or_alias, SorA) | 
|  | 
| SorA is not associated with an open stream |  | existence_error(stream, SorA) | 
|  | 
| SorA is an output stream |  | permission_error(output, stream, SorA) | 
|  | 
| SorA is associated with a text stream |  | permission_error(output, text_stream, SorA) | 
|  |