1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'includes/SaaSPatterns/RulesPatterns/targetHolds.e').
    4
    5% fluent F_TargetHolds(rule)
    6 %  fluent(f_targetHolds(rule)).
    7==> mpred_prop(f_targetHolds(rule),fluent).
    8==> meta_argtypes(f_targetHolds(rule)).
    9
   10% fluent F_TargetDoesntHolds(rule)
   11 %  fluent(f_targetDoesntHolds(rule)).
   12==> mpred_prop(f_targetDoesntHolds(rule),fluent).
   13==> meta_argtypes(f_targetDoesntHolds(rule)).
   14
   15% event E_MatchRuleParametters(rule)
   16 %  event(e_matchRuleParametters(rule)).
   17==> mpred_prop(e_matchRuleParametters(rule),event).
   18==> meta_argtypes(e_matchRuleParametters(rule)).
   19
   20% event E_DontMatchRuleParametters(rule)
   21 %  event(e_dontMatchRuleParametters(rule)).
   22==> mpred_prop(e_dontMatchRuleParametters(rule),event).
   23==> meta_argtypes(e_dontMatchRuleParametters(rule)).
   24
   25
   26% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/targetHolds.e:6
   27% [rule,time]
   28 % Initiates(E_MatchRuleParametters(rule),F_TargetHolds(rule),time).
   29axiom(initiates(e_matchRuleParametters(Rule), f_targetHolds(Rule), Time),
   30    []).
   31
   32
   33% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/targetHolds.e:7
   34% [rule,time]
   35 % Initiates(E_DontMatchRuleParametters(rule),F_TargetDoesntHolds(rule),time).
   36axiom(initiates(e_dontMatchRuleParametters(Rule), f_targetDoesntHolds(Rule), Time),
   37    []).
   38
   39
   40% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/targetHolds.e:9
   41% [rule,time]
   42 % Happens(E_MatchRuleParametters(rule), time) -> !HoldsAt(F_TargetHolds(rule),time).
   43axiom(requires(e_matchRuleParametters(Rule), Time),
   44    [not(holds_at(f_targetHolds(Rule), Time))]).
   45
   46
   47% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/targetHolds.e:10
   48% [rule,time]
   49 % Happens(E_DontMatchRuleParametters(rule), time) -> !HoldsAt(F_TargetDoesntHolds(rule),time).
   50axiom(requires(e_dontMatchRuleParametters(Rule), Time),
   51    [not(holds_at(f_targetDoesntHolds(Rule), Time))]).
   52
   53
   54% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/targetHolds.e:13
   55% [rule]
   56 % !HoldsAt(F_TargetHolds(rule),0).
   57 %  not(initially(f_targetHolds(Rule))).
   58axiom(not(initially(f_targetHolds(TargetHolds_Ret))),
   59    []).
   60
   61
   62% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/targetHolds.e:14
   63% [rule]
   64 % !HoldsAt(F_TargetDoesntHolds(rule),0).
   65 %  not(initially(f_targetDoesntHolds(Rule))).
   66axiom(not(initially(f_targetDoesntHolds(TargetDoesntHolds_Ret))),
   67    [])