|  | 
| SorA is a variable |  | instantiation_error | 
|  | 
| Char is neither a variable nor an in-character |  | type_error(in_character, Char) | 
|  | 
| Code is neither a variable nor an integer |  | type_error(integer, Code) | 
|  | 
| 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 binary stream |  | permission_error(input, binary_stream, SorA) | 
|  | 
| SorA has stream properties end_of_stream(past)
and eof_action(error) |  | permission_error(input, past_end_of_stream, SorA) | 
|  | 
| The entity input from the stream is not a character |  | representation_error(character) | 
|  | 
| Code is an integer but not an in-character code |  | representation_error(in_character_code) | 
|  | 
|  | 
| SorA is a variable |  | instantiation_error | 
|  | 
| Code is neither a variable nor an integer |  | type_error(integer, Code) | 
|  | 
| 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 binary stream |  | permission_error(input, binary_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 | 
|  | 
| Char is neither a variable nor an in-character |  | type_error(in_character, Char) | 
|  | 
| Code is neither a variable nor an integer |  | type_error(integer, Code) | 
|  | 
| 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 binary stream |  | permission_error(input, binary_stream, SorA) | 
|  | 
| SorA has stream properties end_of_stream(past)
and eof_action(error) |  | permission_error(input, past_end_of_stream, SorA) | 
|  | 
| The entity input from the stream is not a character |  | representation_error(character) | 
|  | 
| Code is an integer but not an in-character code |  | representation_error(in_character_code) | 
|  | 
|  | 
| SorA is a variable |  | instantiation_error | 
|  | 
| Char is a variable |  | instantiation_error | 
|  | 
| Code is a variable |  | instantiation_error | 
|  | 
| Char is neither a variable nor a character |  | type_error(character, Char) | 
|  | 
| Code is neither a variable nor an integer |  | type_error(integer, Code) | 
|  | 
| 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 binary stream |  | permission_error(input, binary_stream, SorA) | 
|  | 
| Code is an integer but not a character code |  | representation_error(character_code) | 
|  | 
|  | 
| SorA is a variable |  | instantiation_error | 
|  | 
| Char is a variable |  | instantiation_error | 
|  | 
| Code is a variable |  | instantiation_error | 
|  | 
| Char is neither a variable nor a character |  | type_error(character, Char) | 
|  | 
| Code is neither a variable nor an integer |  | type_error(integer, Code) | 
|  | 
| 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 input stream |  | permission_error(output, stream, SorA) | 
|  | 
| SorA is associated with a binary stream |  | permission_error(output, binary_stream, SorA) | 
|  | 
| Code is an integer but not a character code |  | representation_error(character_code) | 
|  |