Property DLCflexbar-PT-8b-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      ! (((E (X (((is-fireable("t29413")) | (is-fireable("t36162"))) & (E (G (is-fireable("t19485"))))))) | (A (F (! ((A (G (is-fireable("t71942")))) | ((E (G (is-fireable("t61267")))) | (! (is-fireable("t37369"))))))))) | (A (X (E (F ((is-fireable("t67576")) & ((E (X (is-fireable("t63133")))) & (E (X (is-fireable("t39198")))))))))))
   end.
Property DLCflexbar-PT-8b-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      A (G (A ((is-fireable("t30355")) U (E ((! (E (F (is-fireable("t2084"))))) U ((is-fireable("t13864")) & (is-fireable("t6476"))))))))
   end.
Property DLCflexbar-PT-8b-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      ! (E (G (((A (F (E (X (is-fireable("t74060")))))) | (! (((E ((is-fireable("t32077")) U (is-fireable("t48094")))) | (E (F (is-fireable("t1138"))))) & (A (G (is-fireable("t10204"))))))) | (! (E (F (is-fireable("t31134"))))))))
   end.
Property DLCflexbar-PT-8b-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      ! (A ((! ((E (G ((! (is-fireable("t9367"))) & ((is-fireable("t9653")) | (is-fireable("t75175")))))) | (E (X (A (X (is-fireable("t51133")))))))) U ((A (X (E (G (is-fireable("t67522")))))) & ((A (X (is-fireable("t52060")))) & (is-fireable("t434"))))))
   end.
Property DLCflexbar-PT-8b-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      ! (A (X (A (G (! (A (X ((is-fireable("t9734")) | (is-fireable("t63610"))))))))))
   end.
Property DLCflexbar-PT-8b-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      E (F (((A (X (A (F ((is-fireable("t15867")) & (is-fireable("t11240"))))))) & ((is-fireable("t8321")) | (is-fireable("t46027")))) | (is-fireable("t56017"))))
   end.
Property DLCflexbar-PT-8b-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      ! (E ((E (G (! ((! (E (G (is-fireable("t61470"))))) | (E (X (is-fireable("t30754")))))))) U ((! (E (F (A (F (is-fireable("t57881"))))))) | (E (F (((E ((is-fireable("t18919")) U (is-fireable("t1219")))) & (is-fireable("t74124"))) & (E (G (is-fireable("t66111"))))))))))
   end.
Property DLCflexbar-PT-8b-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t24604")))
   end.
Property DLCflexbar-PT-8b-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      A (G (! (A (F (is-fireable("t12645"))))))
   end.
Property DLCflexbar-PT-8b-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t75764")))
   end.
Property DLCflexbar-PT-8b-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      E (F (A (F (is-fireable("t70736")))))
   end.
Property DLCflexbar-PT-8b-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      A (G (E ((A (X (A ((E (F (is-fireable("t38970")))) U ((is-fireable("t10386")) | (is-fireable("t8345"))))))) U (((is-fireable("t25345")) & ((! (E (X (is-fireable("t53841"))))) & ((A ((is-fireable("t18274")) U (is-fireable("t34974")))) | ((is-fireable("t67606")) & (is-fireable("t11029")))))) | (A (X (E (F (is-fireable("t39485"))))))))))
   end.
Property DLCflexbar-PT-8b-CTLFireability-12
   "Automatically generated by Citili v2023"
   is:
      E (G (E (G (((A (X ((is-fireable("t40128")) | (is-fireable("t31149"))))) | (A (F (is-fireable("t34388"))))) | ((A (X (! (is-fireable("t69243"))))) | ((A (X (is-fireable("t56985")))) & (E (G (is-fireable("t2542"))))))))))
   end.
Property DLCflexbar-PT-8b-CTLFireability-13
   "Automatically generated by Citili v2023"
   is:
      (! ((E (G ((A (X ((is-fireable("t36231")) & (is-fireable("t70694"))))) & (! (((is-fireable("t60760")) & (is-fireable("t29665"))) & ((is-fireable("t21369")) | (is-fireable("t22328")))))))) | (A (X ((((E ((is-fireable("t47413")) U (is-fireable("t34171")))) | ((is-fireable("t66103")) | (is-fireable("t7382")))) & (E ((is-fireable("t54721")) U (is-fireable("t72632"))))) | (((E ((is-fireable("t28124")) U (is-fireable("t47930")))) & (E (F (is-fireable("t40281"))))) & (((is-fireable("t19738")) | (is-fireable("t48283"))) & (! (is-fireable("t18740")))))))))) & (A (F (is-fireable("t29868"))))
   end.
Property DLCflexbar-PT-8b-CTLFireability-14
   "Automatically generated by Citili v2023"
   is:
      ! ((E (X (A (F (A (X (is-fireable("t65807")))))))) & (! (A (F (E (F (E (X (is-fireable("t27707"))))))))))
   end.
Property DLCflexbar-PT-8b-CTLFireability-15
   "Automatically generated by Citili v2023"
   is:
      A (X (E (F (E (X (A (F (is-fireable("t64865")))))))))
   end.
