Property RingSingleMessageInMbox-PT-d2m160-CTLFireability-00
   "Automatically generated by Citili v2022"
   is:
      A ((A ((((E (X (is-fireable("t80471")))) & (E ((A ((is-fireable("t133997")) U (is-fireable("t1174")))) U (! (is-fireable("t132800")))))) | (! (is-fireable("t90564")))) U (A (G (E ((E ((is-fireable("t146992")) U (is-fireable("t60595")))) U ((is-fireable("t201232")) | (is-fireable("t173171"))))))))) U (E (G ((is-fireable("t170690")) & (((((is-fireable("t187942")) & (is-fireable("t87228"))) & (A (F (is-fireable("t109913"))))) | (is-fireable("t61737"))) | (E (((is-fireable("t80469")) & (is-fireable("t195919"))) U (E (G (is-fireable("t69338")))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m160-CTLFireability-01
   "Automatically generated by Citili v2022"
   is:
      (E (F (! (A ((! (is-fireable("t110931"))) U ((E (X (is-fireable("t133605")))) & (A (G (is-fireable("t146089")))))))))) | (A (F (A (G (A ((! (is-fireable("t60798"))) U (((is-fireable("t18268")) | (is-fireable("t115982"))) & (! (is-fireable("t47305"))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m160-CTLFireability-02
   "Automatically generated by Citili v2022"
   is:
      ! (A (X ((((A ((A (F (is-fireable("t111023")))) U ((is-fireable("t33229")) | (is-fireable("t128296"))))) & ((A (F (is-fireable("t127251")))) & ((! (is-fireable("t191188"))) | (is-fireable("t151424"))))) & (A (F (E ((is-fireable("t105645")) U (is-fireable("t188236"))))))) | (A (F (A (((is-fireable("t73474")) & (is-fireable("t190965"))) U ((is-fireable("t156682")) & (is-fireable("t25505"))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m160-CTLFireability-03
   "Automatically generated by Citili v2022"
   is:
      E ((is-fireable("t35360")) U ((E (X (A (F (A (F (is-fireable("t43605")))))))) & (E (F (is-fireable("t209123"))))))
   end.
Property RingSingleMessageInMbox-PT-d2m160-CTLFireability-04
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t178489")))
   end.
Property RingSingleMessageInMbox-PT-d2m160-CTLFireability-05
   "Automatically generated by Citili v2022"
   is:
      A (((A (X ((! ((E ((is-fireable("t30554")) U (is-fireable("t146175")))) | (A (X (is-fireable("t21981")))))) & (is-fireable("t94311"))))) | (! (! ((E (G (E ((is-fireable("t204131")) U (is-fireable("t205679")))))) | ((! (E (G (is-fireable("t203635"))))) & (is-fireable("t177550"))))))) U (E (G (E (X (A (G (E (F (is-fireable("t85809")))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m160-CTLFireability-06
   "Automatically generated by Citili v2022"
   is:
      E (X ((E (G (! (A (X (is-fireable("t106590"))))))) | ((A (F (is-fireable("t52713")))) & (! (A (G (E (G (is-fireable("t84614"))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m160-CTLFireability-07
   "Automatically generated by Citili v2022"
   is:
      A (F ((((! (! (A (X (is-fireable("t4079")))))) & ((E (G (is-fireable("t35524")))) | (E (G ((is-fireable("t33085")) & (is-fireable("t79238"))))))) | (A (X ((! (E (F (is-fireable("t41203"))))) & ((is-fireable("t102774")) | (A (X (is-fireable("t113154"))))))))) & (is-fireable("t33087"))))
   end.
Property RingSingleMessageInMbox-PT-d2m160-CTLFireability-08
   "Automatically generated by Citili v2022"
   is:
      E ((! ((A (G ((is-fireable("t170866")) & (A (X (is-fireable("t167589"))))))) & (E (X (A (F (! (is-fireable("t123657"))))))))) U ((E (X (is-fireable("t154354")))) & ((E (((E (X (is-fireable("t109072")))) & (is-fireable("t24995"))) U (A (F (A (G (is-fireable("t164414")))))))) & (! (E (G ((A (G (is-fireable("t147232")))) | ((is-fireable("t185614")) | (is-fireable("t107279"))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m160-CTLFireability-09
   "Automatically generated by Citili v2022"
   is:
      ! (! (E ((E (G ((! (A (F (is-fireable("t114911"))))) | (is-fireable("t27611"))))) U (A ((A (G (is-fireable("t77047")))) U (! ((E (X (is-fireable("t188195")))) | (A (F (is-fireable("t69265")))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m160-CTLFireability-10
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t95389")))
   end.
Property RingSingleMessageInMbox-PT-d2m160-CTLFireability-11
   "Automatically generated by Citili v2022"
   is:
      E (G (E (F ((((! (is-fireable("t102730"))) & (A (X (is-fireable("t145540"))))) | (E ((E (F (is-fireable("t191255")))) U (! (is-fireable("t15345")))))) & ((! (A (F (is-fireable("t167561"))))) & (! (E ((is-fireable("t90381")) U (is-fireable("t80482"))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m160-CTLFireability-12
   "Automatically generated by Citili v2022"
   is:
      E (G (E (F (A (G (E ((! (is-fireable("t181852"))) U (! (is-fireable("t70424"))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m160-CTLFireability-13
   "Automatically generated by Citili v2022"
   is:
      ! (A (X (E ((((! (! (is-fireable("t112584")))) | (! (A (X (is-fireable("t205918")))))) & (is-fireable("t18738"))) U ((is-fireable("t91797")) | ((E (G (is-fireable("t192218")))) | (A (F (is-fireable("t11463"))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m160-CTLFireability-14
   "Automatically generated by Citili v2022"
   is:
      A (F (A (X (is-fireable("t178542")))))
   end.
Property RingSingleMessageInMbox-PT-d2m160-CTLFireability-15
   "Automatically generated by Citili v2022"
   is:
      A (F ((is-fireable("t194000")) & ((is-fireable("t166490")) & (A (G (A (F ((is-fireable("t55810")) & (is-fireable("t138214"))))))))))
   end.
