:- use_module('../Parser/addDifflists.pl').      
term_expansion(Term,Expandiert) :-
    addDifflists:translate(Term,Expandiert).

