?- ['Parser/term_expansion', 'Grammatik/extraktion',
    'Parser/tokenizer.mini', 'Parser/showTree'].
Yes
?- assert(startsymbol(s)). % ist jetzt schon in der Datei

Yes
?- parse.
Beende die Eingabe mit <Punkt><Return>
|: er hat das auto das mir gehört gestohlen.

Aufruf: s(A, [er, hat, das, auto, das, mir, gehört, gestohlen], []).
Baum:   
        s
           np(nom)
              pron(nom) er
           aux hat
           np(akk)
              det das
              n auto
              rels
                 relpron das
                 pron(dat) mir
                 vpart gehört
           vpart gestohlen

Yes
?- parse.
Beende die Eingabe mit <Punkt><Return>
|: er hat das auto gestohlen das mir gehört.

Aufruf: s(A, [er, hat, das, auto, gestohlen, das, mir, gehört], []).
Baum:   
        s
           s/rels
              np(nom)
                 pron(nom) er
              aux hat
              np(akk)/rels
                 det das
                 n auto
                 rels/rels
              vpart gestohlen
           rels
              relpron das
              pron(dat) mir
              vpart gehört

Yes

?- listing(parse).

parse :-
	write('Beende die Eingabe mit <Punkt><Return>'),
	nl,
	read_sentence(user, A, []),
	tokenize(A, B),
	startsymbol(C),
	addTree:translate1(C, D, E),
	addDifflists:translate(D, F, B, []),
	nl,
	write('Aufruf: '),
	portray_clause(F),
	call(F),
	write('Baum:   '),
	nl,
	writeTr(E, 8),
	nl,
	fail.
parse.