Property StigmergyCommit-PT-07b-ReachabilityFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      A (G ((is-fireable("t10638")) | ((! (is-fireable("t8012"))) | ((! ((! ((! (is-fireable("t5458"))) | (! (is-fireable("t4107"))))) & (! ((is-fireable("t5123")) | ((is-fireable("t4331")) | ((is-fireable("t6582")) | (is-fireable("t2214")))))))) & (is-fireable("t83"))))))
   end.
Property StigmergyCommit-PT-07b-ReachabilityFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      A (G (! ((! ((((! ((! (is-fireable("t14348"))) | (! (is-fireable("t10491"))))) | (! (is-fireable("t6139")))) | ((! (((is-fireable("t3251")) & (is-fireable("t9642"))) | ((is-fireable("t12377")) & (is-fireable("t14035"))))) | (! (((is-fireable("t15258")) | (is-fireable("t13448"))) & ((is-fireable("t12292")) | (is-fireable("t6684"))))))) | ((! ((! ((is-fireable("t6042")) | (is-fireable("t3254")))) | (is-fireable("t11505")))) & (is-fireable("t15910"))))) & (! (is-fireable("t14348"))))))
   end.
Property StigmergyCommit-PT-07b-ReachabilityFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("t4569"))))
   end.
Property StigmergyCommit-PT-07b-ReachabilityFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t10654")))
   end.
Property StigmergyCommit-PT-07b-ReachabilityFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      A (G ((! (((is-fireable("t5571")) | (is-fireable("t11784"))) & (is-fireable("t3917")))) | (! ((((is-fireable("t11270")) & (! ((is-fireable("t6000")) | (! ((is-fireable("t6474")) | (is-fireable("t11728"))))))) | (((is-fireable("t9361")) | (((! (is-fireable("t5801"))) | ((is-fireable("t12170")) & (is-fireable("t14527")))) & ((is-fireable("t3531")) & (is-fireable("t11508"))))) & (! (is-fireable("t10095"))))) | (((is-fireable("t4213")) & ((! (is-fireable("t10997"))) | ((is-fireable("t7310")) | (((is-fireable("t7622")) | (is-fireable("t12759"))) | (is-fireable("t12378")))))) | ((is-fireable("t13516")) | (((! ((is-fireable("t6912")) & (is-fireable("t171")))) | (! ((is-fireable("t1724")) | (is-fireable("t12797"))))) | (! ((is-fireable("t4730")) & (is-fireable("t7004")))))))))))
   end.
Property StigmergyCommit-PT-07b-ReachabilityFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t6217")))
   end.
Property StigmergyCommit-PT-07b-ReachabilityFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (F (((is-fireable("t4113")) | (is-fireable("t9204"))) & (((is-fireable("t12110")) & (is-fireable("t3628"))) | (! ((! (is-fireable("t8222"))) | (! (is-fireable("t7217"))))))))
   end.
Property StigmergyCommit-PT-07b-ReachabilityFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("t4011"))))
   end.
Property StigmergyCommit-PT-07b-ReachabilityFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      A (G (! ((! ((! (is-fireable("t12478"))) | (((is-fireable("t768")) | (is-fireable("t15669"))) & (((is-fireable("t11766")) & (((is-fireable("t552")) & (is-fireable("t8373"))) & ((is-fireable("t2770")) | (is-fireable("t9899"))))) & ((((is-fireable("t14987")) & (is-fireable("t9929"))) | ((is-fireable("t10467")) & (is-fireable("t10098")))) | ((is-fireable("t290")) & ((is-fireable("t5277")) | (is-fireable("t14309"))))))))) | (is-fireable("t6381")))))
   end.
Property StigmergyCommit-PT-07b-ReachabilityFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      A (G ((((((! (is-fireable("t4471"))) | ((is-fireable("t13836")) & (is-fireable("t8989")))) | ((! ((! ((is-fireable("t1890")) | (is-fireable("t12690")))) & (is-fireable("t10044")))) | (is-fireable("t15239")))) | (is-fireable("t15537"))) | (is-fireable("t3744"))) | (((is-fireable("t1753")) & (((((! (is-fireable("t13416"))) & (is-fireable("t2817"))) | (is-fireable("t11405"))) & (((((is-fireable("t8422")) | (is-fireable("t10303"))) & (is-fireable("t4868"))) & (! (is-fireable("t12393")))) & (! (is-fireable("t4529"))))) & (is-fireable("t10555")))) | (is-fireable("t408")))))
   end.
Property StigmergyCommit-PT-07b-ReachabilityFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      E (F ((is-fireable("t3758")) | ((is-fireable("t5221")) | ((! ((((((is-fireable("t765")) & (is-fireable("t2709"))) & (is-fireable("t15527"))) & (((is-fireable("t15439")) & (is-fireable("t6224"))) | (! (is-fireable("t1444"))))) | ((is-fireable("t11055")) & (! ((is-fireable("t4340")) | (is-fireable("t7324")))))) | (! (is-fireable("t2935"))))) & (is-fireable("t1349"))))))
   end.
Property StigmergyCommit-PT-07b-ReachabilityFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      A (G ((! (((((((is-fireable("t12225")) & ((is-fireable("t408")) | (is-fireable("t15146")))) | ((! (is-fireable("t5609"))) | (! (is-fireable("t8683"))))) | (! (is-fireable("t13351")))) | (is-fireable("t7184"))) & (! (is-fireable("t2345")))) & ((is-fireable("t360")) | (is-fireable("t9607"))))) | (! (is-fireable("t15238")))))
   end.
Property StigmergyCommit-PT-07b-ReachabilityFireability-2025-12
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t15231")))
   end.
Property StigmergyCommit-PT-07b-ReachabilityFireability-2025-13
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t4427")))
   end.
Property StigmergyCommit-PT-07b-ReachabilityFireability-2025-14
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("t10034"))))
   end.
Property StigmergyCommit-PT-07b-ReachabilityFireability-2025-15
   "Automatically generated by Citili v2025"
   is:
      E (F (((is-fireable("t12642")) | ((((((is-fireable("t13133")) & (((is-fireable("t12274")) | (is-fireable("t10940"))) & ((is-fireable("t6207")) & (is-fireable("t13259"))))) & (! (is-fireable("t13890")))) | (((((is-fireable("t3167")) | (is-fireable("t13841"))) | (! (is-fireable("t12756")))) | ((! (is-fireable("t197"))) | ((is-fireable("t1336")) & (is-fireable("t10551"))))) | (! ((! (is-fireable("t5969"))) & (is-fireable("t7074")))))) & ((is-fireable("t1736")) | (! ((! (is-fireable("t9559"))) | (! ((is-fireable("t12141")) | (is-fireable("t11653")))))))) | (! (((((is-fireable("t13620")) & (is-fireable("t1836"))) | (is-fireable("t10584"))) & ((! (is-fireable("t3092"))) & ((is-fireable("t9631")) & (is-fireable("t1630"))))) | (! ((is-fireable("t9282")) & (is-fireable("t12504")))))))) & (! (((! ((! ((is-fireable("t6215")) & (is-fireable("t15283")))) | ((is-fireable("t2557")) & (((is-fireable("t9766")) & (is-fireable("t9732"))) & ((is-fireable("t14061")) | (is-fireable("t10531"))))))) | (is-fireable("t516"))) & (! (is-fireable("t10113")))))))
   end.
