start_symbol(s).

% Grammatikregeln:
:- op(1100,xfx,'--->').
s ---> ap,cp.
ap ---> ap,bp.

% Lexikon:
word(a,ap).  word(b,bp).  word(c,cp).