:- [semantik,astronomie,antworten,'Semantik/type.pl'].
w(N,Atom) :- write(user,'\n'),tab(user,N), write(user,Atom).
bedienung :-
    w(0,'--------------- Bedienfunktionen ---------------------'),
    w(0,'parse.  <Frage | Satz | Nominalphrase>. <Return>'),
    w(9,'Syntaxbaum als formatierter Text'),
    w(0,'parsed. <Frage | ..>. <Return>'),
    w(9,'Syntaxbaum graphisch (dot+gv; syntaxbaum.tmp.dot|ps)'),
    w(0,'parses. <Frage | ..>. <Return>'),
    w(9,'Syntaxbaum mit (optional: getypten) Bedeutungstermen'),
    w(0,'parset. <Frage | ..>. <Return>'),
    w(9,'Syntaxbaum und getypte Bedeutungstermen (Textform)'),
    w(0,'frage.  <Ja|Nein- oder W-Frage>. <Return>'),
    w(9,'Antwort ja/nein oder als Namensliste'),
    w(0,'fragen. <Ja|Nein- oder W-Frage>. <Return>'),
    w(9,'Antwort in natürlicher Sprache'),
    w(0,'normalize(+LambdaTerm, -Normalform).'),
    w(9,'Normalform des Lambda-Terms, z.B. lam(X,X*X)*c --> c*c'),
    w(0,'no/debug(typisieren).'),
    w(9,'Aus/Einschalten der Typisierung von Bedeutungstermen.'),
    w(0,'type(+(Var,Ty)Liste,+Term,-TermGetypt,-Typ)'),
    w(9,'Typisierung des Lambda-Terms im Kontext der (Var,Ty)s.'),
    w(0,'------------------------------------------------------').

:- bedienung.