Property ViralEpidemic-PT-S08D1C2A04-LTLCardinality-00
  "Automatically generated"
  is:
    A F X G F (F ((#tokens("cFactor3231")) <= (#tokens("patient83377"))) | X G X X X X ((1) <= (#tokens("patient11226"))))
  end.
Property ViralEpidemic-PT-S08D1C2A04-LTLCardinality-01
  "Automatically generated"
  is:
    A G F X (F X !G (((#tokens("patient73433")) <= (#tokens("cFactor48568"))) | G ((#tokens("patient73433")) <= (#tokens("cFactor48568")))) U !((#tokens("patient411")) <= (#tokens("patient61253"))))
  end.
Property ViralEpidemic-PT-S08D1C2A04-LTLCardinality-02
  "Automatically generated"
  is:
    A X X G X X X !X (((3) <= (#tokens("patient47573"))) U ((3) <= (#tokens("patient32475"))))
  end.
Property ViralEpidemic-PT-S08D1C2A04-LTLCardinality-03
  "Automatically generated"
  is:
    A (((#tokens("patient3877")) <= (#tokens("dFactor43553"))) & X X X !(G ((#tokens("patient56862")) <= (#tokens("dFactor47218"))) & F ((1) <= (#tokens("cFactor45185")))))
  end.
Property ViralEpidemic-PT-S08D1C2A04-LTLCardinality-04
  "Automatically generated"
  is:
    A (((X ((#tokens("patient71384")) <= (#tokens("dFactor43821"))) & X G ((#tokens("dFactor45638")) <= (#tokens("patient35222")))) U ((#tokens("dFactor45638")) <= (#tokens("patient35222")))) & ((G ((2) <= (#tokens("patient63142"))) U ((#tokens("patient71384")) <= (#tokens("dFactor43821")))) U ((#tokens("cFactor42247")) <= (#tokens("patient18853")))))
  end.
Property ViralEpidemic-PT-S08D1C2A04-LTLCardinality-05
  "Automatically generated"
  is:
    A (!(((#tokens("patient15428")) <= (#tokens("patient7567"))) & ((1) <= (#tokens("cFactor46521"))) & ((#tokens("patient13425")) <= (#tokens("patient36483")))) | (((2) <= (#tokens("patient46822"))) & G (F ((1) <= (#tokens("patient33184"))) & X ((1) <= (#tokens("patient33184"))))))
  end.
Property ViralEpidemic-PT-S08D1C2A04-LTLCardinality-06
  "Automatically generated"
  is:
    A F (F !((#tokens("patient16527")) <= (#tokens("patient47835"))) & F (((2) <= (#tokens("patient47326"))) & F ((1) <= (#tokens("patient36234"))) & X ((3) <= (#tokens("patient86662")))))
  end.
Property ViralEpidemic-PT-S08D1C2A04-LTLCardinality-07
  "Automatically generated"
  is:
    A (X ((1) <= (#tokens("patient644"))) & (!(((3) <= (#tokens("patient33356"))) & ((1) <= (#tokens("patient1438")))) U F ((((3) <= (#tokens("patient33356"))) | G ((1) <= (#tokens("patient1438")))) U ((3) <= (#tokens("patient33356"))))))
  end.
Property ViralEpidemic-PT-S08D1C2A04-LTLCardinality-08
  "Automatically generated"
  is:
    A G X ((G ((#tokens("cFactor42172")) <= (#tokens("patient55577"))) U G !((2) <= (#tokens("dFactor45475")))) | (((1) <= (#tokens("patient73684"))) & F !((3) <= (#tokens("patient72751")))))
  end.
Property ViralEpidemic-PT-S08D1C2A04-LTLCardinality-09
  "Automatically generated"
  is:
    A (((((1) <= (#tokens("patient48182"))) U ((3) <= (#tokens("patient76728")))) U !F !((1) <= (#tokens("patient48182")))) U (((3) <= (#tokens("patient76728"))) & F ((1) <= (#tokens("patient83655")))))
  end.
Property ViralEpidemic-PT-S08D1C2A04-LTLCardinality-10
  "Automatically generated"
  is:
    A F (F X G F !G (((#tokens("patient15636")) <= (#tokens("patient51154"))) & G ((1) <= (#tokens("patient6743")))) U ((#tokens("patient8327")) <= (#tokens("patient72624"))))
  end.
Property ViralEpidemic-PT-S08D1C2A04-LTLCardinality-11
  "Automatically generated"
  is:
    A (G (((3) <= (#tokens("patient52277"))) U G ((3) <= (#tokens("patient52277")))) | F (((#tokens("cFactor43284")) <= (#tokens("patient52834"))) & !((3) <= (#tokens("patient52277"))) & ((3) <= (#tokens("patient62218")))))
  end.
Property ViralEpidemic-PT-S08D1C2A04-LTLCardinality-12
"Automatically generated"
is:
A F (G ((1) <= (#tokens("patient31857"))) | X ((3) <= (#tokens("patient68228"))))
end.
Property ViralEpidemic-PT-S08D1C2A04-LTLCardinality-13
"Automatically generated"
is:
A (((#tokens("patient77245")) <= (#tokens("patient6116"))) & !F X F (((#tokens("patient83744")) <= (#tokens("patient42161"))) | X ((#tokens("patient46672")) <= (#tokens("patient3243")))) & F ((2) <= (#tokens("patient74187"))))
end.
Property ViralEpidemic-PT-S08D1C2A04-LTLCardinality-14
"Automatically generated"
is:
A (G ((2) <= (#tokens("patient45235"))) & !(G ((1) <= (#tokens("patient27235"))) | X G X (!((2) <= (#tokens("patient45235"))) U ((2) <= (#tokens("patient28724"))))))
end.
Property ViralEpidemic-PT-S08D1C2A04-LTLCardinality-15
"Automatically generated"
is:
A (!(((2) <= (#tokens("cFactor44128"))) & ((3) <= (#tokens("patient81366")))) & (G ((2) <= (#tokens("cFactor44128"))) U X !((3) <= (#tokens("patient36825")))))
end.
