cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(np,det,nt4).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(np,det,nt4).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt7).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(vp).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule1a(nt3,prep,np).
known_nonTerminal(np).
known_nonTerminal(nt3).
cf_rule2(s,np,nt1).
known_nonTerminal(np).
known_nonTerminal(nt1).
cf_rule1a(nt3,prep,np).
known_nonTerminal(np).
known_nonTerminal(nt3).
cf_rule1a(nt3,prep,np).
known_nonTerminal(np).
known_nonTerminal(nt3).
cf_rule1a(nt3,prep,np).
known_nonTerminal(np).
known_nonTerminal(nt3).
cf_rule1a(nt3,prep,np).
known_nonTerminal(np).
known_nonTerminal(nt3).
cf_rule1a(nt3,prep,np).
known_nonTerminal(np).
known_nonTerminal(nt3).
cf_rule1a(nt3,prep,np).
known_nonTerminal(np).
known_nonTerminal(nt3).
cf_rule0(nt9).
known_nonTerminal(nt9).
cf_rule2(s,np,nt1).
known_nonTerminal(np).
known_nonTerminal(nt1).
cf_rule0(nt5).
cf_rule0(nt8).
known_nonTerminal(nt5).
known_nonTerminal(nt8).
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
known_nonTerminal(np).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt8).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt7).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt7).
known_nonTerminal(vp).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
cf_rule2(s,np,nt1).
cf_rule0(nt7).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt7).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(vp).
cf_rule0(nt5).
cf_rule1a(vp,verb,nt8).
known_nonTerminal(nt5).
known_nonTerminal(nt8).
known_nonTerminal(vp).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
cf_rule1a(np,det,nt4).
cf_rule0(nt8).
known_nonTerminal(np).
known_nonTerminal(nt4).
known_nonTerminal(nt8).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt9).
cf_rule0(nt3).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt8).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt6).
known_nonTerminal(nt8).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt7).
known_nonTerminal(np).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt7).
cf_rule0(nt3).
cf_rule0(nt5).
cf_rule0(nt7).
known_nonTerminal(nt3).
known_nonTerminal(nt5).
known_nonTerminal(nt7).
cf_rule2(nt1,vp,nt2).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(vp,verb,nt8).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt8).
known_nonTerminal(vp).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt9).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt8).
known_nonTerminal(np).
known_nonTerminal(nt4).
known_nonTerminal(nt6).
known_nonTerminal(nt8).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt5).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt5).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt2,np,nt3). 
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt8).
known_nonTerminal(vp).
cf_rule0(nt3).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt9).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt9).
cf_rule2(nt1,vp,nt2).
cf_rule1a(np,det,nt4).
cf_rule0(nt7).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt4).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt8).
known_nonTerminal(np).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt8).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
known_nonTerminal(np).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt7).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt7).
known_nonTerminal(vp).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt9).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
cf_rule2(s,np,nt1).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(vp,verb,nt8).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt8).
known_nonTerminal(vp).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt8).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
cf_rule2(nt1,vp,nt2).
cf_rule1a(np,det,nt4).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
known_nonTerminal(np).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(vp).
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
cf_rule0(nt3).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(nt3).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt4,noun,nt5).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule0(nt3).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt8).
cf_rule0(nt9).
known_nonTerminal(nt3).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
cf_rule2(s,np,nt1).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt8).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(vp,verb,nt8).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt8).
known_nonTerminal(vp).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt3).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(nt1,vp,nt2).
cf_rule1a(nt3,prep,np).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule0(nt8).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(vp).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(np,det,nt4).
cf_rule0(nt7).
cf_rule0(nt8).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
known_nonTerminal(np).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt6).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
cf_rule2(nt1,vp,nt2).
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule0(nt8).
known_nonTerminal(np).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule0(nt8).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt6).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt8).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt8).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt6).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt8).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule1a(nt3,prep,np).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule0(nt7).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt7).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(vp).
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule1a(nt3,prep,np).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt7).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(vp).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt2,np,nt3). 
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt4).
known_nonTerminal(nt5).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
known_nonTerminal(np).
known_nonTerminal(nt1).
known_nonTerminal(nt2).
known_nonTerminal(nt3).
known_nonTerminal(nt4).
known_nonTerminal(nt6).
known_nonTerminal(nt7).
known_nonTerminal(nt8).
known_nonTerminal(nt9).
known_nonTerminal(vp).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule1a(nt3,prep,np).
cf_rule0(nt8).
cf_rule0(nt9).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt9).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule0(nt5).
cf_rule1a(nt8,prep,nt9).
cf_rule2(nt1,vp,nt2).
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt7).
cf_rule0(nt9).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule0(nt7).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule2(s,np,nt1).
cf_rule1a(nt3,prep,np).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt9).
cf_rule1a(nt3,prep,np).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule2(s,np,nt1).
cf_rule1a(nt3,prep,np).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule1a(nt3,prep,np).
cf_rule0(nt5).
cf_rule0(nt7).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule0(nt7).
cf_rule0(nt9).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(nt3,prep,np).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt8).
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt8,prep,nt9).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule2(nt2,np,nt3). 
cf_rule1a(np,det,nt4).
cf_rule1a(vp,verb,nt8).
cf_rule2(s,np,nt1).
cf_rule0(nt3).
cf_rule1a(nt8,prep,nt9).
cf_rule2(s,np,nt1).
cf_rule0(nt5).
cf_rule0(nt8).
cf_rule0(nt3).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(nt2,np,nt3). 
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,adj,nt6).
cf_rule2(nt1,vp,nt2).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt7).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt8).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt7).
cf_rule1a(nt8,prep,nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule0(nt9).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt8,prep,nt9).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt8,prep,nt9).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt5).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt7).
cf_rule2(s,np,nt1).
cf_rule0(nt7).
cf_rule1a(np,det,nt4).
cf_rule1a(vp,verb,nt8).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt9).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt9).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt9).
cf_rule0(nt8).
cf_rule1a(np,det,nt4).
cf_rule2(s,np,nt1).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule0(nt3).
cf_rule0(nt5).
cf_rule0(nt3).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(nt8,prep,nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule0(nt8).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt8).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt7).
cf_rule0(nt8).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt7).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt9).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(nt1,vp,nt2).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt7).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt9).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule0(nt9).
cf_rule0(nt3).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule2(s,np,nt1).
cf_rule2(nt2,np,nt3). 
cf_rule1a(np,det,nt4).
cf_rule0(nt5).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule0(nt3).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule0(nt9).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt7).
cf_rule1a(nt8,prep,nt9).
cf_rule2(nt2,np,nt3). 
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,adj,nt6).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule0(nt3).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt9).
cf_rule2(nt1,vp,nt2).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt5).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt9).
cf_rule2(s,np,nt1).
cf_rule0(nt3).
cf_rule1a(np,det,nt4).
cf_rule1a(vp,verb,nt8).
cf_rule0(nt8).
cf_rule1a(nt8,prep,nt9).
cf_rule2(s,np,nt1).
cf_rule2(nt1,vp,nt2).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt8).
cf_rule2(nt2,np,nt3). 
cf_rule1a(nt4,noun,nt5).
cf_rule1a(nt4,adj,nt6).
cf_rule0(nt7).
cf_rule0(nt8).
cf_rule0(nt9).
cf_rule2(nt1,vp,nt2).
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(nt6,noun,nt7).
cf_rule0(nt7).
cf_rule0(nt9).
cf_rule2(nt1,vp,nt2).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule1a(nt4,noun,nt5).
cf_rule0(nt7).
cf_rule1a(nt8,prep,nt9).
cf_rule2(nt2,np,nt3). 
cf_rule0(nt3).
cf_rule1a(nt3,prep,np).
cf_rule1a(np,det,nt4).
cf_rule0(nt7).
cf_rule1a(vp,verb,nt8).