1. Der Startbaum stimmt nicht mit dem linken Baum der Aufgabenstellung überein.
2. Der letzte Ergebnisbaum stimmt nicht mit dem rechten Baum der Aufgabenstellung überein.
3. Die Variable einer Substitution ist nicht im ADT definiert.
4. Die Sorte der Variable einer Substitution und des Baums mit dem sie substituiert werden soll, stimmen nicht überein, sodass die Definition A.11 verletzt wird.
4. Die Sorte der Variable einer Substitution und des Baums mit dem sie substituiert werden soll, stimmen nicht überein.
5. Die Sorte des Ergebnisbaums stimmt nicht mit der Sorte des vorherigen Baums überein
### Inhaltliche Fehler
6. Der angegebene Unterterm ist kein Unterterm des vorherigen Baums gemäß Definition A.9. D.h., der Unterterm ist Falsch.
6. Der angegebene Unterterm ist kein Unterterm des vorherigen Baums. D.h., der Unterterm ist Falsch.
7. Der Unterterm passt auf keine der Seiten des Axioms, es ist also der Unterterm oder das Axiom falsch.
8. Der Unterterm passt nur auf die Endseite des Axioms. D.h., die Richtungsangabe ist falsch.
9. Der Unterterm passt auf die Startseite des Axioms, aber die Substitution ist falsch.
