% Deutsche kontextfreie Grammatik
% Autor: Syntaxkurs 2013/2014
% Version 1

%% S1. Der alte Mann trinkt den Kaffee.
%% S2. Er trinkt ihn aus dem Becher.
%% S3. Klaus mag den Kaffee aus dem Becher.
%% S4. Er trinkt den Kaffee aus dem Becher.

%% Meilensteine
%%
%% - Version 1: Kongruenz in Kasus
%% - Version 2: Verwendung von Wrappern und Tests.
%% - Version 3: Verwendung von Pronomen.
%% - Version 4: Kongruenz in Kasus, Numerus und Genus. Logische Trennung von Formmerkmalen und Artmerkmalen.
%% - Version 5: Rektion von Verben und Präpositionen in Kasus.
%% - Version 6: Verallgemeinerung des Lexikons.
%% - Version 7: Semantische Kongruenz und Rektion.
%% - Version 8: Verallgemeinerung der Grammatik zu generischen Regeln.

startsymbol(s).     % HL.
startsymbol(np(_)). % HL.

s --> np(nom), vp.

vp --> iv.
vp --> tv_1, np_s(akk), pp.
vp --> tv_2, np(akk).

np(K) --> np_s(K).
np(K) --> np_s(K), pp.

np_s(K) --> en(K).
np_s(K) --> det(K), n(K).
np_s(K) --> det(K), a(K), n(K).

pp --> p(K), np_s(K).

det(nom) --> ['der'].
det(akk) --> ['den'].
det(dat) --> ['dem'].

n(_) --> ['Mann'].
n(_) --> ['Kaffee'].
n(_) --> ['Becher'].

en(nom) --> ['Klaus'].

a(nom) --> ['alte'].
a(akk) --> ['alten'].

tv_1 --> ['trinkt'].
tv_2 --> ['mag'].
iv --> ['schläft'].

p(dat) --> ['aus'].
