1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'includes/SaaSPatterns/RulesPatterns/ruleOutput.e').
    4
    5% fluent F_RuleDenied(rule)
    6 %  fluent(f_ruleDenied(rule)).
    7==> mpred_prop(f_ruleDenied(rule),fluent).
    8==> meta_argtypes(f_ruleDenied(rule)).
    9
   10% fluent F_RulePermitted(rule)
   11 %  fluent(f_rulePermitted(rule)).
   12==> mpred_prop(f_rulePermitted(rule),fluent).
   13==> meta_argtypes(f_rulePermitted(rule)).
   14
   15% event Epermit(rule)
   16 %  event(epermit(rule)).
   17==> mpred_prop(epermit(rule),event).
   18==> meta_argtypes(epermit(rule)).
   19
   20% event EDeny(rule)
   21 %  event(eDeny(rule)).
   22==> mpred_prop(eDeny(rule),event).
   23==> meta_argtypes(eDeny(rule)).
   24
   25
   26% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:6
   27% [rule,time]
   28 % Initiates(EDeny(rule),F_RuleDenied(rule),time).
   29axiom(initiates(eDeny(Rule), f_ruleDenied(Rule), Time),
   30    []).
   31
   32
   33% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:7
   34% [rule,time]
   35 % Initiates(Epermit(rule),F_RulePermitted(rule),time).
   36axiom(initiates(epermit(Rule), f_rulePermitted(Rule), Time),
   37    []).
   38
   39
   40% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:10
   41% [rule]
   42 % !HoldsAt(F_RulePermitted(rule),0).
   43 %  not(initially(f_rulePermitted(Rule))).
   44axiom(not(initially(f_rulePermitted(RulePermitted_Ret))),
   45    []).
   46
   47
   48% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:11
   49% [rule]
   50 % !HoldsAt(F_RuleDenied(rule),0).
   51 %  not(initially(f_ruleDenied(Rule))).
   52axiom(not(initially(f_ruleDenied(RuleDenied_Ret))),
   53    []).
   54
   55
   56% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:24
   57%;[rule] HoldsAt(F_RulePermitted(rule),3) | HoldsAt(F_RuleDenied(rule),3).
   58%;[rule,time] Happens(RuleDeny(rule), time) |  Happens(RulePermit(rule), time) -> time=2.