Property ErlangenMainframeV0-PT-1104-ReachabilityFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      A (G (((((! (is-fireable("t26741"))) & ((! ((is-fireable("t11447")) & ((is-fireable("t3458")) | ((is-fireable("t17253")) | (is-fireable("t30938")))))) & (! ((! ((is-fireable("t25270")) | (is-fireable("t29812")))) | ((! (is-fireable("t7714"))) & (! (is-fireable("t2980")))))))) & (! (((! ((is-fireable("t29109")) & (is-fireable("t26153")))) & (is-fireable("t22481"))) & (! (is-fireable("t5838")))))) | ((((is-fireable("t15102")) | (! (((! (is-fireable("t24300"))) & (is-fireable("t11807"))) | (((is-fireable("t15442")) & (is-fireable("t18086"))) | ((is-fireable("t10089")) & (is-fireable("t16182"))))))) | ((! ((is-fireable("t22942")) & ((! (is-fireable("t5551"))) & (! (is-fireable("t29155")))))) & (((! ((is-fireable("t15850")) | (is-fireable("t18348")))) | (((is-fireable("t27103")) | (is-fireable("t19457"))) & (is-fireable("t1113")))) & (is-fireable("t12516"))))) & (is-fireable("t3918")))) | (((((((! ((is-fireable("t17308")) | (is-fireable("t28603")))) & (is-fireable("t3603"))) | (((! (is-fireable("t11146"))) & ((is-fireable("t17842")) | (is-fireable("t1959")))) | ((! (is-fireable("t25336"))) & ((is-fireable("t2994")) & (is-fireable("t5864")))))) & (! (is-fireable("t16317")))) & ((! (((is-fireable("t1073")) & ((is-fireable("t12418")) & (is-fireable("t1688")))) | ((is-fireable("t1653")) & ((is-fireable("t5502")) & (is-fireable("t28878")))))) | (is-fireable("t16905")))) | (((is-fireable("t29023")) & (! (((is-fireable("t2138")) | (! (is-fireable("t27488")))) & ((is-fireable("t28926")) | ((is-fireable("t28947")) & (is-fireable("t10359"))))))) & (! ((! ((is-fireable("t12487")) & (is-fireable("t624")))) & (! (is-fireable("t25951"))))))) | (((((is-fireable("t23635")) | ((((is-fireable("t2")) & (is-fireable("t23825"))) & (! (is-fireable("t6057")))) | (is-fireable("t31235")))) & ((is-fireable("t24829")) | (is-fireable("t21325")))) | ((! ((! (is-fireable("t23564"))) & ((is-fireable("t7854")) & (is-fireable("t19571"))))) | (((((is-fireable("t31092")) & (is-fireable("t19339"))) | ((is-fireable("t7246")) | (is-fireable("t14799")))) & (is-fireable("t24174"))) | ((is-fireable("t19822")) & (! ((is-fireable("t24027")) | (is-fireable("t26797")))))))) & (! (((is-fireable("t1399")) | (is-fireable("t14356"))) & ((! ((is-fireable("t11695")) & (is-fireable("t14342")))) | ((((is-fireable("t2150")) | (is-fireable("t16690"))) & (! (is-fireable("t19022")))) & (is-fireable("t27946"))))))))))
   end.
Property ErlangenMainframeV0-PT-1104-ReachabilityFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("t9258"))))
   end.
Property ErlangenMainframeV0-PT-1104-ReachabilityFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      E (F (! ((((! ((((is-fireable("t16862")) & (is-fireable("t1918"))) | ((is-fireable("t21272")) & (is-fireable("t9690")))) & (is-fireable("t17930")))) & (! (is-fireable("t4610")))) | (! ((is-fireable("t7276")) & ((is-fireable("t18169")) & ((is-fireable("t24079")) & (is-fireable("t16454"))))))) | (is-fireable("t18276")))))
   end.
Property ErlangenMainframeV0-PT-1104-ReachabilityFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (F ((is-fireable("t10985")) & (is-fireable("t20267"))))
   end.
Property ErlangenMainframeV0-PT-1104-ReachabilityFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      E (F ((! ((is-fireable("t4208")) | (is-fireable("t28957")))) & (((((! (((is-fireable("t24544")) | (is-fireable("t3897"))) | ((is-fireable("t26018")) & (is-fireable("t13497"))))) | (is-fireable("t13389"))) & (! (is-fireable("t25763")))) | (((! (is-fireable("t8839"))) & ((is-fireable("t7124")) | ((((is-fireable("t11337")) & (is-fireable("t932"))) | (is-fireable("t1695"))) & (! (is-fireable("t23153")))))) | ((is-fireable("t10221")) & (! (((is-fireable("t21303")) & ((is-fireable("t23")) | (is-fireable("t15929")))) | ((is-fireable("t22987")) | (is-fireable("t19514")))))))) & (is-fireable("t19858")))))
   end.
Property ErlangenMainframeV0-PT-1104-ReachabilityFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t4393")))
   end.
Property ErlangenMainframeV0-PT-1104-ReachabilityFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      A (G ((! (is-fireable("t17343"))) | ((! ((((! (is-fireable("t24742"))) | ((((is-fireable("t17842")) | (is-fireable("t14489"))) & (is-fireable("t8946"))) & (((is-fireable("t23704")) & (is-fireable("t8494"))) & (! (is-fireable("t11079")))))) & ((is-fireable("t2084")) & ((is-fireable("t19275")) & ((is-fireable("t27680")) | ((is-fireable("t14012")) & (is-fireable("t11160"))))))) & ((! ((! (is-fireable("t7503"))) | (is-fireable("t11786")))) & (is-fireable("t21837"))))) & ((((is-fireable("t30498")) | (! ((((is-fireable("t30420")) | (is-fireable("t14090"))) | (! (is-fireable("t19152")))) | (! ((is-fireable("t14350")) & (is-fireable("t8227"))))))) & ((is-fireable("t23882")) | (! (((is-fireable("t10527")) | (is-fireable("t1007"))) | (is-fireable("t13331")))))) | (! ((is-fireable("t14159")) | (! (is-fireable("t1854")))))))))
   end.
Property ErlangenMainframeV0-PT-1104-ReachabilityFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      A (G (((! (((! ((! ((is-fireable("t18667")) | (is-fireable("t5713")))) | (is-fireable("t27407")))) & (is-fireable("t10100"))) & ((! (is-fireable("t17264"))) & ((! (((is-fireable("t1936")) | (is-fireable("t8944"))) & ((is-fireable("t970")) | (is-fireable("t5111"))))) & (((is-fireable("t28600")) | ((is-fireable("t26757")) | (is-fireable("t22023")))) | (((is-fireable("t16050")) & (is-fireable("t3853"))) & ((is-fireable("t5086")) | (is-fireable("t19802"))))))))) & (! (is-fireable("t6964")))) | (is-fireable("t24225"))))
   end.
Property ErlangenMainframeV0-PT-1104-ReachabilityFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("t18083"))))
   end.
Property ErlangenMainframeV0-PT-1104-ReachabilityFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      E (F (((is-fireable("t23883")) | ((! (is-fireable("t19510"))) & ((((is-fireable("t2084")) & ((is-fireable("t8566")) & (! (is-fireable("t4528"))))) | (is-fireable("t8085"))) | (((! ((is-fireable("t28524")) & ((is-fireable("t18020")) | (is-fireable("t12291"))))) & ((! ((is-fireable("t19441")) & (is-fireable("t19415")))) | ((! (is-fireable("t24140"))) & ((is-fireable("t31300")) | (is-fireable("t18563")))))) | ((((! (is-fireable("t8728"))) & ((is-fireable("t22836")) & (is-fireable("t30608")))) & (((is-fireable("t29739")) & (is-fireable("t17768"))) & ((is-fireable("t9409")) | (is-fireable("t13862"))))) & (! (is-fireable("t11742")))))))) & (is-fireable("t31225"))))
   end.
Property ErlangenMainframeV0-PT-1104-ReachabilityFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("t2952"))))
   end.
Property ErlangenMainframeV0-PT-1104-ReachabilityFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      A (G (! ((is-fireable("t17465")) & (! (is-fireable("t12899"))))))
   end.
Property ErlangenMainframeV0-PT-1104-ReachabilityFireability-2025-12
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t10403")))
   end.
Property ErlangenMainframeV0-PT-1104-ReachabilityFireability-2025-13
   "Automatically generated by Citili v2025"
   is:
      A (G ((! (is-fireable("t29090"))) | ((is-fireable("t15345")) & ((! ((! ((! (is-fireable("t14062"))) | (! ((is-fireable("t11698")) | (is-fireable("t18309")))))) & (((((is-fireable("t18551")) & (is-fireable("t28615"))) & (is-fireable("t24451"))) | ((! (is-fireable("t500"))) | ((is-fireable("t20025")) & (is-fireable("t24217"))))) | ((! ((is-fireable("t20926")) & (is-fireable("t15510")))) | (is-fireable("t10457")))))) & ((is-fireable("t5980")) & (is-fireable("t11023")))))))
   end.
Property ErlangenMainframeV0-PT-1104-ReachabilityFireability-2025-14
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("t19816"))))
   end.
Property ErlangenMainframeV0-PT-1104-ReachabilityFireability-2025-15
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t18016")))
   end.
