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)