S(a,b):- to(c,d),love(e,c) , Sa(f,g,a,h),VPa(e,d,f,i),N(i,g),N(h,b).   
Na_d(a,b,a,c):- a(b,c) .
Na(a,b,c,d):- big(b,e) , Na(a,e,c,d).
N(a,b):- bill(a,b) .
Na(a,b,c,d):- black(b,e) , Na(a,e,c,d).
N(a,b):- cat(c,d) , Na_d(e,f,a,b),Na(c,d,e,f).
S(a,b):- chases(c,d) , Sa(e,f,a,b),VPa(g,d,e,h),N(h,f),N(g,c).
Sa(a,b,c,d):- claims(b,e) , Sa(f,g,c,d),VPa(a,e,f,h),N(h,g).
Sa(a,b,c,d):- does(e,f),think(b,g) , Sa(h,f,c,d),VPa(a,g,h,i),N(i,e).
N(a,b):- dog(c,d) , Na_d(e,f,a,b),Na(c,d,e,f).
Na_d(a,b,a,c):- every(b,c) .
N(a,b):- john(a,b) .
S(a,b):- liked(c,d) , Sa(e,f,a,g),VPa(c,d,e,h),WH(g,b),N(h,f).
S(a,b):- loves(c,d) , Sa(e,f,a,b),VPa(g,d,e,h),N(h,f),N(g,c).
N(a,b):- mary(a,b) .
Na(a,b,c,d):- new(b,e) , Na(a,e,c,d).
N(a,b):- paul(a,b) .
Sa(a,b,c,d):- said(b,e) , Sa(f,g,c,d),VPa(a,e,f,h),N(h,g).
VPa(a,b,c,d):- seems(b,e) , VPa(a,e,c,d).
S(a,b):- sleeps(c,d) , Sa(e,f,a,b),VPa(c,d,e,g),N(g,f).
VPa(a,b,c,d):- slowly(e,a) , VPa(e,b,c,d).
WH(a,b):- who(a,b) .
Na(a,b,a,b).
Sa(a,b,a,b).
VPa(a,b,a,b).

