Property ResIsolation-PT-N10P4-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      E (F (((A (F ((A ((is-fireable("t109653")) U (is-fireable("t26538")))) & (A (G (is-fireable("t61126"))))))) | ((A (G (((is-fireable("t114485")) & (is-fireable("t124843"))) & (E (F (is-fireable("t46732"))))))) | (! ((! (A ((is-fireable("t40095")) U (is-fireable("t84079"))))) | (((is-fireable("t17889")) | (is-fireable("t84302"))) | ((is-fireable("t95192")) | (is-fireable("t116646")))))))) & ((E (((! (is-fireable("t109003"))) | (A ((is-fireable("t145352")) U (is-fireable("t67125"))))) U (! (A (X (is-fireable("t62833"))))))) | (((! (is-fireable("t135326"))) & (is-fireable("t20759"))) & (A (((is-fireable("t100308")) & (A (X (is-fireable("t105674"))))) U (A (F (is-fireable("t36803"))))))))))
   end.
Property ResIsolation-PT-N10P4-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      ! (E (G (E (X (E ((! (A (X (is-fireable("t9261"))))) U ((A ((is-fireable("t118447")) U (is-fireable("t69663")))) & ((is-fireable("t8010")) | (is-fireable("t118924"))))))))))
   end.
Property ResIsolation-PT-N10P4-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      E (F (! (E (((((E (G (is-fireable("t81855")))) | (! (is-fireable("t79785")))) & (E (G (is-fireable("t55853"))))) | (A ((A (X (is-fireable("t4374")))) U (! (is-fireable("t52773")))))) U (is-fireable("t14702"))))))
   end.
Property ResIsolation-PT-N10P4-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      A (G ((A (F (E (F (E (X (is-fireable("t130182")))))))) | ((((is-fireable("t62753")) & (! (A (G (is-fireable("t2554")))))) & (E (X (((is-fireable("t14087")) & (is-fireable("t125227"))) & ((is-fireable("t45811")) | (is-fireable("t81816"))))))) | (E (X (A (F (E ((is-fireable("t64947")) U (is-fireable("t89041")))))))))))
   end.
Property ResIsolation-PT-N10P4-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      A (X ((E ((! (E (G ((is-fireable("t120802")) & (is-fireable("t26616")))))) U (E (F ((! (is-fireable("t55713"))) & (E (G (is-fireable("t105764"))))))))) | (E (X ((! ((E ((is-fireable("t33159")) U (is-fireable("t63316")))) | (E (X (is-fireable("t19187")))))) & ((((is-fireable("t110015")) | (is-fireable("t8427"))) & (! (is-fireable("t35223")))) | (((is-fireable("t78616")) & (is-fireable("t54372"))) & (! (is-fireable("t111645"))))))))))
   end.
Property ResIsolation-PT-N10P4-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      ((E (G ((is-fireable("t3899")) & (E (F (! (E ((is-fireable("t80775")) U (is-fireable("t86820")))))))))) | ((E (F (! (((is-fireable("t37814")) | ((is-fireable("t71634")) & (is-fireable("t117439")))) & (E (G (is-fireable("t37712")))))))) & (A (G (! (is-fireable("t70877"))))))) & (E ((! (A (F ((E (X (is-fireable("t144818")))) | (is-fireable("t102207")))))) U (((E (G (A ((is-fireable("t77427")) U (is-fireable("t122992")))))) | (A ((! (is-fireable("t91264"))) U (E (G (is-fireable("t131334"))))))) | (! (E (F ((is-fireable("t99683")) & (E (G (is-fireable("t93739")))))))))))
   end.
Property ResIsolation-PT-N10P4-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      A (G ((A (X (A ((E (F (is-fireable("t5527")))) U ((! (is-fireable("t112768"))) | (! (is-fireable("t38129")))))))) | (A (G ((A (G (is-fireable("t78080")))) | (is-fireable("t131998")))))))
   end.
Property ResIsolation-PT-N10P4-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      E ((((! (is-fireable("t8813"))) & (! (is-fireable("t3860")))) | ((is-fireable("t55757")) & ((! (A (X (E (X (is-fireable("t107400"))))))) | (A (X (E (F (is-fireable("t46621"))))))))) U (is-fireable("t82726")))
   end.
Property ResIsolation-PT-N10P4-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      ((A (G ((! (A ((is-fireable("t65828")) U ((is-fireable("t64168")) | (is-fireable("t30343")))))) & (! (is-fireable("t14478")))))) | (A ((! (((! (is-fireable("t80254"))) & (is-fireable("t124570"))) | (! ((is-fireable("t94998")) & (is-fireable("t78906")))))) U (A (((! (is-fireable("t77448"))) | ((E (X (is-fireable("t62224")))) | ((is-fireable("t120423")) | (is-fireable("t54309"))))) U ((is-fireable("t147365")) | (((is-fireable("t17781")) & (is-fireable("t92108"))) | (is-fireable("t83689"))))))))) & (! (A ((is-fireable("t56587")) U (E (G (E (F (is-fireable("t136712")))))))))
   end.
Property ResIsolation-PT-N10P4-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      ! (E (F (((A (G (((is-fireable("t85291")) & (is-fireable("t10884"))) | (is-fireable("t44829"))))) & (is-fireable("t60272"))) & (((E (X ((is-fireable("t18881")) & (is-fireable("t94793"))))) | (! ((! (is-fireable("t143414"))) | (is-fireable("t74811"))))) | (is-fireable("t14873"))))))
   end.
Property ResIsolation-PT-N10P4-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      A ((A (G (E (X ((! (is-fireable("t29280"))) | (is-fireable("t81197"))))))) U (A (F ((E (F ((is-fireable("t106445")) | (E (F (is-fireable("t76825"))))))) & ((E ((A ((is-fireable("t147466")) U (is-fireable("t70759")))) U (! (is-fireable("t119143"))))) | ((A (X (is-fireable("t141076")))) & (is-fireable("t96967"))))))))
   end.
Property ResIsolation-PT-N10P4-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      ! (E (F (! ((! (is-fireable("t36186"))) | (A (F ((E ((is-fireable("t88264")) U (is-fireable("t91962")))) | ((is-fireable("t65085")) | (is-fireable("t142495"))))))))))
   end.
Property ResIsolation-PT-N10P4-CTLFireability-12
   "Automatically generated by Citili v2024"
   is:
      E (X (E (F (is-fireable("t144113")))))
   end.
Property ResIsolation-PT-N10P4-CTLFireability-13
   "Automatically generated by Citili v2024"
   is:
      E (F (A (((E (F (A ((is-fireable("t11692")) U (is-fireable("t141346")))))) & (((A (G (is-fireable("t111509")))) & (((is-fireable("t141582")) | (is-fireable("t29729"))) | (A (F (is-fireable("t137709")))))) & ((A (F (is-fireable("t64470")))) & (A (F (is-fireable("t69155"))))))) U ((is-fireable("t116573")) | (is-fireable("t6820"))))))
   end.
Property ResIsolation-PT-N10P4-CTLFireability-14
   "Automatically generated by Citili v2024"
   is:
      ! (E (X ((E (X (! (E (F (is-fireable("t71900"))))))) | ((E (G (is-fireable("t117320")))) & ((A (F (is-fireable("t85105")))) | (! (E (G (is-fireable("t75563"))))))))))
   end.
Property ResIsolation-PT-N10P4-CTLFireability-15
   "Automatically generated by Citili v2024"
   is:
      A (F (! (E (F (((! (is-fireable("t144663"))) & (A (G (is-fireable("t80929"))))) | (is-fireable("t63799")))))))
   end.
