unclasp version 0.1
Reading from stdin
Answer: 1
cf_rule2(s,s4_np,s1) cf_rule2(s1,s5_vp,s4_np) cf_rule2(s1,s5_vp,s2) cf_rule2(s2,s4_np,s3) cf_rule1a(s3,prep,s4_np) cf_rule1d(s4_np,det,noun) cf_rule1d(s6,adj,noun) cf_rule1c(s5_vp,verb) cf_rule1d(s5_vp,verb,prep) cf_rule2(s4_np,s6,s5_vp) cf_rule2(s3,s6,s5_vp) cf_rule2(s2,s6,s5_vp) cf_rule2(s1,s6,s5_vp) cf_rule2(s,s6,s1) cf_rule2(s3,s5_vp,s4_np) cf_rule2(s2,s5_vp,s4_np) cf_rule2(s,s5_vp,s4_np) cf_rule1a(s4_np,prep,s5_vp) cf_rule1a(s2,prep,s5_vp) cf_rule1a(s2,prep,s4_np) cf_rule1a(s4_np,det,s6) cf_rule1c(s4_np,prep) 
Optimization: 22 
Answer: 1
cf_rule2(s,s4_np,s1) cf_rule2(s1,s5_vp,s4_np) cf_rule2(s1,s5_vp,s2) cf_rule2(s2,s4_np,s3) cf_rule1a(s3,prep,s4_np) cf_rule1d(s4_np,det,noun) cf_rule1d(s6,adj,noun) cf_rule1c(s5_vp,verb) cf_rule1d(s5_vp,verb,prep) cf_rule1a(s4_np,det,s6) 
Optimization: 10 
SATISFIABLE

Models      : 1+    
  Enumerated: 2
  Optimum   : unknown
Optimization: 10 
Time        : 0.280s (Solving: 0.03s 1st Model: 0.02s Unsat: 0.00s)