|  | 
| Options is a partial list or a list with an element
E which is a variable |  | instantiation_error | 
|  | 
| Options is neither a partial list nor a list |  | type_error(list, Options) | 
|  | 
| an element E of the Options list is neither a
variable nor a variable binding option |  | domain_error(var_binding_option, E) | 
|  | 
| From is a variable |  | instantiation_error | 
|  | 
| From is neither a variable nor an integer |  | type_error(integer, From) | 
|  | 
| Next is neither a variable nor an integer |  | type_error(integer, Next) | 
|  | 
| List is a partial list |  | instantiation_error | 
|  | 
| List is neither a partial list nor a list |  | type_error(list, List) | 
|  |