Property ViralEpidemic-PT-S08D1C2A04-ReachabilityFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      E (F ((! ((is-fireable("dead455588")) | ((! ((is-fireable("spread47821")) | (((is-fireable("cured35577")) | (is-fireable("dead423711"))) & ((is-fireable("spread3158")) | (is-fireable("dead34158")))))) | ((! (((is-fireable("dead37786")) & (is-fireable("dead425227"))) & (! (is-fireable("cured422673"))))) & ((((is-fireable("cured444476")) & (is-fireable("dead432723"))) & (is-fireable("cured486477"))) & (! (is-fireable("cured02")))))))) & (is-fireable("cured442351"))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-ReachabilityFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("dead481761")))
   end.
Property ViralEpidemic-PT-S08D1C2A04-ReachabilityFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("dead437465")))
   end.
Property ViralEpidemic-PT-S08D1C2A04-ReachabilityFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (F ((! ((((is-fireable("cured478744")) & ((is-fireable("cured415134")) | (is-fireable("cured464631")))) | (((! (((is-fireable("cured448344")) | (is-fireable("cured441424"))) | (! (is-fireable("cured451848"))))) | ((is-fireable("cured438417")) | ((! (is-fireable("cured426471"))) | ((is-fireable("cured37273")) & (is-fireable("dead448338")))))) | (! (((! (is-fireable("dead444614"))) | (is-fireable("dead455732"))) & ((is-fireable("cured445875")) | ((is-fireable("dead432267")) | (is-fireable("dead481825")))))))) & ((! ((! ((is-fireable("dead451211")) | (is-fireable("dead478621")))) | ((! (is-fireable("dead34342"))) & (! (is-fireable("dead444482")))))) | ((! (is-fireable("cured34256"))) | (is-fireable("cured457164")))))) & ((! ((((((is-fireable("cured477772")) & ((is-fireable("cured464786")) | (is-fireable("cured476123")))) | (is-fireable("dead414585"))) & (is-fireable("dead34328"))) | (! (is-fireable("dead431132")))) & (! (((((is-fireable("cured435816")) | (is-fireable("cured488876"))) & (! (is-fireable("cured38717")))) | ((! (is-fireable("cured426647"))) & (is-fireable("dead37355")))) & ((((is-fireable("cured471342")) & (is-fireable("cured472246"))) & ((is-fireable("spread47221")) & (is-fireable("dead421585")))) | (((is-fireable("dead477435")) & (is-fireable("dead473214"))) & ((is-fireable("cured424268")) & (is-fireable("spread43237"))))))))) & (! (((! (is-fireable("dead453866"))) | (! (is-fireable("cured484266")))) | (! ((! ((is-fireable("dead33481")) | (is-fireable("cured437321")))) & (is-fireable("dead487875")))))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-ReachabilityFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      A (G ((is-fireable("dead414114")) | (! (is-fireable("dead473144")))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-ReachabilityFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      E (F ((is-fireable("dead428638")) | (! ((! (is-fireable("dead424571"))) & (! (is-fireable("cured455786")))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-ReachabilityFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("dead476611")))
   end.
Property ViralEpidemic-PT-S08D1C2A04-ReachabilityFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      E (F (((! (is-fireable("cured487722"))) | ((((is-fireable("dead484644")) | (((! ((is-fireable("cured486651")) | (is-fireable("spread46278")))) & (((is-fireable("cured411777")) & (is-fireable("cured34571"))) & (! (is-fireable("cured434874"))))) | ((((is-fireable("dead38755")) & (is-fireable("dead464378"))) | ((is-fireable("cured438426")) | (is-fireable("cured422286")))) & (! (is-fireable("cured447668")))))) & (((((is-fireable("dead451458")) | (is-fireable("dead488483"))) & (! (is-fireable("dead456126")))) | ((! (is-fireable("spread41587"))) | (((is-fireable("dead475453")) | (is-fireable("dead421311"))) & (is-fireable("dead487458"))))) & (((! ((is-fireable("cured2822")) & (is-fireable("dead444848")))) | (is-fireable("dead428228"))) & (! (((is-fireable("dead486862")) | (is-fireable("cured457738"))) & (! (is-fireable("spread41428")))))))) & (is-fireable("dead425515")))) & (is-fireable("dead421113"))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-ReachabilityFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      A (G (((is-fireable("dead476453")) & (is-fireable("dead432748"))) | ((is-fireable("dead485647")) | (! ((is-fireable("dead474418")) & (is-fireable("spread3543")))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-ReachabilityFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      E (F (! ((((! ((is-fireable("dead415527")) & (is-fireable("dead437178")))) | (is-fireable("spread41568"))) | ((((is-fireable("spread46643")) | (((is-fireable("cured463751")) | (is-fireable("cured451517"))) | ((is-fireable("cured464181")) | (is-fireable("cured441214"))))) & (! (((is-fireable("dead425728")) & (is-fireable("dead431314"))) | (is-fireable("dead457328"))))) & (((((is-fireable("dead463368")) | (is-fireable("cured426418"))) & (is-fireable("spread45285"))) & (is-fireable("cured2856"))) & (is-fireable("cured434767"))))) | (((((! ((is-fireable("dead473744")) & (is-fireable("cured435343")))) & (((is-fireable("cured37125")) & (is-fireable("cured466683"))) & (! (is-fireable("dead483586"))))) | (is-fireable("dead435355"))) | (((! ((is-fireable("dead487636")) & (is-fireable("dead454137")))) & (is-fireable("cured451583"))) | ((((is-fireable("cured464823")) | (is-fireable("cured448676"))) | ((is-fireable("cured36735")) & (is-fireable("cured457715")))) | (((is-fireable("cured447886")) | (is-fireable("cured427316"))) & (! (is-fireable("cured467831"))))))) | ((((! (is-fireable("cured481771"))) & ((is-fireable("cured486681")) & (! (is-fireable("spread3648"))))) & (((is-fireable("dead412684")) & ((is-fireable("cured451463")) & (is-fireable("dead477338")))) | (((is-fireable("spread3881")) & (is-fireable("cured476743"))) & ((is-fireable("dead431324")) | (is-fireable("dead465621")))))) & (! ((is-fireable("cured433141")) | (is-fireable("dead458723")))))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-ReachabilityFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      E (F ((! (is-fireable("dead457716"))) & ((is-fireable("cured448453")) | (is-fireable("cured427844")))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-ReachabilityFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      A (G ((! ((! ((! (((! (is-fireable("cured472846"))) & ((is-fireable("dead416444")) | (is-fireable("dead448124")))) | (! (is-fireable("dead433327"))))) | (! (is-fireable("cured461788"))))) | ((! (is-fireable("cured481636"))) & (is-fireable("cured427576"))))) | ((is-fireable("dead444578")) | (is-fireable("cured435123")))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-ReachabilityFireability-2025-12
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("cured463275"))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-ReachabilityFireability-2025-13
   "Automatically generated by Citili v2025"
   is:
      A (G (! ((is-fireable("dead451166")) & (! (is-fireable("dead414232"))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-ReachabilityFireability-2025-14
   "Automatically generated by Citili v2025"
   is:
      E (F (((((((is-fireable("dead446362")) | (! (((is-fireable("cured436553")) & (is-fireable("dead415887"))) & ((is-fireable("dead437465")) & (is-fireable("cured31427")))))) & (! (is-fireable("dead438475")))) & (is-fireable("dead441526"))) | (is-fireable("cured36245"))) | (is-fireable("dead448358"))) & (! ((! (((((is-fireable("dead31338")) & (is-fireable("cured447633"))) & ((is-fireable("dead458667")) | (is-fireable("cured38683")))) | ((! (is-fireable("dead477487"))) & ((is-fireable("spread48554")) & (is-fireable("dead484831"))))) | ((((is-fireable("dead435888")) & (is-fireable("cured471314"))) | (! (is-fireable("dead425127")))) & (! (is-fireable("cured33364")))))) | ((((! (is-fireable("cured437815"))) & ((! (is-fireable("cured466356"))) | ((is-fireable("cured442414")) | (is-fireable("dead426684"))))) & (! (is-fireable("cured442381")))) & (((((is-fireable("cured2224")) | (is-fireable("dead483412"))) | ((is-fireable("cured447243")) | (is-fireable("cured464434")))) & (is-fireable("cured34866"))) & ((((is-fireable("dead448863")) & (is-fireable("cured437513"))) | (! (is-fireable("dead437375")))) | (is-fireable("cured481383")))))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-ReachabilityFireability-2025-15
   "Automatically generated by Citili v2025"
   is:
      E (F ((is-fireable("cured465647")) & (! ((! ((! (((! (is-fireable("dead487543"))) & (! (is-fireable("cured438571")))) | (((is-fireable("cured34142")) | (is-fireable("dead444185"))) & ((is-fireable("cured461831")) | (is-fireable("cured484213")))))) & (is-fireable("dead451855")))) & (! ((((! ((is-fireable("cured412478")) | (is-fireable("dead436474")))) & ((is-fireable("dead472472")) | ((is-fireable("dead466543")) & (is-fireable("cured436361"))))) & ((is-fireable("dead415432")) | (is-fireable("cured471655")))) & ((is-fireable("cured487738")) & (! (is-fireable("cured33422"))))))))))
   end.
