:- use_module(['Parser/addDifflists',
               'Parser/addTree']). 

term_expansion(Term,Expandiert) :-
    addTree:translate(Term,ExpTerm),
    addDifflists:translate(ExpTerm,Expandiert).

