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