form(nomen,[Num,Kas]) :-  (numerus(Num), kasus(Kas)).
numerus(X) :- (X = sg ; X = pl).
kasus(X) :- (X = nom ; X = gen ; X = dat ; X = akk).