Property StigmergyElection-PT-11b-ReachabilityFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      A (G ((! (((is-fireable("t93957")) | ((((((is-fireable("t330596")) & (is-fireable("t208424"))) | (is-fireable("t271242"))) | (! ((is-fireable("t201748")) | (is-fireable("t247214"))))) | (is-fireable("t138417"))) & ((! ((is-fireable("t131250")) & (is-fireable("t125279")))) & ((! (is-fireable("t89515"))) & ((! (is-fireable("t299742"))) & (! (is-fireable("t71807")))))))) & (is-fireable("t264637")))) | ((! ((is-fireable("t292307")) | ((! ((is-fireable("t178598")) & ((is-fireable("t94149")) | ((is-fireable("t98164")) | (is-fireable("t310365")))))) & (((! (is-fireable("t2356"))) & (! ((is-fireable("t199623")) | (is-fireable("t184546"))))) & (is-fireable("t64024")))))) & (is-fireable("t89076")))))
   end.
Property StigmergyElection-PT-11b-ReachabilityFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t196633")))
   end.
Property StigmergyElection-PT-11b-ReachabilityFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t189336")))
   end.
Property StigmergyElection-PT-11b-ReachabilityFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (F ((! ((is-fireable("t262115")) | (! (is-fireable("t135160"))))) | (is-fireable("t133570"))))
   end.
Property StigmergyElection-PT-11b-ReachabilityFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("t86797"))))
   end.
Property StigmergyElection-PT-11b-ReachabilityFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t83089")))
   end.
Property StigmergyElection-PT-11b-ReachabilityFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t68820")))
   end.
Property StigmergyElection-PT-11b-ReachabilityFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      E (F ((((((is-fireable("t91669")) | (((! (is-fireable("t332518"))) | (! ((is-fireable("t342098")) & (is-fireable("t247568"))))) & (! (((is-fireable("t336140")) & (is-fireable("t41695"))) | ((is-fireable("t355199")) & (is-fireable("t26386"))))))) & ((is-fireable("t220602")) & (((((is-fireable("t356262")) | (is-fireable("t67596"))) | (is-fireable("t162626"))) & ((is-fireable("t257922")) | (is-fireable("t229384")))) & (is-fireable("t106675"))))) & (((! (is-fireable("t31757"))) & ((! (is-fireable("t332082"))) & (is-fireable("t283998")))) | (! ((is-fireable("t205939")) & (! (is-fireable("t240841"))))))) & (is-fireable("t301185"))) & (((is-fireable("t237530")) & (! ((! (((! (is-fireable("t92479"))) & ((is-fireable("t91928")) & (is-fireable("t173601")))) & (((is-fireable("t312420")) | (is-fireable("t117604"))) | ((is-fireable("t315105")) | (is-fireable("t182749")))))) & (! ((is-fireable("t59880")) | (is-fireable("t56797"))))))) & (is-fireable("t48899")))))
   end.
Property StigmergyElection-PT-11b-ReachabilityFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t219097")))
   end.
Property StigmergyElection-PT-11b-ReachabilityFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      E (F ((is-fireable("t187047")) | (is-fireable("t313223"))))
   end.
Property StigmergyElection-PT-11b-ReachabilityFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      A (G (! ((((is-fireable("t88026")) & (is-fireable("t137094"))) | (((is-fireable("t338328")) | (((is-fireable("t198823")) & ((is-fireable("t569")) | (is-fireable("t68589")))) & (((! (is-fireable("t106014"))) & (is-fireable("t357816"))) | (((is-fireable("t299665")) | (is-fireable("t281501"))) & ((is-fireable("t269069")) & (is-fireable("t6894"))))))) | ((((((is-fireable("t136206")) | (is-fireable("t14843"))) & (! (is-fireable("t87376")))) & ((! (is-fireable("t134430"))) | ((is-fireable("t137774")) | (is-fireable("t357048"))))) & (is-fireable("t53699"))) | ((((is-fireable("t47561")) & ((is-fireable("t138100")) | (is-fireable("t294428")))) | (is-fireable("t133317"))) & ((! (is-fireable("t17364"))) | (((is-fireable("t273114")) | (is-fireable("t345900"))) & (is-fireable("t65460")))))))) & ((! ((is-fireable("t247181")) & ((is-fireable("t107109")) & (((is-fireable("t176314")) | ((is-fireable("t157151")) | (is-fireable("t258901")))) | ((! (is-fireable("t82641"))) & ((is-fireable("t203568")) & (is-fireable("t117472")))))))) & (! (is-fireable("t53077")))))))
   end.
Property StigmergyElection-PT-11b-ReachabilityFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      A (G (! ((is-fireable("t306729")) & (is-fireable("t136010")))))
   end.
Property StigmergyElection-PT-11b-ReachabilityFireability-12
   "Automatically generated by Citili v2024"
   is:
      E (F (is-fireable("t242198")))
   end.
Property StigmergyElection-PT-11b-ReachabilityFireability-13
   "Automatically generated by Citili v2023"
   is:
      A (G ((is-fireable("t81625")) | (! ((is-fireable("t21523")) & ((is-fireable("t247963")) | (! (is-fireable("t77661"))))))))
   end.
Property StigmergyElection-PT-11b-ReachabilityFireability-14
   "Automatically generated by Citili v2024"
   is:
      A (G (! ((is-fireable("t57107")) & (is-fireable("t221996")))))
   end.
Property StigmergyElection-PT-11b-ReachabilityFireability-15
   "Automatically generated by Citili v2023"
   is:
      E (F (! ((! ((((is-fireable("t201335")) | ((is-fireable("t274704")) | (is-fireable("t120516")))) | (! ((is-fireable("t105535")) & (is-fireable("t210981"))))) & ((! (is-fireable("t193920"))) & ((! (is-fireable("t325426"))) & (is-fireable("t270056")))))) | (is-fireable("t39887")))))
   end.
