Property RingSingleMessageInMbox-PT-d2m010-ReachabilityFireability-00
   "Automatically generated by Citili v2022"
   is:
      E (F (! ((! (is-fireable("t69677"))) | (! (((is-fireable("t179547")) | ((! ((! (is-fireable("t74175"))) | (! (is-fireable("t128776"))))) & (! (((is-fireable("t123051")) | (is-fireable("t132855"))) & ((is-fireable("t21529")) & (is-fireable("t35562"))))))) & (is-fireable("t26204")))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-ReachabilityFireability-01
   "Automatically generated by Citili v2022"
   is:
      A (G (! (((! (((! (((is-fireable("t40241")) | (is-fireable("t134546"))) & (! (is-fireable("t195315"))))) | (is-fireable("t61558"))) & (is-fireable("t180175")))) | ((! (((! (is-fireable("t140934"))) | (((is-fireable("t9615")) & (is-fireable("t35555"))) & (! (is-fireable("t209264"))))) | ((((is-fireable("t4094")) & (is-fireable("t11898"))) | (is-fireable("t15623"))) | (is-fireable("t15315"))))) | (is-fireable("t140553")))) & ((((((! ((is-fireable("t122561")) | (is-fireable("t120906")))) | (is-fireable("t15312"))) | ((! ((is-fireable("t119379")) | (is-fireable("t95252")))) & (((is-fireable("t88854")) | (is-fireable("t99553"))) | ((is-fireable("t90457")) | (is-fireable("t10472")))))) & (is-fireable("t7499"))) & (is-fireable("t44335"))) & (is-fireable("t75958"))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-ReachabilityFireability-02
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t114884")))
   end.
Property RingSingleMessageInMbox-PT-d2m010-ReachabilityFireability-03
   "Automatically generated by Citili v2022"
   is:
      E (F (! ((is-fireable("t189793")) | ((! (! ((is-fireable("t13561")) & (is-fireable("t205754"))))) | ((! (is-fireable("t155234"))) | (((! (((is-fireable("t17884")) | (is-fireable("t26296"))) | (! (is-fireable("t103050"))))) | (! ((! (is-fireable("t15335"))) | ((is-fireable("t1650")) & (is-fireable("t144160")))))) | (is-fireable("t169872"))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-ReachabilityFireability-04
   "Automatically generated by Citili v2022"
   is:
      E (F ((is-fireable("t106329")) | (! (((! ((is-fireable("t6557")) & (is-fireable("t31441")))) & (! (! (! (is-fireable("t143857")))))) | ((! (is-fireable("t19376"))) & ((is-fireable("t1030")) & ((! (is-fireable("t66867"))) | (is-fireable("t85471")))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-ReachabilityFireability-05
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t80356")))
   end.
Property RingSingleMessageInMbox-PT-d2m010-ReachabilityFireability-06
   "Automatically generated by Citili v2022"
   is:
      A (G (! ((! (! (((! (! ((is-fireable("t8052")) | (is-fireable("t158856"))))) | ((is-fireable("t78204")) | ((! (is-fireable("t100763"))) | ((is-fireable("t67683")) & (is-fireable("t209651")))))) & ((is-fireable("t156498")) & (is-fireable("t5710")))))) | ((! (! (! (((! (is-fireable("t197076"))) | ((is-fireable("t62067")) & (is-fireable("t123782")))) & (((is-fireable("t169338")) | (is-fireable("t60948"))) & ((is-fireable("t56609")) & (is-fireable("t164130")))))))) & (((is-fireable("t63034")) | (is-fireable("t170101"))) & (! (((is-fireable("t2084")) | (((is-fireable("t84737")) | (is-fireable("t123503"))) | ((is-fireable("t62428")) & (is-fireable("t144885"))))) & (! (((is-fireable("t106174")) | (is-fireable("t73381"))) & ((is-fireable("t99675")) & (is-fireable("t178919"))))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-ReachabilityFireability-07
   "Automatically generated by Citili v2022"
   is:
      E (F (! (! ((((is-fireable("t111299")) | ((! ((is-fireable("t152770")) | ((is-fireable("t66652")) | (is-fireable("t52702"))))) & (is-fireable("t178047")))) | (! ((is-fireable("t174558")) | ((is-fireable("t208662")) | (is-fireable("t126516")))))) & (is-fireable("t35283"))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-ReachabilityFireability-08
   "Automatically generated by Citili v2022"
   is:
      A (G (! (is-fireable("t187386"))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-ReachabilityFireability-09
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t109104")))
   end.
Property RingSingleMessageInMbox-PT-d2m010-ReachabilityFireability-10
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t43526")))
   end.
Property RingSingleMessageInMbox-PT-d2m010-ReachabilityFireability-11
   "Automatically generated by Citili v2022"
   is:
      A (G (! (! ((is-fireable("t130872")) | ((! (((is-fireable("t178044")) & (! ((is-fireable("t200645")) & (is-fireable("t99928"))))) & ((! ((is-fireable("t147901")) | (is-fireable("t46113")))) | (((is-fireable("t91413")) & (is-fireable("t197112"))) & ((is-fireable("t157460")) & (is-fireable("t1097"))))))) | (is-fireable("t80976")))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-ReachabilityFireability-12
   "Automatically generated by Citili v2022"
   is:
      E (F ((((! (is-fireable("t132178"))) | ((! (is-fireable("t176006"))) & (is-fireable("t23283")))) & (((((! (is-fireable("t156102"))) | ((((is-fireable("t122792")) | (is-fireable("t19243"))) & (! (is-fireable("t154344")))) & (is-fireable("t97544")))) | (! (is-fireable("t86510")))) & (! (! ((! ((is-fireable("t105267")) | (is-fireable("t22072")))) | (((is-fireable("t190657")) | (is-fireable("t81071"))) | ((is-fireable("t44641")) | (is-fireable("t58997")))))))) & ((is-fireable("t155176")) | ((((((is-fireable("t12071")) | (is-fireable("t175061"))) | (is-fireable("t167138"))) | ((is-fireable("t108547")) & (is-fireable("t163478")))) & (is-fireable("t190595"))) & (((! (! (is-fireable("t146892")))) | (is-fireable("t81635"))) & ((((is-fireable("t131496")) & (is-fireable("t176619"))) | ((is-fireable("t100464")) & (is-fireable("t102756")))) & (is-fireable("t78702")))))))) | ((! (((((((is-fireable("t162190")) & (is-fireable("t39784"))) & ((is-fireable("t132162")) | (is-fireable("t123946")))) & (! (! (is-fireable("t110792"))))) | (is-fireable("t86108"))) | (((((is-fireable("t152001")) | (is-fireable("t152042"))) | (is-fireable("t43674"))) | (! ((is-fireable("t74317")) & (is-fireable("t187946"))))) & ((((is-fireable("t154598")) | (is-fireable("t35973"))) & ((is-fireable("t42790")) & (is-fireable("t178712")))) & (((is-fireable("t77739")) & (is-fireable("t202332"))) | ((is-fireable("t152899")) & (is-fireable("t18654"))))))) | (! (! (! ((is-fireable("t56196")) | ((is-fireable("t93467")) & (is-fireable("t92703"))))))))) | (((is-fireable("t176193")) | (is-fireable("t112917"))) & (! (is-fireable("t15671")))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-ReachabilityFireability-13
   "Automatically generated by Citili v2022"
   is:
      E (F (((((is-fireable("t33785")) | (! (is-fireable("t115340")))) | (is-fireable("t144411"))) & ((((! ((((is-fireable("t39397")) | (is-fireable("t96345"))) | ((is-fireable("t81017")) & (is-fireable("t199292")))) | ((is-fireable("t47092")) & ((is-fireable("t71591")) & (is-fireable("t84678")))))) | (! (((is-fireable("t40910")) & ((is-fireable("t19425")) | (is-fireable("t43475")))) | ((! (is-fireable("t73541"))) | (! (is-fireable("t98858"))))))) & ((is-fireable("t136324")) & (! (((! (is-fireable("t48329"))) & (! (is-fireable("t53433")))) | (! (! (is-fireable("t100828")))))))) & (! ((! (is-fireable("t49401"))) | ((is-fireable("t93609")) & (is-fireable("t982"))))))) & (! ((is-fireable("t39342")) | (! (is-fireable("t61354")))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-ReachabilityFireability-14
   "Automatically generated by Citili v2022"
   is:
      A (G (! ((is-fireable("t15571")) & (! (is-fireable("t144409"))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-ReachabilityFireability-15
   "Automatically generated by Citili v2022"
   is:
      E (F ((((is-fireable("t11020")) & (is-fireable("t130890"))) & ((is-fireable("t45476")) & (((((((is-fireable("t36195")) & (is-fireable("t49037"))) | ((is-fireable("t35044")) | (is-fireable("t157927")))) | (! (is-fireable("t170888")))) | ((is-fireable("t173470")) & ((! (is-fireable("t24893"))) | ((is-fireable("t203674")) | (is-fireable("t64587")))))) & (((((is-fireable("t147540")) & (is-fireable("t138378"))) & (! (is-fireable("t17482")))) | (! (is-fireable("t205258")))) | (is-fireable("t25019")))) | (! ((! (((is-fireable("t177182")) & (is-fireable("t1853"))) & ((is-fireable("t89210")) | (is-fireable("t83304"))))) & (is-fireable("t191324"))))))) | (! (! (is-fireable("t203324"))))))
   end.
