Property RingSingleMessageInMbox-PT-d2m005-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      A (F (A (G (is-fireable("t67204")))))
   end.
Property RingSingleMessageInMbox-PT-d2m005-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      A ((! ((E ((((A ((is-fireable("t41997")) U (is-fireable("t48373")))) & ((is-fireable("t158086")) | (is-fireable("t27604")))) & (E (F (is-fireable("t17452"))))) U (A (X (A (F (is-fireable("t152725")))))))) & ((((E (G (is-fireable("t60029")))) | (! ((is-fireable("t169992")) & (is-fireable("t178484"))))) & (! (E ((is-fireable("t205838")) U (is-fireable("t181216")))))) & (E (G ((E (G (is-fireable("t100297")))) | ((is-fireable("t30258")) | (is-fireable("t46655"))))))))) U (A (G (A (G (((E (X (is-fireable("t159831")))) | ((is-fireable("t18428")) & (is-fireable("t129374")))) | (A (X (is-fireable("t131051"))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m005-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      A (F ((((is-fireable("t36222")) | (is-fireable("t130964"))) | (is-fireable("t27714"))) & (E (((is-fireable("t19190")) | ((! (is-fireable("t89754"))) | (is-fireable("t82459")))) U ((A ((is-fireable("t211457")) U ((is-fireable("t46366")) | (is-fireable("t170720"))))) | (! ((is-fireable("t213333")) & ((is-fireable("t157883")) & (is-fireable("t211961"))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m005-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (G (E (X (A (F (! (E (G (is-fireable("t45488"))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m005-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      E (X (E (F (A (G (((E ((is-fireable("t159204")) U (is-fireable("t212590")))) & (is-fireable("t53785"))) | (E (G (is-fireable("t68546"))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m005-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      (A (X (is-fireable("t33714")))) | (A (F (E (F (A (((A ((is-fireable("t198635")) U (is-fireable("t57741")))) & (! (is-fireable("t136856")))) U (is-fireable("t13596"))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m005-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      ! (A (X ((((E (X ((is-fireable("t78037")) | (is-fireable("t98892"))))) | (E (F ((is-fireable("t81681")) | (is-fireable("t195352")))))) | (((is-fireable("t90204")) & (E ((is-fireable("t87058")) U (is-fireable("t69206"))))) | (E ((A (F (is-fireable("t158632")))) U (is-fireable("t193174")))))) | (((A (X (A (G (is-fireable("t104990")))))) & ((A (X (is-fireable("t118567")))) & (E ((is-fireable("t199905")) U (is-fireable("t8446")))))) | ((is-fireable("t114660")) | ((((is-fireable("t16067")) & (is-fireable("t79742"))) | ((is-fireable("t178833")) | (is-fireable("t195326")))) & (A (X (is-fireable("t36465"))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m005-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      E ((A (G (((E (F ((is-fireable("t91001")) & (is-fireable("t89250"))))) | (is-fireable("t161165"))) | (A (G (A (X (is-fireable("t157501"))))))))) U (E (G (is-fireable("t61855")))))
   end.
Property RingSingleMessageInMbox-PT-d2m005-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      A (F (A ((E (X ((E (X (is-fireable("t102614")))) & ((A (G (is-fireable("t37238")))) & (E (X (is-fireable("t142996")))))))) U (E ((A ((is-fireable("t174913")) U (is-fireable("t64481")))) U (E (F (A (F (is-fireable("t67916")))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m005-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      A ((((A (F (A ((is-fireable("t90997")) U ((is-fireable("t6363")) & (is-fireable("t28462"))))))) | (E (X (A (G ((is-fireable("t191232")) & (is-fireable("t146407")))))))) & ((((((is-fireable("t157429")) | (A (G (is-fireable("t25347"))))) & (E (G (is-fireable("t69061"))))) & (((is-fireable("t27267")) | ((is-fireable("t204314")) & (is-fireable("t179555")))) & (E (X (is-fireable("t166930")))))) | (E ((E (F (is-fireable("t69970")))) U (E (X (is-fireable("t182047"))))))) & (E ((E (F (! (is-fireable("t7895"))))) U ((((is-fireable("t159684")) & (is-fireable("t200737"))) & (E (F (is-fireable("t66109"))))) | (! ((is-fireable("t43373")) | (is-fireable("t39526"))))))))) U ((is-fireable("t209739")) | (is-fireable("t195622"))))
   end.
Property RingSingleMessageInMbox-PT-d2m005-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      ((E ((! (E (G ((E (F (is-fireable("t17460")))) | (is-fireable("t95043")))))) U (! ((! ((! (is-fireable("t146489"))) & (E (G (is-fireable("t52023")))))) & (E (G (A (X (is-fireable("t102036")))))))))) | ((E (G (is-fireable("t20495")))) & (E ((is-fireable("t160239")) U (E ((A (F (is-fireable("t165435")))) U (E (G (is-fireable("t175176")))))))))) & ((E (F (E (F ((E (F (is-fireable("t148896")))) | (A (F (is-fireable("t50769"))))))))) & (A ((is-fireable("t43206")) U (E (F (A (X (A ((is-fireable("t98487")) U (is-fireable("t3866")))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m005-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      A (G (A (G ((((A (G (is-fireable("t74568")))) & (A (F (is-fireable("t149403"))))) | ((is-fireable("t19174")) | (! (A ((is-fireable("t168298")) U (is-fireable("t144731"))))))) & (! (is-fireable("t21652")))))))
   end.
Property RingSingleMessageInMbox-PT-d2m005-CTLFireability-12
   "Automatically generated by Citili v2023"
   is:
      ! (A (F ((! (E (F (A ((is-fireable("t164905")) U (is-fireable("t17552"))))))) & (A (G ((((is-fireable("t190095")) | (is-fireable("t83423"))) & ((is-fireable("t133625")) | (is-fireable("t2190")))) & (((is-fireable("t139402")) & (is-fireable("t189767"))) & (is-fireable("t159596")))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m005-CTLFireability-13
   "Automatically generated by Citili v2023"
   is:
      A (F ((! (A (X (is-fireable("t182028"))))) & (is-fireable("t54895"))))
   end.
Property RingSingleMessageInMbox-PT-d2m005-CTLFireability-14
   "Automatically generated by Citili v2023"
   is:
      ! (A (G ((! (A (G (E (F (is-fireable("t25777"))))))) | ((is-fireable("t195595")) & (A (((E (X (is-fireable("t97268")))) & ((is-fireable("t111667")) | (is-fireable("t129713")))) U (! (is-fireable("t52040")))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m005-CTLFireability-15
   "Automatically generated by Citili v2023"
   is:
      A (F ((! ((is-fireable("t67321")) | (E (X ((! (is-fireable("t101567"))) | (E (G (is-fireable("t142791"))))))))) | (E ((E (F (! (is-fireable("t121242"))))) U ((E ((E (X (is-fireable("t195871")))) U (A (X (is-fireable("t138848")))))) & (! ((A (F (is-fireable("t198391")))) | ((is-fireable("t44990")) | (is-fireable("t176671"))))))))))
   end.
