Property ResIsolation-PT-N11P2-ReachabilityFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t28068")))
   end.
Property ResIsolation-PT-N11P2-ReachabilityFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      A (G (! ((is-fireable("t52410")) & (((! (is-fireable("t56059"))) & (! (is-fireable("t40439")))) & ((((is-fireable("t70797")) | (is-fireable("t1707"))) & ((is-fireable("t6658")) | (is-fireable("t4864")))) | (! (is-fireable("t64619"))))))))
   end.
Property ResIsolation-PT-N11P2-ReachabilityFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      E (F ((((is-fireable("t23643")) | (is-fireable("t21331"))) & (is-fireable("t3398"))) & ((! (((is-fireable("t19249")) | (! (is-fireable("t33080")))) | (((((! (is-fireable("t25884"))) | ((is-fireable("t72895")) & (is-fireable("t46151")))) & (((is-fireable("t47015")) & (is-fireable("t11147"))) | ((is-fireable("t40198")) | (is-fireable("t446"))))) & ((is-fireable("t28600")) | (((is-fireable("t17717")) | (is-fireable("t61291"))) | ((is-fireable("t22264")) | (is-fireable("t9905")))))) & (! (is-fireable("t4867")))))) & (! (((! ((is-fireable("t72423")) | ((is-fireable("t73627")) | (is-fireable("t39166"))))) | (! (is-fireable("t33807")))) | ((! (is-fireable("t4767"))) & (! (is-fireable("t11276")))))))))
   end.
Property ResIsolation-PT-N11P2-ReachabilityFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      A (G (! (((! ((! (is-fireable("t32036"))) | (! (is-fireable("t35112"))))) | (((is-fireable("t56695")) & (! (((! (is-fireable("t42604"))) & ((is-fireable("t17799")) & (is-fireable("t22582")))) & ((! (is-fireable("t16945"))) | (! (is-fireable("t8791"))))))) & (! ((((! (is-fireable("t68867"))) & ((is-fireable("t55369")) | (is-fireable("t19895")))) | (is-fireable("t7683"))) & ((is-fireable("t68395")) | (is-fireable("t57349"))))))) & ((! (is-fireable("t53317"))) & (! ((((((is-fireable("t37821")) | (is-fireable("t64543"))) & ((is-fireable("t50295")) & (is-fireable("t4261")))) & ((! (is-fireable("t59391"))) | (! (is-fireable("t54785"))))) & (is-fireable("t18849"))) & (is-fireable("t58416"))))))))
   end.
Property ResIsolation-PT-N11P2-ReachabilityFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      A (G ((! ((is-fireable("t57843")) & (is-fireable("t34656")))) | ((is-fireable("t58208")) & ((is-fireable("t13864")) | ((! ((is-fireable("t22895")) & (! (is-fireable("t15526"))))) & (! ((! ((is-fireable("t33443")) | (is-fireable("t3739")))) | (is-fireable("t3228")))))))))
   end.
Property ResIsolation-PT-N11P2-ReachabilityFireability-05
   "Automatically generated by Citili v2024"
   is:
      E (F (is-fireable("t27288")))
   end.
Property ResIsolation-PT-N11P2-ReachabilityFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      A (G ((! (((is-fireable("t11937")) | (! ((((is-fireable("t40830")) | ((is-fireable("t30830")) & (is-fireable("t49946")))) & ((is-fireable("t67087")) & ((is-fireable("t45540")) | (is-fireable("t8596"))))) | (! (is-fireable("t31002")))))) | (is-fireable("t14131")))) | (is-fireable("t20007"))))
   end.
Property ResIsolation-PT-N11P2-ReachabilityFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      A (G ((is-fireable("t40139")) | ((is-fireable("t32531")) | (((! ((! (is-fireable("t56111"))) & ((is-fireable("t14811")) & (is-fireable("t30653"))))) & ((is-fireable("t70983")) | (is-fireable("t15120")))) | ((is-fireable("t6072")) | (! ((is-fireable("t19930")) | (is-fireable("t55747")))))))))
   end.
Property ResIsolation-PT-N11P2-ReachabilityFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      A (G ((! (is-fireable("t10265"))) | (! (is-fireable("t43640")))))
   end.
Property ResIsolation-PT-N11P2-ReachabilityFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      E (F ((is-fireable("t24634")) & (is-fireable("t64310"))))
   end.
Property ResIsolation-PT-N11P2-ReachabilityFireability-10
   "Automatically generated by Citili v2024"
   is:
      A (G ((! (is-fireable("t67401"))) | ((! ((is-fireable("t45143")) | (! (is-fireable("t59657"))))) & (! ((! (((is-fireable("t3437")) & (! (is-fireable("t26491")))) | (is-fireable("t15849")))) & (is-fireable("t11379")))))))
   end.
Property ResIsolation-PT-N11P2-ReachabilityFireability-11
   "Automatically generated by Citili v2024"
   is:
      E (F (is-fireable("t57507")))
   end.
Property ResIsolation-PT-N11P2-ReachabilityFireability-2025-12
   "Automatically generated by Citili v2025"
   is:
      E (F ((! ((is-fireable("t15988")) | ((! ((is-fireable("t60783")) & (is-fireable("t43882")))) | (((! ((is-fireable("t48797")) & (is-fireable("t8029")))) | (! (is-fireable("t48889")))) | ((((is-fireable("t66284")) | (is-fireable("t64451"))) | ((is-fireable("t43849")) | (is-fireable("t28836")))) & (((is-fireable("t57000")) | (is-fireable("t3267"))) | (is-fireable("t53153")))))))) | (! ((! ((((is-fireable("t57482")) | (is-fireable("t11022"))) & (is-fireable("t38242"))) & (((is-fireable("t69195")) & (! ((is-fireable("t12128")) & (is-fireable("t35207"))))) & ((! ((is-fireable("t24323")) | (is-fireable("t13974")))) & (((is-fireable("t65389")) & (is-fireable("t49813"))) | (! (is-fireable("t11043")))))))) | (! ((! (((is-fireable("t2014")) & (is-fireable("t12585"))) | (is-fireable("t49097")))) | (((is-fireable("t54304")) & (((is-fireable("t14751")) & (is-fireable("t6596"))) | ((is-fireable("t23110")) & (is-fireable("t38752"))))) & (((is-fireable("t26131")) & ((is-fireable("t29263")) & (is-fireable("t55939")))) | ((is-fireable("t62182")) | (! (is-fireable("t43230"))))))))))))
   end.
Property ResIsolation-PT-N11P2-ReachabilityFireability-13
   "Automatically generated by Citili v2024"
   is:
      E (F ((! (((! ((is-fireable("t22142")) | (((is-fireable("t12525")) | (is-fireable("t56004"))) & (is-fireable("t30988"))))) | (is-fireable("t33531"))) | ((! ((is-fireable("t54344")) & (((is-fireable("t27789")) | (is-fireable("t54832"))) | (! (is-fireable("t32376")))))) & (! (is-fireable("t57641")))))) | (is-fireable("t67922"))))
   end.
Property ResIsolation-PT-N11P2-ReachabilityFireability-2025-14
   "Automatically generated by Citili v2025"
   is:
      A (G (! (((is-fireable("t8971")) & ((((((! (is-fireable("t68039"))) & (is-fireable("t57762"))) | ((! (is-fireable("t57548"))) & ((is-fireable("t37756")) | (is-fireable("t14534"))))) | (! (is-fireable("t9736")))) & ((is-fireable("t70096")) | (is-fireable("t64621")))) & (! (is-fireable("t28627"))))) | (is-fireable("t22617")))))
   end.
Property ResIsolation-PT-N11P2-ReachabilityFireability-2025-15
   "Automatically generated by Citili v2025"
   is:
      A (G ((((is-fireable("t35870")) | (((((((is-fireable("t72065")) & (is-fireable("t13085"))) | (is-fireable("t60983"))) | (((is-fireable("t65366")) | (is-fireable("t6012"))) & (! (is-fireable("t66653"))))) | (((is-fireable("t65532")) | ((is-fireable("t37931")) & (is-fireable("t19769")))) & (! ((is-fireable("t67204")) & (is-fireable("t3541")))))) | (! (((is-fireable("t10239")) | (is-fireable("t51460"))) | ((is-fireable("t30006")) | (is-fireable("t60053")))))) | (((((! (is-fireable("t25639"))) | (is-fireable("t50619"))) & ((! (is-fireable("t67400"))) & (is-fireable("t58118")))) & (((is-fireable("t16969")) & (! (is-fireable("t57285")))) | ((is-fireable("t18566")) & (! (is-fireable("t48640")))))) | (is-fireable("t15144"))))) | (is-fireable("t73949"))) | ((((! ((is-fireable("t34926")) & (((! (is-fireable("t65809"))) | (is-fireable("t63087"))) & (is-fireable("t12847"))))) & ((is-fireable("t35341")) & (((! (is-fireable("t21662"))) | (! ((is-fireable("t70579")) & (is-fireable("t51545"))))) & (is-fireable("t48133"))))) & (! ((((! ((is-fireable("t7909")) & (is-fireable("t35134")))) | (is-fireable("t26191"))) & ((((is-fireable("t51651")) | (is-fireable("t2569"))) & ((is-fireable("t1392")) | (is-fireable("t29987")))) | (! (is-fireable("t26701"))))) & (! (is-fireable("t49966")))))) | (is-fireable("t34717")))))
   end.
