Property ViralEpidemic-PT-S08D1C2A04-LTLFireability-00
  "Automatically generated"
  is:
    A (F ("cured444255"? | X !(F "cured443845"? U "dead413626"?)) & F X F !"cured443845"?)
  end.
Property ViralEpidemic-PT-S08D1C2A04-LTLFireability-01
  "Automatically generated"
  is:
    A F X !X (G "dead481816"? | G X X X X "dead415238"?)
  end.
Property ViralEpidemic-PT-S08D1C2A04-LTLFireability-02
  "Automatically generated"
  is:
    A G !(G "cured35131"? | (G ("spread45266"? | "cured413285"?) U F "cured35131"?))
  end.
Property ViralEpidemic-PT-S08D1C2A04-LTLFireability-03
  "Automatically generated"
  is:
    A F ((G ("dead446118"? & "cured435523"?) U !"dead446118"?) U F "dead446118"?)
  end.
Property ViralEpidemic-PT-S08D1C2A04-LTLFireability-04
  "Automatically generated"
  is:
    A ((F "dead462888"? & G F !("dead415175"? U "dead445261"?)) U X X X X "cured461847"?)
  end.
Property ViralEpidemic-PT-S08D1C2A04-LTLFireability-05
  "Automatically generated"
  is:
    A (F !"dead447743"? & X F "spread43576"?)
  end.
Property ViralEpidemic-PT-S08D1C2A04-LTLFireability-06
  "Automatically generated"
  is:
    A G ("dead483253"? | (F ("dead454351"? | X !X "dead483253"?) U X "dead483882"?))
  end.
Property ViralEpidemic-PT-S08D1C2A04-LTLFireability-07
  "Automatically generated"
  is:
    A ("spread48645"? & "dead482144"? & !X F X "spread48645"?)
  end.
Property ViralEpidemic-PT-S08D1C2A04-LTLFireability-08
  "Automatically generated"
  is:
    A G X !(G "dead483334"? | !F "dead445266"?)
  end.
Property ViralEpidemic-PT-S08D1C2A04-LTLFireability-09
  "Automatically generated"
  is:
    A !X (F X "dead482577"? & X ("cured465571"? & X F !"cured488221"?))
  end.
Property ViralEpidemic-PT-S08D1C2A04-LTLFireability-10
  "Automatically generated"
  is:
    A (G (!"cured417738"? | ("cured417411"? & "cured451667"?)) & F ("cured417411"? U F "cured451667"?))
  end.
Property ViralEpidemic-PT-S08D1C2A04-LTLFireability-11
  "Automatically generated"
  is:
    A X ((G "cured427527"? U "cured461753"?) & (("cured427527"? & "dead413474"?) | X X "cured445718"?))
  end.
Property ViralEpidemic-PT-S08D1C2A04-LTLFireability-12
"Automatically generated"
is:
A (G (F "cured435572"? U F "spread48282"?) & ("cured421362"? U (!"cured435572"? & "spread48282"?)))
end.
Property ViralEpidemic-PT-S08D1C2A04-LTLFireability-13
"Automatically generated"
is:
A (G "dead447774"? | X (("cured35357"? | "cured486458"?) U "cured35357"?))
end.
Property ViralEpidemic-PT-S08D1C2A04-LTLFireability-14
"Automatically generated"
is:
A G X ("cured411851"? | ("cured411851"? & !"cured411851"? & X X F "cured435831"?))
end.
Property ViralEpidemic-PT-S08D1C2A04-LTLFireability-15
"Automatically generated"
is:
A (!F "cured448534"? | ("dead475628"? & !"dead485158"? & (X "dead434833"? U "dead485158"?)))
end.
