1initiatedAt(rich(_131251)=true, _131257, _131236, _131259) :-
    2     happensAtIE(win_lottery(_131251),_131236),
    3     _131257=<_131236,
    4     _131236<_131259.
    5
    6initiatedAt(location(_131251)=_131239, _131258, _131236, _131260) :-
    7     happensAtIE(go_to(_131251,_131239),_131236),
    8     _131258=<_131236,
    9     _131236<_131260.
   10
   11terminatedAt(rich(_131251)=true, _131257, _131236, _131259) :-
   12     happensAtIE(lose_wallet(_131251),_131236),
   13     _131257=<_131236,
   14     _131236<_131259.
   15
   16holdsForSDFluent(happy(_131251)=true,_131236) :-
   17     holdsForProcessedSimpleFluent(_131251,rich(_131251)=true,_131257),
   18     holdsForProcessedSimpleFluent(_131251,location(_131251)=pub,_131268),
   19     union_all([_131257,_131268],_131236).
   20
   21cachingOrder2(_131235, location(_131235)=home) :-
   22     person(_131235),place(home).
   23
   24cachingOrder2(_131235, location(_131235)=pub) :-
   25     person(_131235),place(pub).
   26
   27cachingOrder2(_131235, location(_131235)=work) :-
   28     person(_131235),place(work).
   29
   30cachingOrder2(_131235, rich(_131235)=true) :-
   31     person(_131235).
   32
   33cachingOrder2(_131235, rich(_131235)=false) :-
   34     person(_131235).
   35
   36cachingOrder2(_131235, happy(_131235)=true) :-
   37     person(_131235).
   38
   39cachingOrder2(_131235, happy(_131235)=false) :-
   40     person(_131235)