2axiom(initiates(wake_up(X),awake(X),T),[]). 3axiom(terminates(fall_asleep(X),awake(Y),T),[]). 4axiom(initially(neg(awake(nathan))),[]). 5abducible(dummy). 6 7executable(wake_up(_X)). 8executable(fall_asleep(_X))