Property ViralEpidemic-PT-S03D1C1A08-LTLCardinality-00
  "Automatically generated"
  is:
    A !G F X F (F G F ((3) <= (#tokens("cFactor6312133"))) | (X ((#tokens("cFactor831323223")) <= (#tokens("patient22233233"))) U G ((#tokens("dFactor811121312")) <= (#tokens("patient213311331")))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-LTLCardinality-01
  "Automatically generated"
  is:
    A (X G ((((2) <= (#tokens("dFactor832313122"))) U ((1) <= (#tokens("patient3213323")))) U X (((3) <= (#tokens("patient113121123"))) | G ((3) <= (#tokens("patient113121123"))))) U G ((2) <= (#tokens("dFactor832313122"))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-LTLCardinality-02
  "Automatically generated"
  is:
    A !G (!((#tokens("patient13122132")) <= (#tokens("dFactor832333223"))) | F ((#tokens("dFactor813211132")) <= (#tokens("patient333221122"))) | (((#tokens("dFactor813211132")) <= (#tokens("patient333221122"))) & X X ((#tokens("patient13122132")) <= (#tokens("dFactor832333223")))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-LTLCardinality-03
  "Automatically generated"
  is:
    A !(F ((2) <= (#tokens("cFactor812112313"))) | ((F ((#tokens("patient133123233")) <= (#tokens("patient112111222"))) & X X ((2) <= (#tokens("cFactor812112313")))) U F ((#tokens("patient133123233")) <= (#tokens("patient112111222")))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-LTLCardinality-04
  "Automatically generated"
  is:
    A X (X X G X !((1) <= (#tokens("dFactor832111212"))) | (!((2) <= (#tokens("cFactor73312231"))) & X X X ((2) <= (#tokens("cFactor73312231")))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-LTLCardinality-05
  "Automatically generated"
  is:
    A X G (G X G ((#tokens("patient211211123")) <= (#tokens("cFactor812113322"))) | (G ((2) <= (#tokens("patient312211331"))) & F G ((2) <= (#tokens("patient312211331")))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-LTLCardinality-06
  "Automatically generated"
  is:
    A (G (((3) <= (#tokens("patient213131222"))) | G !((#tokens("patient31121132")) <= (#tokens("patient12113121")))) & (!(((#tokens("patient31121132")) <= (#tokens("patient12113121"))) U X ((#tokens("patient31121132")) <= (#tokens("patient12113121")))) U G ((#tokens("cFactor822233111")) <= (#tokens("patient113333131")))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-LTLCardinality-07
  "Automatically generated"
  is:
    A !(((#tokens("patient312332213")) <= (#tokens("patient12122113"))) | G ((#tokens("patient121112212")) <= (#tokens("patient121331123"))) | F (((#tokens("patient312332213")) <= (#tokens("patient12122113"))) | X ((#tokens("patient312332213")) <= (#tokens("patient12122113")))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-LTLCardinality-08
  "Automatically generated"
  is:
    A (X G ((2) <= (#tokens("patient121133231"))) U F ((3) <= (#tokens("patient3312113"))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-LTLCardinality-09
  "Automatically generated"
  is:
    A !X F X G X ((#tokens("patient231323131")) <= (#tokens("patient123332211")))
  end.
Property ViralEpidemic-PT-S03D1C1A08-LTLCardinality-10
  "Automatically generated"
  is:
    A (X X X (((#tokens("cFactor72311322")) <= (#tokens("dFactor73123132"))) & ((3) <= (#tokens("patient312212232"))) & F ((3) <= (#tokens("patient312212232")))) U (((1) <= (#tokens("dFactor821113233"))) | ((#tokens("patient121311133")) <= (#tokens("patient2321222")))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-LTLCardinality-11
  "Automatically generated"
  is:
    A (((3) <= (#tokens("cFactor811231313"))) U (((3) <= (#tokens("patient32223331"))) & X ((((3) <= (#tokens("patient32223331"))) & ((3) <= (#tokens("cFactor811231313")))) | F ((1) <= (#tokens("patient111223"))) | F !((3) <= (#tokens("patient32223331"))))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-LTLCardinality-12
"Automatically generated"
is:
A F (((#tokens("patient123211322")) <= (#tokens("dFactor823113312"))) U ((#tokens("patient321211223")) <= (#tokens("patient212311133"))))
end.
Property ViralEpidemic-PT-S03D1C1A08-LTLCardinality-13
"Automatically generated"
is:
A (F !((2) <= (#tokens("dFactor813212131"))) U F X (F (((#tokens("cFactor6223311")) <= (#tokens("patient232112333"))) U !((2) <= (#tokens("patient2123133")))) & F !((#tokens("patient11112333")) <= (#tokens("cFactor832311123")))))
end.
Property ViralEpidemic-PT-S03D1C1A08-LTLCardinality-14
"Automatically generated"
is:
A (F ((#tokens("cFactor71213321")) <= (#tokens("patient11213332"))) U !F (G (((3) <= (#tokens("patient13332233"))) | F !X ((2) <= (#tokens("cFactor823131133")))) U F ((3) <= (#tokens("patient13332233")))))
end.
Property ViralEpidemic-PT-S03D1C1A08-LTLCardinality-15
"Automatically generated"
is:
A X X F ((1) <= (#tokens("patient112231133")))
end.
