Property StigmergyElection-PT-09a-CTLFireability-00
   "Automatically generated by Citili v2022"
   is:
      A (F (A (F (is-fireable("t4300")))))
   end.
Property StigmergyElection-PT-09a-CTLFireability-01
   "Automatically generated by Citili v2022"
   is:
      (! (E (G (E (G (is-fireable("t4183"))))))) & ((E (X ((((is-fireable("t2008")) | ((is-fireable("t17904")) & (A (F (is-fireable("t30")))))) | ((((is-fireable("t7141")) | (is-fireable("t10649"))) | (A (X (is-fireable("t6111"))))) | (A (F (is-fireable("t17571")))))) | (E (F (A (G (is-fireable("t7514"))))))))) | (E (X (is-fireable("t11217")))))
   end.
Property StigmergyElection-PT-09a-CTLFireability-02
   "Automatically generated by Citili v2022"
   is:
      A (G (! ((is-fireable("t16361")) | (((((is-fireable("t7199")) | (is-fireable("t16032"))) | (((is-fireable("t10438")) & (is-fireable("t13506"))) | ((is-fireable("t7493")) & (is-fireable("t5804"))))) | ((E ((is-fireable("t5474")) U (is-fireable("t10413")))) & (is-fireable("t18487")))) & ((! ((A (F (is-fireable("t12653")))) | (! (is-fireable("t15731"))))) & (! (! ((is-fireable("t15684")) & (is-fireable("t13113"))))))))))
   end.
Property StigmergyElection-PT-09a-CTLFireability-03
   "Automatically generated by Citili v2022"
   is:
      E (F ((A ((A (X (is-fireable("t3968")))) U ((A (X (is-fireable("t2206")))) | (is-fireable("t5666"))))) | (A (X (E (F (is-fireable("t4511"))))))))
   end.
Property StigmergyElection-PT-09a-CTLFireability-04
   "Automatically generated by Citili v2022"
   is:
      E (F ((is-fireable("t8026")) & ((is-fireable("t5895")) & ((E ((is-fireable("t3978")) U (! ((is-fireable("t18061")) & (is-fireable("t14660")))))) | (! ((E ((is-fireable("t13196")) U (is-fireable("t15748")))) & (! ((is-fireable("t14682")) | (is-fireable("t1750"))))))))))
   end.
Property StigmergyElection-PT-09a-CTLFireability-05
   "Automatically generated by Citili v2022"
   is:
      (! (! (A ((! ((! (E (X (is-fireable("t6339"))))) | (! (E ((is-fireable("t9779")) U (is-fireable("t13030"))))))) U (! ((! (E (X (is-fireable("t2413"))))) | (((is-fireable("t5935")) & (is-fireable("t7672"))) & (A (X (is-fireable("t5095"))))))))))) | ((A (G ((is-fireable("t11439")) & ((is-fireable("t384")) & (E (X ((is-fireable("t4952")) | (is-fireable("t168"))))))))) | (E ((((is-fireable("t14939")) & (E ((! (is-fireable("t16594"))) U (is-fireable("t9106"))))) | (((! (is-fireable("t2916"))) | (is-fireable("t7811"))) | (is-fireable("t7075")))) U (is-fireable("t2148")))))
   end.
Property StigmergyElection-PT-09a-CTLFireability-06
   "Automatically generated by Citili v2022"
   is:
      E (F ((((E (X (E ((is-fireable("t6903")) U (is-fireable("t7018")))))) | (E ((! (! (is-fireable("t7766")))) U (is-fireable("t13337"))))) | (E (X (! (E (G (is-fireable("t9165")))))))) & (is-fireable("t2181"))))
   end.
Property StigmergyElection-PT-09a-CTLFireability-07
   "Automatically generated by Citili v2022"
   is:
      E ((A ((! ((((is-fireable("t16420")) | (E (F (is-fireable("t18098"))))) | (E (F (is-fireable("t253"))))) | (E (F (E (F (is-fireable("t15668")))))))) U (! (! (A (G (A (F (is-fireable("t9485")))))))))) U (! (E (F (! (is-fireable("t12800")))))))
   end.
Property StigmergyElection-PT-09a-CTLFireability-08
   "Automatically generated by Citili v2022"
   is:
      ! (E (((A ((is-fireable("t1220")) U (E (F (E (X (is-fireable("t3016")))))))) | ((A (G (A (G (is-fireable("t17393")))))) & (A (X ((is-fireable("t13095")) & (A (X (is-fireable("t12787"))))))))) U (E ((is-fireable("t9990")) U (A (((E ((is-fireable("t14590")) U (is-fireable("t10952")))) | (is-fireable("t14455"))) U (E (X (is-fireable("t479"))))))))))
   end.
Property StigmergyElection-PT-09a-CTLFireability-09
   "Automatically generated by Citili v2022"
   is:
      ! (A (G (! (is-fireable("t6091")))))
   end.
Property StigmergyElection-PT-09a-CTLFireability-10
   "Automatically generated by Citili v2022"
   is:
      (E (F (E (X ((A (F (! (is-fireable("t2549"))))) & (A (G (is-fireable("t8280"))))))))) | (E (X (A (X ((E (G (A (X (is-fireable("t14542")))))) & ((((is-fireable("t7180")) | (is-fireable("t7789"))) | (is-fireable("t16591"))) & ((! (is-fireable("t1824"))) & (is-fireable("t2591")))))))))
   end.
Property StigmergyElection-PT-09a-CTLFireability-11
   "Automatically generated by Citili v2022"
   is:
      E ((A (((E ((is-fireable("t4927")) U (E (G (is-fireable("t3861")))))) | (is-fireable("t2613"))) U (! (E (F (A (G (is-fireable("t1603"))))))))) U (is-fireable("t9713")))
   end.
Property StigmergyElection-PT-09a-CTLFireability-12
   "Automatically generated by Citili v2022"
   is:
      A ((A ((! (is-fireable("t4710"))) U (((is-fireable("t4441")) | (A (X (! (is-fireable("t16999")))))) | (E ((is-fireable("t8422")) U (A (F (is-fireable("t10758"))))))))) U (! ((E (G (((A (G (is-fireable("t3879")))) | (E (F (is-fireable("t11323"))))) & (A ((is-fireable("t5145")) U (is-fireable("t15520"))))))) | ((! (E (F ((is-fireable("t15479")) | (is-fireable("t15694")))))) & (! ((A (X (is-fireable("t6508")))) & (A (G (is-fireable("t11152"))))))))))
   end.
Property StigmergyElection-PT-09a-CTLFireability-13
   "Automatically generated by Citili v2022"
   is:
      E (F ((E (F (A (F (! ((is-fireable("t14940")) | (is-fireable("t2692")))))))) & (((! ((A (F (is-fireable("t10185")))) | (! ((is-fireable("t12440")) & (is-fireable("t9868")))))) & (is-fireable("t15294"))) | (E (X ((A (G (is-fireable("t11031")))) | (is-fireable("t18460"))))))))
   end.
Property StigmergyElection-PT-09a-CTLFireability-14
   "Automatically generated by Citili v2022"
   is:
      E ((A ((is-fireable("t5162")) U (E (X (! ((is-fireable("t12706")) & ((is-fireable("t3792")) | (is-fireable("t1003"))))))))) U ((E ((E (F ((is-fireable("t16594")) & (A (F (is-fireable("t11808"))))))) U ((is-fireable("t9727")) | (E ((is-fireable("t4612")) U (A (G (is-fireable("t8824"))))))))) & (is-fireable("t9613"))))
   end.
Property StigmergyElection-PT-09a-CTLFireability-15
   "Automatically generated by Citili v2022"
   is:
      A ((is-fireable("t3887")) U (! (A (F ((is-fireable("t8652")) & (! (A (G (is-fireable("t3578"))))))))))
   end.
