Property StigmergyElection-PT-11b-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      (E (F (is-fireable("t13726")))) & (E ((! ((E (G ((! (is-fireable("t323329"))) & (E (G (is-fireable("t46905"))))))) | ((! ((is-fireable("t94089")) & (is-fireable("t169366")))) | (E (X ((is-fireable("t156523")) & (is-fireable("t66489")))))))) U (A (F ((A (G (is-fireable("t184441")))) & (A (G ((is-fireable("t324747")) | (is-fireable("t50713"))))))))))
   end.
Property StigmergyElection-PT-11b-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      A (X (E (G (! (E (G (! ((is-fireable("t219453")) & (is-fireable("t32459"))))))))))
   end.
Property StigmergyElection-PT-11b-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      A (G (! ((A (X ((is-fireable("t109572")) | ((A (G (is-fireable("t341113")))) & ((is-fireable("t111683")) & (is-fireable("t4145"))))))) & (A (F (E (F (A ((is-fireable("t102112")) U (is-fireable("t157933")))))))))))
   end.
Property StigmergyElection-PT-11b-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t28160")))
   end.
Property StigmergyElection-PT-11b-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      ! (A (F (! (A ((A (X (is-fireable("t8980")))) U (! ((is-fireable("t73275")) | (is-fireable("t340307")))))))))
   end.
Property StigmergyElection-PT-11b-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      A (F (E (F (A (X (A (X ((is-fireable("t324380")) | (is-fireable("t49655"))))))))))
   end.
Property StigmergyElection-PT-11b-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      (A (G (E ((E (G (A ((is-fireable("t71114")) U (is-fireable("t198359")))))) U ((is-fireable("t24693")) & (E (G (A ((is-fireable("t149081")) U (is-fireable("t279043"))))))))))) | (A (((! (E (X (is-fireable("t247448"))))) | ((A (X (A (G (is-fireable("t192822")))))) & (! (E ((! (is-fireable("t78264"))) U (is-fireable("t278270"))))))) U (is-fireable("t305924"))))
   end.
Property StigmergyElection-PT-11b-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      ! (E (G (E ((is-fireable("t190219")) U (! (((is-fireable("t274725")) & (is-fireable("t273117"))) | ((is-fireable("t75537")) & (is-fireable("t312970")))))))))
   end.
Property StigmergyElection-PT-11b-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      E (F (A (X (E (F (E (F ((is-fireable("t34273")) & (is-fireable("t47033"))))))))))
   end.
Property StigmergyElection-PT-11b-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      ! ((E (F ((A (X (E (X (is-fireable("t2920")))))) | (A (F (A (F (is-fireable("t49042"))))))))) | (A ((E ((E (G (is-fireable("t145749")))) U (! (is-fireable("t53118"))))) U (A (G (((is-fireable("t291255")) & (is-fireable("t150925"))) | (E (X (is-fireable("t356802"))))))))))
   end.
Property StigmergyElection-PT-11b-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      E (G (! (E ((! (A ((is-fireable("t356204")) U (is-fireable("t65601"))))) U (E (F ((is-fireable("t166753")) | (is-fireable("t345803")))))))))
   end.
Property StigmergyElection-PT-11b-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      A (F ((is-fireable("t206302")) & (! (E (F (((! (is-fireable("t260812"))) & ((is-fireable("t106962")) & (is-fireable("t62828")))) | (is-fireable("t299581"))))))))
   end.
Property StigmergyElection-PT-11b-CTLFireability-12
   "Automatically generated by Citili v2023"
   is:
      A (X (! (A (F ((! (E (G (is-fireable("t3779"))))) & (A ((! (is-fireable("t332331"))) U ((is-fireable("t193529")) & (is-fireable("t126240"))))))))))
   end.
Property StigmergyElection-PT-11b-CTLFireability-13
   "Automatically generated by Citili v2023"
   is:
      E (F (E (X (is-fireable("t351255")))))
   end.
Property StigmergyElection-PT-11b-CTLFireability-14
   "Automatically generated by Citili v2023"
   is:
      ! (A ((! ((is-fireable("t56635")) & (A (G ((is-fireable("t216331")) & (is-fireable("t109535"))))))) U (is-fireable("t81576"))))
   end.
Property StigmergyElection-PT-11b-CTLFireability-15
   "Automatically generated by Citili v2023"
   is:
      A ((A (((((A (G (is-fireable("t228016")))) | (! (is-fireable("t209977")))) | ((is-fireable("t9387")) & (E ((is-fireable("t285423")) U (is-fireable("t9577")))))) | (E (X (A (G (is-fireable("t71325"))))))) U (! (A (F (is-fireable("t202945"))))))) U (A (F (A (G ((is-fireable("t223940")) & (((is-fireable("t327988")) | (is-fireable("t56045"))) | (is-fireable("t217970")))))))))
   end.
