Property StigmergyElection-PT-11a-CTLFireability-00
   "Automatically generated by Citili v2022"
   is:
      E (X (A (G ((is-fireable("t82408")) | ((! (E (G (is-fireable("t19373"))))) | (A (X (! (is-fireable("t100662"))))))))))
   end.
Property StigmergyElection-PT-11a-CTLFireability-01
   "Automatically generated by Citili v2022"
   is:
      (A ((((! ((E (G (is-fireable("t91210")))) | (A (X (is-fireable("t75085")))))) & ((((A (X (is-fireable("t51350")))) | (E (G (is-fireable("t128691"))))) & (! ((is-fireable("t125308")) & (is-fireable("t119632"))))) | ((A ((is-fireable("t134849")) U (is-fireable("t135645")))) | (((is-fireable("t103703")) | (is-fireable("t97593"))) & (is-fireable("t59052")))))) & (! (! (! (((is-fireable("t81850")) & (is-fireable("t1526"))) | (E (G (is-fireable("t63104"))))))))) U (((((((is-fireable("t133682")) & (is-fireable("t95764"))) | (A (X (is-fireable("t124888"))))) | (is-fireable("t22226"))) & (((is-fireable("t134692")) | (A (G (is-fireable("t134823"))))) & (A (X (is-fireable("t114874")))))) & (E (X (is-fireable("t84345"))))) | (E (F (is-fireable("t31902"))))))) | (E (X (A ((is-fireable("t33389")) U (is-fireable("t121896"))))))
   end.
Property StigmergyElection-PT-11a-CTLFireability-02
   "Automatically generated by Citili v2022"
   is:
      A ((A (F (E (G (A (X ((is-fireable("t30605")) | (is-fireable("t26220"))))))))) U ((is-fireable("t19023")) & (E (F ((! (E (F (is-fireable("t48801"))))) | (A (((is-fireable("t109594")) & (is-fireable("t117679"))) U ((is-fireable("t8151")) | (is-fireable("t6010"))))))))))
   end.
Property StigmergyElection-PT-11a-CTLFireability-03
   "Automatically generated by Citili v2022"
   is:
      A (F (E ((A (F (E (X ((is-fireable("t75523")) | (is-fireable("t135108"))))))) U (is-fireable("t66222")))))
   end.
Property StigmergyElection-PT-11a-CTLFireability-04
   "Automatically generated by Citili v2022"
   is:
      A (F (! (! ((A ((E (X (is-fireable("t6395")))) U (E (G (is-fireable("t117127")))))) & ((is-fireable("t11089")) | ((A (G (is-fireable("t44468")))) | (A (G (is-fireable("t127550"))))))))))
   end.
Property StigmergyElection-PT-11a-CTLFireability-05
   "Automatically generated by Citili v2022"
   is:
      ! (E (F (((E (G (E (G (is-fireable("t107562")))))) | (E (G (A (G (is-fireable("t120451"))))))) & (A (X (A (G (is-fireable("t128668")))))))))
   end.
Property StigmergyElection-PT-11a-CTLFireability-06
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t128786")))
   end.
Property StigmergyElection-PT-11a-CTLFireability-07
   "Automatically generated by Citili v2022"
   is:
      E (X (A (X (((! (! (is-fireable("t21170")))) | ((E ((is-fireable("t41621")) U (is-fireable("t101593")))) & (((is-fireable("t121046")) | (is-fireable("t27360"))) & (E (X (is-fireable("t32996"))))))) | (E (F (A (G (is-fireable("t57694"))))))))))
   end.
Property StigmergyElection-PT-11a-CTLFireability-08
   "Automatically generated by Citili v2022"
   is:
      (! (A (X (E (F ((((is-fireable("t128240")) & (is-fireable("t118758"))) | (E (G (is-fireable("t130839"))))) & (E (X (is-fireable("t65810")))))))))) | (E (G (A (G (A ((A (X (is-fireable("t87626")))) U ((A ((is-fireable("t80993")) U (is-fireable("t27853")))) & ((is-fireable("t55620")) & (is-fireable("t74995"))))))))))
   end.
Property StigmergyElection-PT-11a-CTLFireability-09
   "Automatically generated by Citili v2022"
   is:
      (E (((E (F ((E (F (is-fireable("t98482")))) | (! (A ((is-fireable("t120892")) U (is-fireable("t3179")))))))) | (A (G (is-fireable("t35130"))))) U (is-fireable("t27727")))) | (! (A (((((is-fireable("t136092")) & ((! (is-fireable("t73905"))) & (! (is-fireable("t26391"))))) | (E (F ((is-fireable("t54965")) | (is-fireable("t75067")))))) & (E (F (A (F (is-fireable("t38487"))))))) U ((! ((E ((is-fireable("t51823")) U (is-fireable("t120290")))) | (A (F (is-fireable("t59635")))))) & ((E (((is-fireable("t42441")) | (is-fireable("t89145"))) U ((is-fireable("t48111")) & (is-fireable("t28259"))))) | (is-fireable("t93737")))))))
   end.
Property StigmergyElection-PT-11a-CTLFireability-10
   "Automatically generated by Citili v2022"
   is:
      (A (X (E ((E (X (! (! (is-fireable("t90221")))))) U (((A (F (is-fireable("t74938")))) & (is-fireable("t117609"))) | (((A (F (is-fireable("t123289")))) | (E (F (is-fireable("t111202"))))) & (E (F (is-fireable("t20067")))))))))) & (E ((! ((! (((A (X (is-fireable("t84425")))) & (! (is-fireable("t45586")))) | (A (F (is-fireable("t79804")))))) & (is-fireable("t97409")))) U ((E ((is-fireable("t53430")) U (E ((A (G (is-fireable("t35255")))) U ((is-fireable("t30983")) & (is-fireable("t387"))))))) | (is-fireable("t2879")))))
   end.
Property StigmergyElection-PT-11a-CTLFireability-11
   "Automatically generated by Citili v2022"
   is:
      ! (((! ((! (A (F (is-fireable("t134044"))))) | ((A (G (A (G (is-fireable("t117546")))))) | (A ((! (is-fireable("t99967"))) U (! (is-fireable("t100629")))))))) | (E (G ((! ((E (F (is-fireable("t12730")))) | (A ((is-fireable("t96361")) U (is-fireable("t2240")))))) | (is-fireable("t54686")))))) | ((! (A (((is-fireable("t107707")) & (! (E ((is-fireable("t59044")) U (is-fireable("t10204")))))) U (A (F ((is-fireable("t84374")) & (is-fireable("t19620")))))))) & (E (F ((A (X ((is-fireable("t12827")) | (is-fireable("t48826"))))) | ((! (! (is-fireable("t59138")))) | (! ((is-fireable("t84279")) & (is-fireable("t121745"))))))))))
   end.
Property StigmergyElection-PT-11a-CTLFireability-12
   "Automatically generated by Citili v2022"
   is:
      A ((! (is-fireable("t20250"))) U (A ((E (X (((E (G (is-fireable("t33347")))) & (A (G (is-fireable("t60325"))))) & (E (G (is-fireable("t420"))))))) U (A ((! (! (! (is-fireable("t102945"))))) U (A (F (A (G (is-fireable("t106997")))))))))))
   end.
Property StigmergyElection-PT-11a-CTLFireability-13
   "Automatically generated by Citili v2022"
   is:
      ! (E (F (is-fireable("t10207"))))
   end.
Property StigmergyElection-PT-11a-CTLFireability-14
   "Automatically generated by Citili v2022"
   is:
      ! ((A (X ((((is-fireable("t44959")) & (is-fireable("t116742"))) & (A (F (A ((is-fireable("t104010")) U (is-fireable("t119223"))))))) & (is-fireable("t134982"))))) | (E (F (((A (X ((is-fireable("t18266")) | (is-fireable("t117367"))))) | (A (X ((is-fireable("t128073")) | (is-fireable("t119818")))))) | (A ((A (F (is-fireable("t123344")))) U (E ((is-fireable("t44758")) U (is-fireable("t53947"))))))))))
   end.
Property StigmergyElection-PT-11a-CTLFireability-15
   "Automatically generated by Citili v2022"
   is:
      A (F ((A (X (! (is-fireable("t15441"))))) & (E (G (((! (E (F (is-fireable("t71491"))))) | ((E (F (is-fireable("t82171")))) & (A ((is-fireable("t85491")) U (is-fireable("t124116")))))) & ((! ((is-fireable("t20104")) | (is-fireable("t80682")))) | (A ((is-fireable("t96183")) U (is-fireable("t38988"))))))))))
   end.
