% translate((np --> det,a,n),(np(2) --> det(1),a(1),n(1))) :- !.

translate((np --> det,ap,n,np2),
          (np(Tnp) --> det(1),ap(Ta),n(1),np2(Tnp2),{ max_list([Ta,Tnp2],TMax),
                                                      Tnp is 1 + TMax })) :- !.

translate((det,ap,n,np2),(det(1),ap(Ta),n(1),np2(Tnp2),{ ... }),Tiefenliste) :-
          
% translate((L --> R), (LTr --> RTr)) :- ...
