\begin{definition}[Definition:Scheme of Abbreviation]
When translating from a series of sentences in natural language into a collection of propositional formulas in symbolic logic, it is necessary to replace each simple statement with a statement label.
As stated in the definition of statement label, it is imperative that each sentence be replaced with a different label.
A '''scheme of abbreviation''' is the list of simple statements, together with their associated statement labels, for reference and unambiguous key in order to translate any conclusion reached back into natural language.
\end{definition}