Property DLCflexbar-PT-8b-ReachabilityFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      E (F ((is-fireable("t27699")) & (((! ((! (((is-fireable("t6924")) & (! (is-fireable("t69085")))) | (! ((is-fireable("t49684")) & (is-fireable("t55929")))))) | (! ((is-fireable("t73672")) & (is-fireable("t36996")))))) | (is-fireable("t36674"))) & (is-fireable("t37103")))))
   end.
Property DLCflexbar-PT-8b-ReachabilityFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      E (F (((is-fireable("t5403")) & (! (((is-fireable("t17941")) & (is-fireable("t70850"))) & ((! ((((is-fireable("t7661")) | (is-fireable("t55971"))) | (! (is-fireable("t25825")))) | (((is-fireable("t3476")) | (is-fireable("t59932"))) | ((is-fireable("t21953")) | (is-fireable("t73858")))))) | (is-fireable("t23036")))))) | ((((! (is-fireable("t30085"))) & ((((! ((is-fireable("t49987")) & (is-fireable("t54721")))) & ((! (is-fireable("t5807"))) | ((is-fireable("t46687")) & (is-fireable("t16339"))))) | (! ((is-fireable("t30564")) | (is-fireable("t54809"))))) | (is-fireable("t24099")))) & (! ((is-fireable("t71130")) | ((((! (is-fireable("t60930"))) & (! (is-fireable("t39218")))) & (! (is-fireable("t35005")))) | (is-fireable("t27879")))))) & (! ((is-fireable("t66049")) | ((is-fireable("t70186")) | (((! ((is-fireable("t48573")) | (is-fireable("t36381")))) & (is-fireable("t70798"))) & (! (((is-fireable("t13275")) | (is-fireable("t14645"))) | (is-fireable("t23422")))))))))))
   end.
Property DLCflexbar-PT-8b-ReachabilityFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      A (G ((((is-fireable("t65378")) | (is-fireable("t58910"))) | ((((is-fireable("t46037")) & (is-fireable("t25574"))) & (is-fireable("t42487"))) | ((is-fireable("t30598")) | (! (is-fireable("t75616")))))) | ((is-fireable("t53036")) & (((is-fireable("t20456")) & ((! (is-fireable("t20033"))) | (! (((! (is-fireable("t34786"))) & (is-fireable("t72700"))) & (is-fireable("t53872")))))) | (is-fireable("t44825"))))))
   end.
Property DLCflexbar-PT-8b-ReachabilityFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t55000")))
   end.
Property DLCflexbar-PT-8b-ReachabilityFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      A (G (((is-fireable("t58112")) | ((((is-fireable("t45743")) | (((((is-fireable("t44014")) & (is-fireable("t52808"))) & ((is-fireable("t69623")) | (is-fireable("t34557")))) | ((! (is-fireable("t60502"))) | ((is-fireable("t42862")) & (is-fireable("t20047"))))) | (! ((! (is-fireable("t66325"))) | (is-fireable("t37949")))))) | ((is-fireable("t30214")) & (is-fireable("t47272")))) | ((((! (((is-fireable("t25537")) | (is-fireable("t20186"))) & ((is-fireable("t21298")) & (is-fireable("t50190"))))) & (is-fireable("t14132"))) | (! ((is-fireable("t66423")) | (! ((is-fireable("t29088")) | (is-fireable("t23495"))))))) | (! ((is-fireable("t18641")) & ((is-fireable("t2718")) | (is-fireable("t28772")))))))) | (((! (is-fireable("t27261"))) | (is-fireable("t43054"))) | (! ((! ((((! (is-fireable("t31191"))) | (is-fireable("t6181"))) & (is-fireable("t52235"))) & ((is-fireable("t64081")) | (! ((is-fireable("t47644")) | (is-fireable("t74445"))))))) & ((! (is-fireable("t60362"))) & (((! (is-fireable("t12810"))) & (! ((is-fireable("t40817")) | (is-fireable("t23597"))))) | (is-fireable("t20390")))))))))
   end.
Property DLCflexbar-PT-8b-ReachabilityFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("t16218"))))
   end.
Property DLCflexbar-PT-8b-ReachabilityFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (F (((is-fireable("t60650")) & ((! (is-fireable("t62796"))) & ((! ((((is-fireable("t14061")) & (is-fireable("t22391"))) & (is-fireable("t30602"))) & (((is-fireable("t54")) | (is-fireable("t39801"))) | ((is-fireable("t47354")) | (is-fireable("t60835")))))) & (((is-fireable("t39824")) & (is-fireable("t74955"))) & ((! (is-fireable("t56107"))) | ((((is-fireable("t50480")) | (is-fireable("t46752"))) & ((is-fireable("t72628")) & (is-fireable("t46870")))) | (! (is-fireable("t6836"))))))))) & ((is-fireable("t13616")) | (! (is-fireable("t65892"))))))
   end.
Property DLCflexbar-PT-8b-ReachabilityFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      E (F (! ((! (((is-fireable("t57726")) | ((is-fireable("t48682")) | (is-fireable("t29679")))) & (((is-fireable("t44368")) | ((is-fireable("t55515")) & (is-fireable("t74280")))) & ((! (is-fireable("t39774"))) | (is-fireable("t15099")))))) & ((((((! ((is-fireable("t35236")) | (is-fireable("t41847")))) | ((is-fireable("t22499")) & ((is-fireable("t13130")) & (is-fireable("t57758"))))) | (((is-fireable("t64590")) | ((is-fireable("t60921")) & (is-fireable("t33433")))) | (((is-fireable("t27994")) & (is-fireable("t4897"))) | (! (is-fireable("t66756")))))) | (is-fireable("t71267"))) & (((! (((is-fireable("t68380")) & (is-fireable("t61171"))) & (is-fireable("t15344")))) & (! ((is-fireable("t49784")) | (is-fireable("t43431"))))) | (is-fireable("t41644")))) | (! ((is-fireable("t21067")) | (is-fireable("t32706"))))))))
   end.
Property DLCflexbar-PT-8b-ReachabilityFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t13604")))
   end.
Property DLCflexbar-PT-8b-ReachabilityFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      A (G (! (((((! (is-fireable("t24351"))) | ((((is-fireable("t69809")) & ((is-fireable("t13041")) & (is-fireable("t27024")))) | (((is-fireable("t46202")) & (is-fireable("t42954"))) | ((is-fireable("t56816")) & (is-fireable("t23829"))))) | (((is-fireable("t67001")) & (! (is-fireable("t59879")))) | (is-fireable("t56385"))))) | ((((((is-fireable("t66185")) | (is-fireable("t13347"))) | (is-fireable("t26499"))) & (is-fireable("t36283"))) | (! (is-fireable("t63180")))) | ((! (((is-fireable("t73441")) | (is-fireable("t27696"))) | ((is-fireable("t31194")) | (is-fireable("t59707"))))) | (is-fireable("t24801"))))) | (! (is-fireable("t63098")))) & (is-fireable("t35405")))))
   end.
Property DLCflexbar-PT-8b-ReachabilityFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      E (F ((! (is-fireable("t51493"))) & (is-fireable("t66647"))))
   end.
Property DLCflexbar-PT-8b-ReachabilityFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      E (F (! ((is-fireable("t69585")) | (! (((((is-fireable("t69948")) & (((is-fireable("t38404")) | (is-fireable("t67395"))) & ((is-fireable("t43231")) | (is-fireable("t22361"))))) | (((is-fireable("t66801")) | (! (is-fireable("t16124")))) | (is-fireable("t55559")))) & (is-fireable("t73749"))) | (is-fireable("t40624")))))))
   end.
Property DLCflexbar-PT-8b-ReachabilityFireability-2025-12
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t63268")))
   end.
Property DLCflexbar-PT-8b-ReachabilityFireability-2025-13
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t38487")))
   end.
Property DLCflexbar-PT-8b-ReachabilityFireability-2025-14
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t42875")))
   end.
Property DLCflexbar-PT-8b-ReachabilityFireability-2025-15
   "Automatically generated by Citili v2025"
   is:
      A (G ((! ((is-fireable("t45505")) & (((is-fireable("t62363")) | ((is-fireable("t24137")) & (! (is-fireable("t52516"))))) & (! (is-fireable("t15739")))))) | (((is-fireable("t74881")) | ((is-fireable("t60314")) & (! (is-fireable("t69914"))))) | (! (is-fireable("t64425"))))))
   end.
