unclasp version 0.1
Reading from stdin
Answer: 1
unknown_cf_rule1a(nt1,prep,nt1) unknown_cf_rule1a(nt1,verb,nt1) unknown_cf_rule1a(nt1,noun,nt1) unknown_cf_rule1a(nt1,adj,nt1) unknown_cf_rule1a(nt1,det,nt1) unknown_cf_rule0(1) unknown_cf_rule0(np) unknown_cf_rule0(nt1) 
Optimization: 6 
Answer: 1
unknown_cf_rule1a(nt1,prep,s) unknown_cf_rule1a(nt1,noun,s) unknown_cf_rule1a(s,det,np) unknown_cf_rule1a(np,noun,np) unknown_cf_rule1a(np,adj,np) unknown_cf_rule1a(np,det,np) unknown_cf_rule1a(np,verb,nt1) unknown_cf_rule1a(nt1,noun,nt1) unknown_cf_rule1a(nt1,adj,nt1) unknown_cf_rule1a(nt1,det,nt1) unknown_cf_rule0(s) 
Optimization: 2 
SATISFIABLE

Models      : 1+    
  Enumerated: 2
  Optimum   : unknown
Optimization: 2 
Time        : 1.930s (Solving: 0.38s 1st Model: 0.27s Unsat: 0.00s)