Term/Variablenmenge/Funktionssymbole/Grundmenge/Phantasie/Stammbaum/Beispiel