1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'includes/SaaSPatterns/ordering.e').
    4
    5
    6% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/ordering.e:0
    7% [rule,time]
    8 % Happens(E_MatchRuleParametters(rule), time) | Happens(E_DontMatchRuleParametters(rule), time) -> time = 0.
    9axiom(requires(e_matchRuleParametters(Rule), Time),
   10    [equals(Time, 0)]).
   11axiom(requires(e_dontMatchRuleParametters(Rule), Time),
   12    [equals(Time, 0)]).
   13
   14
   15% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/ordering.e:2
   16% [rule,time]
   17 % Happens(EDeny(rule), time) | Happens(Epermit(rule), time) | Happens(ERuleDoesNotApply(rule), time) -> time = 1.
   18axiom(requires(eDeny(Rule), Time),
   19    [equals(Time, 1)]).
   20axiom(requires(epermit(Rule), Time),
   21    [equals(Time, 1)]).
   22axiom(requires(eRuleDoesNotApply(Rule), Time),
   23    [equals(Time, 1)]).
   24
   25
   26% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/ordering.e:4
   27%;[policy,time] Happens(E_policyPermit(policy), time) | Happens(E_policyDeny(policy), time) | Happens(E_PolicyDoesNotApply(policy),time) -> time = 2.
   28%;[policyset,time] Happens(E_policysetPermit(policyset), time) | Happens(E_policysetDeny(policyset), time) | Happens(E_policysetDontApply(policyset),time) -> time = 3.