/* gramatika g1 */

/*p-1*/ s(s(Np1,Vp)) --> np1(Np1),vp(Vp).
/*p-2*/ np1(np1(N1)) --> n1(N1).
/*p-2a*/ np1(np1(Pnd1,N1)) --> pnd1(Pnd1), n1(N1).
/*p-2b*/ np1(np1(A1,Np1)) --> a1(A1), np1(Np1).
/*p-2c*/ np1(np1,(Pos1,N1)) --> pos1(Pos1),n1(N1).
/*p-2d*/ np1(np1,(Num1,N1)) --> num1(Num1),n1(N1).
/*p-3*/ vp(vp(Adgm,V3,Np4)) --> adgm(Adgm),v3(V3),np4(Np4).
/*p-3a*/ vp(vp(V3,Np4)) --> v3(V3), np4(Np4).
/*p-3b*/ vp(vp(Adgm,V3)) --> adgm(Adgm),v3(V3).
/*p-3c*/ vp(vp(V3)) --> v3(V3).
/*p-4*/ adgm(adgm(Adm)) --> adm(Adm).
/*p-5*/ np4(np4(A4,N4)) --> a4(A4),n4(N4).

/* slovnik */

/*p-6*/ pnd1(pnd1(ta)) --> [ta].
/*p-7*/ pos1(pos1(jeho)) --> [jeho].
/*p-71*/pos1(pos1(moje)) --> [moje].
/*p-8*/ num1(num1(prvni)) --> [prvni].
/*p-81*/num1(num1(druha)) --> [druha].
/*p-9*/ n1(n1(zena)) --> [zena].
/*p-91*/n1(n1(babicka)) --> [babicka].
/*p-92*/n1(n1(doktorka)) --> [doktorka].
/*p-10*/ v3(v3(miluje)) --> [miluje].
/*p-10*/ v3d(v3d(pije)) --> [pije].
/*p-101*/v3(v3(nenavidi)) --> [nenavidi].
/*p-11*/ a1(a1(krasna)) --> [krasna].

/*p-111*/a1(a1(chytra)) --> [chytra].
/*p-12*/ a4(a4(rychla)) --> [rychla].
/*p-121*/a4(a4(silna)) --> [silna].
/*p-13*/ n4(n4(auta)) --> [auta].
/*p-131*/n4(n4(kurata)) --> [kurata].
/*p-14*/ adm(adm(vasnive)) --> [vasnive].
/*p-141*/ adm(adm(blaznive)) --> [blaznive].

/* gR */
s(s(Agper1,V3drink,Subev4)) --> agper1(Agper1),
v3drink(V3drink),subev4(Subev4).

agper1(agper1(Np1)) --> n1(N1).
v3drink(v3drink(V3d)) --> v3d(V3d).
subev4(subev4(Np4)) --> n4(N4). 





/* s(X,Y,[]); generovani dalsich vet */

/* s(X,[ta,jeho,druha,zena,vasnive,miluje,rychla,auta],[]). */

 s(X,[chytra,zena,vasnive,miluje,rychla,auta],[]).
s(X,[druha,zena,vasnive,miluje,rychla,auta],[]).

s(X,[jeho,zena,vasnive,miluje,rychla,auta],[]).
s(X,[zena,miluje],[]).
s(X,[zena,blaznive,miluje],[]).
s(X,[zena,blaznive,miluje,pivo],[]).