%Syntax
formel --> praed1, ['('],ind,[')'].
formel --> praed2, ['('],ind,[','],ind,[')'].

formel --> ['('],formel,junktor,formel,[')'].

formel --> quantor,individuenvariable,formel.


ind --> individuenvariable.
ind --> individuenkonstante.

individuenvariable --> [x].
individuenvariable --> [y].

individuenkonstante --> [herschel].
individuenkonstante --> [uranus].

quantor --> [ex].
quantor --> [all].

junktor --> [und].
junktor --> [oder].
junktor --> [all].

praed1 --> [astronom].
praed1 --> [planet].

praed2 --> [entdecken].
praed2 --> [umkreisen].