S(a,b):- chasse(c,d) , Sa(e,f,a,b),VPa(g,d,e,h),N(h,f),N(g,c).

Sa(a,b,c,d):- a(e,f),dit(g,e),que(b,g) , Sa(h,i,c,d),VPa(a,f,h,j),N(j,i).

Sa(a,b,c,d):- affirme(e,f),que(b,e) , Sa(g,h,c,d),VPa(a,f,g,i),N(i,h).

S(a,b):- aime(c,d) , Sa(e,f,a,b),VPa(g,d,e,h),N(h,f),N(g,c).

S(a,b):- aimer(c,d) , Sa(e,f,a,g),VPa(c,d,e,h),N(h,f),N(g,b).

Na_d(a,b,a,c):- chaque(b,c) .




N(a,b):- chat(c,d) , Na_d(e,f,a,b),Na(c,d,e,f).
N(a,b):- chien(c,d) , Na_d(e,f,a,b),Na(c,d,e,f).

S(a,b):- dort(c,d) , Sa(e,f,a,b),VPa(c,d,e,g),N(g,f).

S(a,b):- est(c,d),ce(e,c),que(f,e),aime(g,h) , Sa(i,j,a,f),VPa(g,h,i,k),WH(d,b),N(k,j).


Sa(a,b,c,d):- est(e,f),ce(g,e),que(h,g),croit(i,j),que(b,i) , Sa(k,f,c,d),VPa(a,j,k,l),N(l,h).
N(a,b):- francois(a,b) .
Na(a,b,c,d):- grand(b,e) , Na(a,e,c,d).
N(a,b):- jean(a,b) .
VPa(a,b,c,d):- lentement(e,a) , VPa(e,b,c,d).
N(a,b):- marie(a,b) .
Na(a,b,c,d):- noir(e,a) , Na(e,b,c,d).
Na(a,b,c,d):- nouveau(b,e) , Na(a,e,c,d).
N(a,b):- paul(a,b) .
WH(a,b):- qui(a,b) .
VPa(a,b,c,d):- semble(b,e) , VPa(a,e,c,d).
Na_d(a,b,a,c):- un(b,c) .
Na_d(a,b,a,c):- une(b,c) .
Na(a,b,a,b).
Sa(a,b,a,b).
VPa(a,b,a,b).
