Property ErlangenMainframeV0-PT-1106-ReachabilityFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t25915")))
   end.
Property ErlangenMainframeV0-PT-1106-ReachabilityFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      E (F (((is-fireable("t18327")) & (is-fireable("t62399"))) & ((((is-fireable("t15991")) | (((! (((is-fireable("t23328")) & (is-fireable("t63335"))) | (! (is-fireable("t69189"))))) & (is-fireable("t64860"))) & (is-fireable("t15493")))) & ((is-fireable("t33397")) | (is-fireable("t49066")))) | (! ((is-fireable("t9108")) | (is-fireable("t64935")))))))
   end.
Property ErlangenMainframeV0-PT-1106-ReachabilityFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("t6567"))))
   end.
Property ErlangenMainframeV0-PT-1106-ReachabilityFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (F ((is-fireable("t13515")) & (is-fireable("t50168"))))
   end.
Property ErlangenMainframeV0-PT-1106-ReachabilityFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t53098")))
   end.
Property ErlangenMainframeV0-PT-1106-ReachabilityFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("t21068"))))
   end.
Property ErlangenMainframeV0-PT-1106-ReachabilityFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (F ((is-fireable("t16229")) | (is-fireable("t53058"))))
   end.
Property ErlangenMainframeV0-PT-1106-ReachabilityFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      E (F (! (((! ((is-fireable("t41490")) & (is-fireable("t15045")))) | (is-fireable("t15680"))) | (is-fireable("t59393")))))
   end.
Property ErlangenMainframeV0-PT-1106-ReachabilityFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t27753")))
   end.
Property ErlangenMainframeV0-PT-1106-ReachabilityFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      E (F ((is-fireable("t43293")) & (! (((((! ((is-fireable("t32556")) | (is-fireable("t51519")))) & ((! (is-fireable("t51070"))) & (! (is-fireable("t64860"))))) | ((is-fireable("t56457")) & (is-fireable("t32372")))) & (((is-fireable("t59890")) & (is-fireable("t18997"))) & ((! (is-fireable("t55715"))) | (((is-fireable("t61201")) | ((is-fireable("t54656")) | (is-fireable("t24890")))) & (! (is-fireable("t64178"))))))) | (((! (((is-fireable("t41483")) | (is-fireable("t61688"))) | ((is-fireable("t54638")) & ((is-fireable("t56105")) | (is-fireable("t32896")))))) & (! (is-fireable("t42567")))) | (! ((! ((is-fireable("t14796")) & (is-fireable("t2003")))) & ((is-fireable("t35021")) | ((! (is-fireable("t62354"))) & ((is-fireable("t3938")) | (is-fireable("t29075"))))))))))))
   end.
Property ErlangenMainframeV0-PT-1106-ReachabilityFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      E (F ((is-fireable("t56955")) & (! (is-fireable("t29020")))))
   end.
Property ErlangenMainframeV0-PT-1106-ReachabilityFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      A (G (! ((is-fireable("t67965")) | (is-fireable("t26788")))))
   end.
Property ErlangenMainframeV0-PT-1106-ReachabilityFireability-2025-12
   "Automatically generated by Citili v2025"
   is:
      E (F (((! ((is-fireable("t33045")) | (((is-fireable("t22744")) & ((! ((is-fireable("t36423")) | (is-fireable("t31710")))) | (((is-fireable("t39461")) & (is-fireable("t58302"))) | ((is-fireable("t44424")) & (is-fireable("t63343")))))) & (((((is-fireable("t62860")) | (is-fireable("t3743"))) & (! (is-fireable("t32740")))) & (! ((is-fireable("t17721")) | (is-fireable("t2194"))))) & (is-fireable("t1148")))))) & ((is-fireable("t50887")) | (! ((! ((! (is-fireable("t13093"))) & (((is-fireable("t48140")) & (is-fireable("t67664"))) & (! (is-fireable("t28727")))))) & ((! ((is-fireable("t10183")) & (is-fireable("t26622")))) | (is-fireable("t14578"))))))) & ((((is-fireable("t32743")) & ((! (((! (is-fireable("t21450"))) & (is-fireable("t60494"))) & (((is-fireable("t66254")) | (is-fireable("t46202"))) | ((is-fireable("t40786")) & (is-fireable("t33691")))))) & ((is-fireable("t52315")) & (is-fireable("t35203"))))) | (! ((is-fireable("t44492")) | (((is-fireable("t67596")) & ((! (is-fireable("t36717"))) | (is-fireable("t66895")))) | (! (is-fireable("t41946"))))))) | (((! (((((is-fireable("t40130")) & (is-fireable("t32877"))) & (! (is-fireable("t16190")))) | (! ((is-fireable("t28640")) | (is-fireable("t59786"))))) & (is-fireable("t35255")))) | ((! ((is-fireable("t49508")) & (((is-fireable("t50537")) | (is-fireable("t48143"))) & ((is-fireable("t10435")) & (is-fireable("t34131")))))) | ((is-fireable("t35363")) | ((! (is-fireable("t43666"))) & ((! (is-fireable("t13757"))) | (! (is-fireable("t46727")))))))) & ((is-fireable("t48861")) | (((! (((is-fireable("t58145")) & (is-fireable("t68688"))) | ((is-fireable("t2246")) & (is-fireable("t292"))))) & ((is-fireable("t25149")) | ((! (is-fireable("t12185"))) & (! (is-fireable("t50163")))))) | (! ((is-fireable("t56385")) | (is-fireable("t1512"))))))))))
   end.
Property ErlangenMainframeV0-PT-1106-ReachabilityFireability-2025-13
   "Automatically generated by Citili v2025"
   is:
      E (F (((is-fireable("t4229")) & (((is-fireable("t6384")) & (is-fireable("t55752"))) & ((! ((((! (is-fireable("t25284"))) | (! (is-fireable("t19684")))) & (is-fireable("t43829"))) & ((! ((is-fireable("t21142")) & (is-fireable("t43540")))) | (is-fireable("t37878"))))) & (((((! (is-fireable("t1974"))) & ((is-fireable("t58526")) & (is-fireable("t49009")))) & (((is-fireable("t32471")) | (is-fireable("t7363"))) | (! (is-fireable("t23476"))))) & ((((is-fireable("t49838")) & (is-fireable("t21115"))) | ((is-fireable("t66167")) & (is-fireable("t59819")))) | (is-fireable("t59041")))) & (is-fireable("t42183")))))) & (is-fireable("t8929"))))
   end.
Property ErlangenMainframeV0-PT-1106-ReachabilityFireability-2025-14
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t69537")))
   end.
Property ErlangenMainframeV0-PT-1106-ReachabilityFireability-2025-15
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t41277")))
   end.
