1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3
    4 /*  loading(always,
    5   	'includes/SaaSPatterns/RulesPatterns/ConditionsVerification.e').
    6 */
    7
    8% fluent F_ConditionSatisfied(rule)
    9 %  fluent(f_conditionSatisfied(rule)).
   10==> mpred_prop(f_conditionSatisfied(rule),fluent).
   11==> meta_argtypes(f_conditionSatisfied(rule)).
   12
   13
   14% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ConditionsVerification.e:1
   15%;event E_ConditionSatisfied(rule)
   16%;[rule,time] Initiates(E_ConditionSatisfied(rule),F_ConditionSatisfied(rule),time).
   17%;[rule,time] Happens(E_ConditionSatisfied(rule),time) -> HoldsAt(F_TargetHolds(rule),time).
   18%;[rule,time] Happens(E_ConditionSatisfied(rule), time) -> !HoldsAt(F_ConditionSatisfied(rule),time).
   19% [rule]
   20 
   21% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ConditionsVerification.e:11
   22% HoldsAt(F_ConditionSatisfied(rule),0).
   23axiom(initially(f_conditionSatisfied(Rule)),
   24    [])