Property ResIsolation-PT-N09P5-ReachabilityFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("t20094"))))
   end.
Property ResIsolation-PT-N09P5-ReachabilityFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      E (F ((is-fireable("t123566")) | (! (((is-fireable("t133956")) & ((is-fireable("t134586")) | (! ((((is-fireable("t9046")) | (is-fireable("t60085"))) | (! (is-fireable("t58468")))) & (! ((is-fireable("t5575")) | (is-fireable("t57713")))))))) | (! (is-fireable("t125454")))))))
   end.
Property ResIsolation-PT-N09P5-ReachabilityFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      E (F (! ((! (is-fireable("t64815"))) | (! ((! ((((is-fireable("t111458")) | (is-fireable("t144204"))) & ((is-fireable("t11299")) & (is-fireable("t17439")))) & ((is-fireable("t22182")) | ((is-fireable("t23767")) & (is-fireable("t62320")))))) | (((! ((is-fireable("t9681")) | (is-fireable("t132621")))) | ((! (is-fireable("t56235"))) | ((is-fireable("t7872")) | (is-fireable("t64163"))))) | (! ((is-fireable("t13844")) | (! (is-fireable("t30137")))))))))))
   end.
Property ResIsolation-PT-N09P5-ReachabilityFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (F ((is-fireable("t95994")) & ((! (is-fireable("t123212"))) & (! ((! (is-fireable("t143985"))) & ((((! (is-fireable("t5875"))) | (is-fireable("t54075"))) & (! (is-fireable("t71170")))) | (is-fireable("t40982"))))))))
   end.
Property ResIsolation-PT-N09P5-ReachabilityFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      E (F ((is-fireable("t25125")) & (is-fireable("t53545"))))
   end.
Property ResIsolation-PT-N09P5-ReachabilityFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      A (G (! ((is-fireable("t52989")) & (is-fireable("t30831")))))
   end.
Property ResIsolation-PT-N09P5-ReachabilityFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      A (G ((is-fireable("t54321")) | (! (is-fireable("t60126")))))
   end.
Property ResIsolation-PT-N09P5-ReachabilityFireability-07
   "Automatically generated by Citili v2024"
   is:
      E (F (is-fireable("t30653")))
   end.
Property ResIsolation-PT-N09P5-ReachabilityFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t110656")))
   end.
Property ResIsolation-PT-N09P5-ReachabilityFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("t119861"))))
   end.
Property ResIsolation-PT-N09P5-ReachabilityFireability-10
   "Automatically generated by Citili v2024"
   is:
      E (F (is-fireable("t56241")))
   end.
Property ResIsolation-PT-N09P5-ReachabilityFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t103599")))
   end.
Property ResIsolation-PT-N09P5-ReachabilityFireability-2025-12
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t141564")))
   end.
Property ResIsolation-PT-N09P5-ReachabilityFireability-2025-13
   "Automatically generated by Citili v2025"
   is:
      A (G (! ((is-fireable("t84926")) | (is-fireable("t36260")))))
   end.
Property ResIsolation-PT-N09P5-ReachabilityFireability-14
   "Automatically generated by Citili v2024"
   is:
      E (F (is-fireable("t128586")))
   end.
Property ResIsolation-PT-N09P5-ReachabilityFireability-15
   "Automatically generated by Citili v2024"
   is:
      A (G ((! (((is-fireable("t6284")) | (((is-fireable("t17559")) & (is-fireable("t14491"))) | (is-fireable("t7759")))) & ((! ((! (is-fireable("t93755"))) & (is-fireable("t122833")))) & (! ((((is-fireable("t107622")) & (is-fireable("t102778"))) & (is-fireable("t9721"))) & (is-fireable("t37289"))))))) & (! ((is-fireable("t130595")) & (! (is-fireable("t102223")))))))
   end.
