Fehlermeldung: Reasoning and unification over conceptual graphs

* Pflichtfeld