 
 
| 
 | 
| 
 | 
| Prompt is neither a variable nor an atom | type_error(atom, Pred) | ||
| 
 | 
| Prompt is a variable | instantiation_error | ||
| Prompt is neither a variable nor an atom | type_error(atom, Pred) | ||
| 
 | 
| Word is a variable | instantiation_error | ||
| Word is neither a variable nor an atom | type_error(atom, Word) | ||
| 
 | 
| Prefix is a variable | instantiation_error | ||
| Prefix is neither a variable nor an atom | type_error(atom, Prefix) | ||
| Word is neither a variable nor an atom | type_error(atom, Word) | ||
 
