Property RingSingleMessageInMbox-PT-d2m010-CTLFireability-00
   "Automatically generated by Citili v2022"
   is:
      ((E ((! ((A (F ((is-fireable("t137072")) | (is-fireable("t78831"))))) | ((E ((is-fireable("t63560")) U (is-fireable("t113076")))) & (((is-fireable("t113931")) & (is-fireable("t116468"))) & ((is-fireable("t159233")) & (is-fireable("t167064"))))))) U ((E ((! (is-fireable("t144549"))) U (! (E (F (is-fireable("t136894"))))))) | (((E (X (is-fireable("t177893")))) | (((is-fireable("t53044")) & (is-fireable("t45723"))) & (! (is-fireable("t107356"))))) & ((! (! (is-fireable("t109674")))) | (is-fireable("t47423"))))))) | (! (A (F (! ((! ((is-fireable("t24312")) | (is-fireable("t135081")))) & (A (X (is-fireable("t152748")))))))))) & (E (F (A ((E ((is-fireable("t48723")) U (E (G (is-fireable("t76588")))))) U (! (A (F (! (is-fireable("t185332"))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLFireability-01
   "Automatically generated by Citili v2022"
   is:
      (E (G (A (X (E (((A (G (is-fireable("t164048")))) & ((is-fireable("t189879")) | (is-fireable("t67280")))) U (is-fireable("t148922")))))))) | (E (G (! (E ((A (F (A (X (is-fireable("t81783")))))) U (A (X (E (F (is-fireable("t34470")))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLFireability-02
   "Automatically generated by Citili v2022"
   is:
      E (X (! (A ((E (F (A ((is-fireable("t3638")) U (is-fireable("t116420")))))) U (((is-fireable("t126814")) & (is-fireable("t23435"))) & (! (! (E (X (is-fireable("t203337")))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLFireability-03
   "Automatically generated by Citili v2022"
   is:
      ! ((A (F ((A (X (! ((is-fireable("t75141")) | (is-fireable("t98883")))))) & (A (X (A (G (is-fireable("t131288"))))))))) | (A ((((! ((A (G (is-fireable("t80119")))) | (A (F (is-fireable("t185539")))))) | (! (((is-fireable("t200233")) | (is-fireable("t1395"))) & (A ((is-fireable("t106958")) U (is-fireable("t31094"))))))) | (is-fireable("t80809"))) U (E (X (E (F (is-fireable("t75631")))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLFireability-04
   "Automatically generated by Citili v2022"
   is:
      A ((! (A (G (! (A ((! (is-fireable("t23436"))) U (is-fireable("t100740")))))))) U (A ((A (F (is-fireable("t16887")))) U (((A ((A (G (is-fireable("t147790")))) U (is-fireable("t53030")))) | (E (G (is-fireable("t161184"))))) & (A (X ((! (is-fireable("t188239"))) | (E (F (is-fireable("t77688")))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLFireability-05
   "Automatically generated by Citili v2022"
   is:
      A (F ((E (F (((E (F (is-fireable("t91125")))) & (A (G (is-fireable("t124964"))))) & ((A (X (is-fireable("t149613")))) | ((A (X (is-fireable("t15171")))) | (is-fireable("t134844"))))))) & (A (G (E (F ((is-fireable("t104744")) & (! (is-fireable("t75162"))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLFireability-06
   "Automatically generated by Citili v2022"
   is:
      (E ((E (G (! (E (G ((is-fireable("t140625")) & (is-fireable("t159636")))))))) U (((E (X (is-fireable("t200503")))) & (E (G (! ((is-fireable("t184455")) & (is-fireable("t201521"))))))) | (! (A (G (! ((is-fireable("t198761")) & (is-fireable("t118406")))))))))) | ((! (E ((is-fireable("t208704")) U (is-fireable("t141259"))))) & (A (X (((E (F (A ((is-fireable("t18845")) U (is-fireable("t34757")))))) & (A (G (A (G (is-fireable("t8379"))))))) | ((is-fireable("t26535")) | (is-fireable("t113784")))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLFireability-07
   "Automatically generated by Citili v2022"
   is:
      A (X (E (F (E (F (! ((! (is-fireable("t160818"))) | (A ((is-fireable("t170619")) U (is-fireable("t175639")))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLFireability-08
   "Automatically generated by Citili v2022"
   is:
      E (X (((A (G (! ((! (is-fireable("t177395"))) & (A ((is-fireable("t32928")) U (is-fireable("t17950")))))))) | (((is-fireable("t85466")) & (E (F (! (is-fireable("t201069")))))) | (is-fireable("t106277")))) | (A (G ((E (F (! (is-fireable("t47410"))))) & (E (X (E (X (is-fireable("t78141")))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLFireability-09
   "Automatically generated by Citili v2022"
   is:
      A (G (A (G ((! (E (X (E (G (is-fireable("t161873"))))))) | (((A (G (is-fireable("t15213")))) | (! ((is-fireable("t144174")) | (is-fireable("t109320"))))) | (A (((is-fireable("t123261")) | (is-fireable("t151313"))) U ((is-fireable("t85344")) | (is-fireable("t123465"))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLFireability-10
   "Automatically generated by Citili v2022"
   is:
      ! (E (F (((! (A (((is-fireable("t196915")) & (is-fireable("t131057"))) U (A (F (is-fireable("t48848"))))))) | (! (A ((A (X (is-fireable("t109405")))) U (! (is-fireable("t181294"))))))) & ((A (X (A (G (is-fireable("t96094")))))) | (((((is-fireable("t21571")) & (is-fireable("t174980"))) | (A (G (is-fireable("t93045"))))) & ((A (X (is-fireable("t203353")))) | (! (is-fireable("t74044"))))) & (! ((! (is-fireable("t160124"))) & ((is-fireable("t15673")) | (is-fireable("t57869"))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLFireability-11
   "Automatically generated by Citili v2022"
   is:
      E (F (E (F (is-fireable("t132237")))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLFireability-12
   "Automatically generated by Citili v2022"
   is:
      A (G ((! ((A (F (is-fireable("t39522")))) & (A (G (A (F (is-fireable("t157603")))))))) & (! ((E (G (E (F (is-fireable("t175784")))))) | ((is-fireable("t65176")) | (E (X (A (F (is-fireable("t52067")))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLFireability-13
   "Automatically generated by Citili v2022"
   is:
      E (G (! (((is-fireable("t88285")) | (is-fireable("t189629"))) & (! ((is-fireable("t194149")) & (is-fireable("t179674")))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLFireability-14
   "Automatically generated by Citili v2022"
   is:
      A (F (! (A (((! (E (G (is-fireable("t121076"))))) & (((! (is-fireable("t165524"))) & ((is-fireable("t17085")) | (is-fireable("t198358")))) | (! (is-fireable("t115452"))))) U (A (X (is-fireable("t10056"))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLFireability-15
   "Automatically generated by Citili v2022"
   is:
      E ((E (F ((! ((is-fireable("t184746")) | (((is-fireable("t84378")) | (is-fireable("t72556"))) & (is-fireable("t33366"))))) & (is-fireable("t127449"))))) U ((A (G (((E (X (is-fireable("t38184")))) | (A (F (is-fireable("t94947"))))) | ((((is-fireable("t168427")) | (is-fireable("t37868"))) & (is-fireable("t76203"))) & (A (F (is-fireable("t84173")))))))) | ((is-fireable("t190069")) & (A (X (A (G (! (is-fireable("t120097"))))))))))
   end.
