smodels version 2.28. Reading...done Answer: 1 Stable Model: happens(fall_asleep(john),1) happens(wake_up(john),2) initially(awake(john)) 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)) fluent(awake(john)) holds_at(awake(john),3) holds_at(awake(john),4) holds_at(awake(john),5) holds_at(awake(john),0) holds_at(awake(john),1) clipped(0,awake(john),2) clipped(0,awake(john),3) clipped(0,awake(john),4) clipped(0,awake(john),5) True Duration: 0.000 Number of choice points: 0 Number of wrong choices: 0 Number of atoms: 34 Number of rules: 34 Number of picked atoms: 0 Number of forced atoms: 0 Number of truth assignments: 34 Size of searchspace (removed): 0 (0)