1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ectest/ec_reader_test_includes.e').
    4%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    5%; FILE: includes/SaaSPatterns/sorts.e
    6%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    7
    8% sort rule,subject,object,action,ruleeffect,policy,policyset
    9==> sort(rule).
   10==> sort(subject).
   11==> sort(object).
   12==> sort(action).
   13==> sort(ruleeffect).
   14==> sort(policy).
   15==> sort(policyset).
   16%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
   17%; FILE: includes/SaaSPatterns/RulesPatterns/ruleOutput.e
   18%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
   19
   20% fluent F_RuleDenied(rule)
   21 %  fluent(f_ruleDenied(rule)).
   22==> mpred_prop(f_ruleDenied(rule),fluent).
   23==> meta_argtypes(f_ruleDenied(rule)).
   24
   25% fluent F_RulePermitted(rule)
   26 %  fluent(f_rulePermitted(rule)).
   27==> mpred_prop(f_rulePermitted(rule),fluent).
   28==> meta_argtypes(f_rulePermitted(rule)).
   29
   30% event Epermit(rule)
   31 %  event(epermit(rule)).
   32==> mpred_prop(epermit(rule),event).
   33==> meta_argtypes(epermit(rule)).
   34
   35% event EDeny(rule)
   36 %  event(eDeny(rule)).
   37==> mpred_prop(eDeny(rule),event).
   38==> meta_argtypes(eDeny(rule)).
   39
   40
   41% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:30
   42% [rule,time]
   43 % Initiates(EDeny(rule),F_RuleDenied(rule),time).
   44axiom(initiates(eDeny(Rule), f_ruleDenied(Rule), Time),
   45    []).
   46
   47
   48% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:31
   49% [rule,time]
   50 % Initiates(Epermit(rule),F_RulePermitted(rule),time).
   51axiom(initiates(epermit(Rule), f_rulePermitted(Rule), Time),
   52    []).
   53
   54
   55% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:34
   56% [rule]
   57 % !HoldsAt(F_RulePermitted(rule),0).
   58 %  not(initially(f_rulePermitted(Rule))).
   59axiom(not(initially(f_rulePermitted(RulePermitted_Ret))),
   60    []).
   61
   62
   63% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:35
   64% [rule]
   65 % !HoldsAt(F_RuleDenied(rule),0).
   66 %  not(initially(f_ruleDenied(Rule))).
   67axiom(not(initially(f_ruleDenied(RuleDenied_Ret))),
   68    []).
   69
   70
   71% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:48
   72%;[rule] HoldsAt(F_RulePermitted(rule),3) | HoldsAt(F_RuleDenied(rule),3).
   73%;[rule,time] Happens(RuleDeny(rule), time) |  Happens(RulePermit(rule), time) -> time=2.
   74%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
   75%; FILE: includes/SaaSPatterns/RulesPatterns/targetHolds.e
   76%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
   77
   78% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:56
   79% fluent F_TargetHolds(rule)
   80 %  fluent(f_targetHolds(rule)).
   81% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:57
   82==> mpred_prop(f_targetHolds(rule),fluent).
   83==> meta_argtypes(f_targetHolds(rule)).
   84
   85% fluent F_TargetDoesntHolds(rule)
   86 %  fluent(f_targetDoesntHolds(rule)).
   87% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:58
   88==> mpred_prop(f_targetDoesntHolds(rule),fluent).
   89==> meta_argtypes(f_targetDoesntHolds(rule)).
   90
   91% event E_MatchRuleParametters(rule)
   92 %  event(e_matchRuleParametters(rule)).
   93% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:60
   94==> mpred_prop(e_matchRuleParametters(rule),event).
   95==> meta_argtypes(e_matchRuleParametters(rule)).
   96
   97% event E_DontMatchRuleParametters(rule)
   98 %  event(e_dontMatchRuleParametters(rule)).
   99% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:61
  100==> mpred_prop(e_dontMatchRuleParametters(rule),event).
  101==> meta_argtypes(e_dontMatchRuleParametters(rule)).
  102
  103
  104% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:62
  105% [rule,time]
  106 % Initiates(E_MatchRuleParametters(rule),F_TargetHolds(rule),time).
  107axiom(initiates(e_matchRuleParametters(Rule), f_targetHolds(Rule), Time),
  108    []).
  109
  110
  111% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:63
  112% [rule,time]
  113 % Initiates(E_DontMatchRuleParametters(rule),F_TargetDoesntHolds(rule),time).
  114axiom(initiates(e_dontMatchRuleParametters(Rule), f_targetDoesntHolds(Rule), Time),
  115    []).
  116
  117
  118% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:65
  119% [rule,time]
  120 % Happens(E_MatchRuleParametters(rule), time) -> !HoldsAt(F_TargetHolds(rule),time).
  121axiom(requires(e_matchRuleParametters(Rule), Time),
  122    [not(holds_at(f_targetHolds(Rule), Time))]).
  123
  124
  125% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:66
  126% [rule,time]
  127 % Happens(E_DontMatchRuleParametters(rule), time) -> !HoldsAt(F_TargetDoesntHolds(rule),time).
  128axiom(requires(e_dontMatchRuleParametters(Rule), Time),
  129    [not(holds_at(f_targetDoesntHolds(Rule), Time))]).
  130
  131
  132% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:69
  133% [rule]
  134 % !HoldsAt(F_TargetHolds(rule),0).
  135 %  not(initially(f_targetHolds(Rule))).
  136axiom(not(initially(f_targetHolds(TargetHolds_Ret))),
  137    []).
  138
  139
  140% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:70
  141% [rule]
  142 % !HoldsAt(F_TargetDoesntHolds(rule),0).
  143 %  not(initially(f_targetDoesntHolds(Rule))).
  144axiom(not(initially(f_targetDoesntHolds(TargetDoesntHolds_Ret))),
  145    []).
  146
  147
  148% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:74
  149%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  150%; FILE: includes/SaaSPatterns/RulesPatterns/ConditionsVerification.e
  151%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  152
  153% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:77
  154% fluent F_ConditionSatisfied(rule)
  155 %  fluent(f_conditionSatisfied(rule)).
  156% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:78
  157==> mpred_prop(f_conditionSatisfied(rule),fluent).
  158==> meta_argtypes(f_conditionSatisfied(rule)).
  159
  160
  161% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:78
  162%;event E_ConditionSatisfied(rule)
  163%;[rule,time] Initiates(E_ConditionSatisfied(rule),F_ConditionSatisfied(rule),time).
  164%;[rule,time] Happens(E_ConditionSatisfied(rule),time) -> HoldsAt(F_TargetHolds(rule),time).
  165%;[rule,time] Happens(E_ConditionSatisfied(rule), time) -> !HoldsAt(F_ConditionSatisfied(rule),time).
  166% [rule]
  167 
  168% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:88
  169% HoldsAt(F_ConditionSatisfied(rule),0).
  170axiom(initially(f_conditionSatisfied(Rule)),
  171    []).
  172
  173
  174% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:92
  175%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  176%; FILE: includes/SaaSPatterns/RulesPatterns/ruleModel.e
  177%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  178
  179% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:95
  180% fluent F_RuleEffectPermitted(rule)
  181 %  fluent(f_ruleEffectPermitted(rule)).
  182% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:96
  183==> mpred_prop(f_ruleEffectPermitted(rule),fluent).
  184==> meta_argtypes(f_ruleEffectPermitted(rule)).
  185
  186
  187% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:96
  188%; prédéfinies
  189
  190% fluent F_RuleEffectNOTpermitted(rule) 
  191 %  fluent(f_ruleEffectNOTpermitted(rule)).
  192% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:98
  193==> mpred_prop(f_ruleEffectNOTpermitted(rule),fluent).
  194==> meta_argtypes(f_ruleEffectNOTpermitted(rule)).
  195
  196
  197% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:98
  198%;prédéfinies
  199
  200% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:101
  201% fluent F_RuleDenied(rule)
  202 %  fluent(f_ruleDenied(rule)).
  203% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:102
  204==> mpred_prop(f_ruleDenied(rule),fluent).
  205==> meta_argtypes(f_ruleDenied(rule)).
  206
  207% fluent F_RulePermitted(rule)
  208 %  fluent(f_rulePermitted(rule)).
  209% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:103
  210==> mpred_prop(f_rulePermitted(rule),fluent).
  211==> meta_argtypes(f_rulePermitted(rule)).
  212
  213% fluent F_RuleNotApplicable(rule)
  214 %  fluent(f_ruleNotApplicable(rule)).
  215% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:104
  216==> mpred_prop(f_ruleNotApplicable(rule),fluent).
  217==> meta_argtypes(f_ruleNotApplicable(rule)).
  218
  219% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:107
  220% event Epermit(rule)
  221 %  event(epermit(rule)).
  222% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:108
  223==> mpred_prop(epermit(rule),event).
  224==> meta_argtypes(epermit(rule)).
  225
  226% event EDeny(rule)
  227 %  event(eDeny(rule)).
  228% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:109
  229==> mpred_prop(eDeny(rule),event).
  230==> meta_argtypes(eDeny(rule)).
  231
  232% event ERuleDoesNotApply(rule)
  233 %  event(eRuleDoesNotApply(rule)).
  234% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:110
  235==> mpred_prop(eRuleDoesNotApply(rule),event).
  236==> meta_argtypes(eRuleDoesNotApply(rule)).
  237
  238
  239% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:112
  240% [rule,time]
  241 % Initiates(EDeny(rule),F_RuleDenied(rule),time).
  242axiom(initiates(eDeny(Rule), f_ruleDenied(Rule), Time),
  243    []).
  244
  245
  246% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:113
  247% [rule,time]
  248 % Initiates(Epermit(rule),F_RulePermitted(rule),time).
  249axiom(initiates(epermit(Rule), f_rulePermitted(Rule), Time),
  250    []).
  251
  252
  253% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:114
  254% [rule,time]
  255 % Initiates(ERuleDoesNotApply(rule),F_RuleNotApplicable(rule),time).
  256axiom(initiates(eRuleDoesNotApply(Rule), f_ruleNotApplicable(Rule), Time),
  257    []).
  258
  259
  260% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:117
  261% [rule,time]
  262 % Happens(EDeny(rule),time) -> HoldsAt(F_TargetHolds(rule),time)
  263%                                             & HoldsAt(F_ConditionSatisfied(rule),time)
  264%                                             & HoldsAt(F_RuleEffectNOTpermitted(rule),time).
  265% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:119
  266axiom(requires(eDeny(Rule), Time),
  267   
  268    [ holds_at(f_targetHolds(Rule), Time),
  269      holds_at(f_conditionSatisfied(Rule), Time),
  270      holds_at(f_ruleEffectNOTpermitted(Rule), Time)
  271    ]).
  272
  273
  274% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:122
  275% [rule,time]
  276 % Happens(Epermit(rule),time) -> HoldsAt(F_TargetHolds(rule),time)
  277%                                             & HoldsAt(F_ConditionSatisfied(rule),time)
  278%                                             & HoldsAt(F_RuleEffectPermitted(rule),time).
  279% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:124
  280axiom(requires(epermit(Rule), Time),
  281   
  282    [ holds_at(f_targetHolds(Rule), Time),
  283      holds_at(f_conditionSatisfied(Rule), Time),
  284      holds_at(f_ruleEffectPermitted(Rule), Time)
  285    ]).
  286
  287
  288% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:126
  289% [rule,time]
  290 % Happens(ERuleDoesNotApply(rule),time) -> HoldsAt(F_TargetDoesntHolds(rule),time).
  291axiom(requires(eRuleDoesNotApply(Rule), Time),
  292    [holds_at(f_targetDoesntHolds(Rule), Time)]).
  293
  294
  295% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:130
  296% [rule]
  297 % !HoldsAt(F_RulePermitted(rule),0).
  298 %  not(initially(f_rulePermitted(Rule))).
  299axiom(not(initially(f_rulePermitted(RulePermitted_Ret))),
  300    []).
  301
  302
  303% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:131
  304% [rule]
  305 % !HoldsAt(F_RuleDenied(rule),0).
  306 %  not(initially(f_ruleDenied(Rule))).
  307axiom(not(initially(f_ruleDenied(RuleDenied_Ret))),
  308    []).
  309
  310
  311% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:132
  312% [rule]
  313 % !HoldsAt(F_RuleNotApplicable(rule),0).
  314 %  not(initially(f_ruleNotApplicable(Rule))).
  315axiom(not(initially(f_ruleNotApplicable(RuleNotApplicable_Ret))),
  316    []).
  317
  318
  319% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:137
  320%;********************************************************************************************************************
  321%;--------------------------------------------------------------------------------------------------------------------
  322%;********************************************************************************************************************
  323%;[rule] HoldsAt(F_RulePermitted(rule),3) | HoldsAt(F_RuleDenied(rule),3).
  324%;[rule,time] Happens(RuleDeny(rule), time) |  Happens(RulePermit(rule), time) -> time=2.
  325%;[rule,time,ruleeffect] Happens(EDeny(rule),time) -> HoldsAt(F_TargetHolds(rule),time)
  326                                                %;    & HoldsAt(F_ConditionSatisfied(rule),time)
  327                                                %;    & ruleeffect=Deny.
  328%;[rule,time,ruleeffect] Happens(Epermit(rule),time) -> HoldsAt(F_TargetHolds(rule),time)
  329                                               %;    & HoldsAt(F_ConditionSatisfied(rule),time)
  330                                               %;    & ruleeffect=Permit.
  331%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  332%; FILE: includes/SaaSPatterns/ordering.e
  333%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  334% [rule,time]
  335 
  336% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:162
  337% Happens(E_MatchRuleParametters(rule), time) | Happens(E_DontMatchRuleParametters(rule), time) -> time = 0.
  338axiom(requires(e_matchRuleParametters(Rule), Time),
  339    [equals(Time, 0)]).
  340axiom(requires(e_dontMatchRuleParametters(Rule), Time),
  341    [equals(Time, 0)]).
  342
  343
  344% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:164
  345% [rule,time]
  346 % Happens(EDeny(rule), time) | Happens(Epermit(rule), time) | Happens(ERuleDoesNotApply(rule), time) -> time = 1.
  347axiom(requires(eDeny(Rule), Time),
  348    [equals(Time, 1)]).
  349axiom(requires(epermit(Rule), Time),
  350    [equals(Time, 1)]).
  351axiom(requires(eRuleDoesNotApply(Rule), Time),
  352    [equals(Time, 1)]).
  353
  354
  355% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:166
  356%;[policy,time] Happens(E_policyPermit(policy), time) | Happens(E_policyDeny(policy), time) | Happens(E_PolicyDoesNotApply(policy),time) -> time = 2.
  357%;[policyset,time] Happens(E_policysetPermit(policyset), time) | Happens(E_policysetDeny(policyset), time) | Happens(E_policysetDontApply(policyset),time) -> time = 3.
  358%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  359%; FILE: includes/SaaSPatterns/PolicySetPatterns/policySetModel.e
  360%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  361
  362% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:176
  363% event E_policysetPermit(policyset)
  364 %  event(e_policysetPermit(policyset)).
  365% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:177
  366==> mpred_prop(e_policysetPermit(policyset),event).
  367==> meta_argtypes(e_policysetPermit(policyset)).
  368
  369% event E_policysetDeny(policyset)
  370 %  event(e_policysetDeny(policyset)).
  371% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:178
  372==> mpred_prop(e_policysetDeny(policyset),event).
  373==> meta_argtypes(e_policysetDeny(policyset)).
  374
  375% event E_policysetDontApply(policyset)
  376 %  event(e_policysetDontApply(policyset)).
  377% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:179
  378==> mpred_prop(e_policysetDontApply(policyset),event).
  379==> meta_argtypes(e_policysetDontApply(policyset)).
  380
  381% fluent F_policysetPermitted(policyset)
  382 %  fluent(f_policysetPermitted(policyset)).
  383% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:181
  384==> mpred_prop(f_policysetPermitted(policyset),fluent).
  385==> meta_argtypes(f_policysetPermitted(policyset)).
  386
  387% fluent F_policysetDenied(policyset)
  388 %  fluent(f_policysetDenied(policyset)).
  389% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:182
  390==> mpred_prop(f_policysetDenied(policyset),fluent).
  391==> meta_argtypes(f_policysetDenied(policyset)).
  392
  393% fluent F_policySetNotApplicable(policyset)
  394 %  fluent(f_policySetNotApplicable(policyset)).
  395% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:183
  396==> mpred_prop(f_policySetNotApplicable(policyset),fluent).
  397==> meta_argtypes(f_policySetNotApplicable(policyset)).
  398
  399% predicate PolicysetHaspolicies(policyset,policy)
  400 %  predicate(policysetHaspolicies(policyset,policy)).
  401% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:185
  402==> mpred_prop(policysetHaspolicies(policyset,policy),predicate).
  403==> meta_argtypes(policysetHaspolicies(policyset,policy)).
  404
  405
  406% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:187
  407% [policyset,time]
  408 % Initiates(E_policysetPermit(policyset),F_policysetPermitted(policyset),time).
  409axiom(initiates(e_policysetPermit(Policyset), f_policysetPermitted(Policyset), Time),
  410    []).
  411
  412
  413% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:188
  414% [policyset,time]
  415 % Initiates(E_policysetDeny(policyset),F_policysetDenied(policyset),time).
  416axiom(initiates(e_policysetDeny(Policyset), f_policysetDenied(Policyset), Time),
  417    []).
  418
  419
  420% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:189
  421% [policyset,time]
  422 % Initiates(E_policysetDontApply(policyset),F_policySetNotApplicable(policyset),time).
  423axiom(initiates(e_policysetDontApply(Policyset), f_policySetNotApplicable(Policyset), Time),
  424    []).
  425
  426
  427% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:193
  428%; 'policies combaning algorithm (stategy) : All Permit'
  429% [policyset,policy,time]
  430 % Happens(E_policysetPermit(policyset),time) & PolicysetHaspolicies(policyset,policy) -> HoldsAt(F_policyPermitted(policy),time).
  431% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:194
  432axiom(holds_at(f_policyPermitted(Policy), Time),
  433   
  434    [ happens(e_policysetPermit(Policyset), Time),
  435      policysetHaspolicies(Policyset, Policy)
  436    ]).
  437
  438
  439% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:197
  440%; 'policies combaning algorithm (stategy) : Deny override'
  441% [policyset,time]
  442 % Happens(E_policysetDeny(policyset),time) -> {policy}  PolicysetHaspolicies(policyset,policy) & HoldsAt(F_policyDenied(policy),time).
  443% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:198
  444axiom(requires(e_policysetDeny(Policyset), Time),
  445   
  446    [ policysetHaspolicies(Policyset, Policy),
  447      holds_at(f_policyDenied(Policy), Time)
  448    ]).
  449
  450
  451% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:201
  452%; 'policies combaning algorithm (stategy) : All Permit'
  453% [policyset,policy,time]
  454 % Happens(E_policysetDontApply(policyset),time) & PolicysetHaspolicies(policyset,policy) -> HoldsAt(F_policyNotApplicable(policy),time).
  455% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:202
  456axiom(holds_at(f_policyNotApplicable(Policy), Time),
  457   
  458    [ happens(e_policysetDontApply(Policyset), Time),
  459      policysetHaspolicies(Policyset, Policy)
  460    ]).
  461
  462
  463% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:205
  464% [policyset]
  465% !HoldsAt(F_policysetPermitted(policyset),0).
  466 %  not(initially(f_policysetPermitted(Policyset))).
  467axiom(not(initially(f_policysetPermitted(PolicysetPermitted_Ret))),
  468    []).
  469
  470
  471% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:206
  472% [policyset]
  473% !HoldsAt(F_policysetDenied(policyset),0).
  474 %  not(initially(f_policysetDenied(Policyset))).
  475axiom(not(initially(f_policysetDenied(PolicysetDenied_Ret))),
  476    []).
  477
  478
  479% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:207
  480% [policyset]
  481% !HoldsAt(F_policySetNotApplicable(policyset),0).
  482 %  not(initially(f_policySetNotApplicable(Policyset))).
  483axiom(not(initially(f_policySetNotApplicable(PolicySetNotApplicable_Ret))),
  484    []).
  485
  486
  487% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:211
  488%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  489%; FILE: includes/SaaSPatterns/PolicyPatterns/policyModel.e
  490%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  491
  492% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:214
  493% event E_policyPermit(policy)
  494 %  event(e_policyPermit(policy)).
  495% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:215
  496==> mpred_prop(e_policyPermit(policy),event).
  497==> meta_argtypes(e_policyPermit(policy)).
  498
  499% event E_policyDeny(policy)
  500 %  event(e_policyDeny(policy)).
  501% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:216
  502==> mpred_prop(e_policyDeny(policy),event).
  503==> meta_argtypes(e_policyDeny(policy)).
  504
  505% event E_PolicyDoesNotApply(policy)
  506 %  event(e_policyDoesNotApply(policy)).
  507% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:217
  508==> mpred_prop(e_policyDoesNotApply(policy),event).
  509==> meta_argtypes(e_policyDoesNotApply(policy)).
  510
  511% fluent F_policyPermitted(policy)
  512 %  fluent(f_policyPermitted(policy)).
  513% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:219
  514==> mpred_prop(f_policyPermitted(policy),fluent).
  515==> meta_argtypes(f_policyPermitted(policy)).
  516
  517% fluent F_policyDenied(policy)
  518 %  fluent(f_policyDenied(policy)).
  519% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:220
  520==> mpred_prop(f_policyDenied(policy),fluent).
  521==> meta_argtypes(f_policyDenied(policy)).
  522
  523% fluent F_policyNotApplicable(policy)
  524 %  fluent(f_policyNotApplicable(policy)).
  525% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:221
  526==> mpred_prop(f_policyNotApplicable(policy),fluent).
  527==> meta_argtypes(f_policyNotApplicable(policy)).
  528
  529% predicate PolicyHasRules(policy,rule)
  530 %  predicate(policyHasRules(policy,rule)).
  531% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:223
  532==> mpred_prop(policyHasRules(policy,rule),predicate).
  533==> meta_argtypes(policyHasRules(policy,rule)).
  534
  535
  536% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:225
  537% [policy,time]
  538 % Initiates(E_policyPermit(policy),F_policyPermitted(policy),time).
  539axiom(initiates(e_policyPermit(Policy), f_policyPermitted(Policy), Time),
  540    []).
  541
  542
  543% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:226
  544% [policy,time]
  545 % Initiates(E_policyDeny(policy),F_policyDenied(policy),time).
  546axiom(initiates(e_policyDeny(Policy), f_policyDenied(Policy), Time),
  547    []).
  548
  549
  550% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:227
  551% [policy,time]
  552 % Initiates(E_PolicyDoesNotApply(policy),F_policyNotApplicable(policy),time).
  553axiom(initiates(e_policyDoesNotApply(Policy), f_policyNotApplicable(Policy), Time),
  554    []).
  555
  556
  557% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:231
  558%; 'Rule combaning algorithm (stategy) : All Permit'
  559% [policy,rule,time]
  560 % Happens(E_policyPermit(policy),time) & PolicyHasRules(policy,rule) -> HoldsAt(F_RulePermitted(rule),time).
  561% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:232
  562axiom(holds_at(f_rulePermitted(Rule), Time),
  563   
  564    [ happens(e_policyPermit(Policy), Time),
  565      policyHasRules(Policy, Rule)
  566    ]).
  567
  568
  569% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:235
  570%; 'Rule combaning algorithm (stategy) : Deny override (s il existe au moin une règle satisfaite)'
  571% [policy,time]
  572 % Happens(E_policyDeny(policy),time) -> {rule}  PolicyHasRules(policy,rule) & HoldsAt(F_RuleDenied(rule),time).
  573% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:236
  574axiom(requires(e_policyDeny(Policy), Time),
  575   
  576    [ policyHasRules(Policy, Rule),
  577      holds_at(f_ruleDenied(Rule), Time)
  578    ]).
  579
  580
  581% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:239
  582%; 'Rule combaning algorithm (stategy) : All not Applicable'
  583% [policy,time,rule]
  584 % Happens(E_PolicyDoesNotApply(policy),time) & PolicyHasRules(policy,rule) -> HoldsAt(F_RuleNotApplicable(rule),time).
  585% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:240
  586axiom(holds_at(f_ruleNotApplicable(Rule), Time),
  587   
  588    [ happens(e_policyDoesNotApply(Policy), Time),
  589      policyHasRules(Policy, Rule)
  590    ]).
  591
  592
  593% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:243
  594% [policy]
  595% !HoldsAt(F_policyPermitted(policy),0).
  596 %  not(initially(f_policyPermitted(Policy))).
  597axiom(not(initially(f_policyPermitted(PolicyPermitted_Ret))),
  598    []).
  599
  600
  601% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:244
  602% [policy]
  603% !HoldsAt(F_policyDenied(policy),0).
  604 %  not(initially(f_policyDenied(Policy))).
  605axiom(not(initially(f_policyDenied(PolicyDenied_Ret))),
  606    []).
  607
  608
  609% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:245
  610% [policy]
  611% !HoldsAt(F_policyNotApplicable(policy),0).
  612 %  not(initially(f_policyNotApplicable(Policy))).
  613axiom(not(initially(f_policyNotApplicable(PolicyNotApplicable_Ret))),
  614    []).
  615
  616
  617% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:249
  618%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  619%; FILE: includes/SaaSPatterns/input.e
  620%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  621
  622% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:252
  623% subject Navas
  624% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:253
  625==> t(subject,navas).
  626
  627% object Gloves
  628% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:254
  629==> t(object,gloves).
  630
  631% action Get
  632% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:255
  633==>