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))