1% This is our narrative of events, given as input.
    2
    3updateSDE(story, 9, 21) :-
    4assert(happensAtIE(go_to(chris, work), 9)),
    5assert(happensAtIE(win_lottery(chris), 13)), 
    6assert(happensAtIE(go_to(chris, pub), 17)),
    7assert(happensAtIE(lose_wallet(chris), 19)), 
    8assert(happensAtIE(go_to(chris, home), 21))