smodels version 2.28. Reading...done Answer: 1 Stable Model:
happens(fall_asleep(john),1) happens(wake_up(john),2)
-released_at(awake(john),1) -released_at(awake(john),0)
-released_at(awake(john),2) -released_at(awake(john),3)
-released_at(awake(john),4) -released_at(awake(john),5)
-released_at(awake(john),6) fluent(awake(john))
holds_at(awake(john),1) holds_at(awake(john),0)
holds_at(awake(john),3) holds_at(awake(john),4)
holds_at(awake(john),5) holds_at(awake(john),6)
-holds_at(awake(john),2) terminates(fall_asleep(john),awake(john),0)
terminates(fall_asleep(john),awake(john),1)
terminates(fall_asleep(john),awake(john),2)
terminates(fall_asleep(john),awake(john),3)
terminates(fall_asleep(john),awake(john),4)
terminates(fall_asleep(john),awake(john),5) timepoint(0)
timepoint(1) timepoint(2) timepoint(3) timepoint(4) timepoint(5)
agent(john) initiates(wake_up(john),awake(john),0)
initiates(wake_up(john),awake(john),1)
initiates(wake_up(john),awake(john),2)
initiates(wake_up(john),awake(john),3)
initiates(wake_up(john),awake(john),4)
initiates(wake_up(john),awake(john),5) event(wake_up(john))
event(fall_asleep(john)) terminated(awake(john),1)
initiated(awake(john),2) started_in(0,awake(john),3)
started_in(1,awake(john),3) started_in(0,awake(john),4)
started_in(1,awake(john),4) started_in(0,awake(john),5)
started_in(1,awake(john),5) stopped_in(0,awake(john),2)
stopped_in(0,awake(john),3) stopped_in(0,awake(john),4)
stopped_in(0,awake(john),5) True Duration: 0.010 Number of choice
points: 0 Number of wrong choices: 0 Number of atoms: 59 Number
of rules: 58 Number of picked atoms: 0 Number of forced atoms: 0
Number of truth assignments: 50 Size of searchspace (removed): 0 (0)