Property ViralEpidemic-PT-S03D1C1A08-CTLCardinality-00
  "Automatically generated"
  is:
    ((E F ! ((((3) <= (#tokens("patient33331311")))) | (((#tokens("patient23111313")) <= (#tokens("patient121231111")))))) | (((((((((2) <= (#tokens("patient31133332")))) | (((((#tokens("cFactor832233313")) <= (#tokens("patient32133221")))) & (((2) <= (#tokens("cFactor6132123")))))))) | (((((((3) <= (#tokens("patient111223331")))) & (((#tokens("patient22322212")) <= (#tokens("patient311213322")))))) & (((1) <= (#tokens("patient222311133")))))))) | (E G ((((#tokens("patient111323112")) <= (#tokens("patient313313222")))) | (((3) <= (#tokens("dFactor832232123")))))))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLCardinality-01
  "Automatically generated"
  is:
    A F ((! ((((#tokens("cFactor813333123")) <= (#tokens("cFactor831333221")))) & (((2) <= (#tokens("dFactor71113322")))))) & (((((((#tokens("patient112332231")) <= (#tokens("cFactor6231123")))) & (((#tokens("dFactor823321312")) <= (#tokens("patient231333212")))))) & (! ((3) <= (#tokens("cFactor833232332")))))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLCardinality-02
  "Automatically generated"
  is:
    ((! ((E F ((3) <= (#tokens("patient112233311")))) | (! ! ((1) <= (#tokens("patient313313332")))))) & (! ((((3) <= (#tokens("cFactor831311311")))) | (A X ((3) <= (#tokens("patient222232233")))))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLCardinality-03
  "Automatically generated"
  is:
    ! ((E ((((#tokens("dFactor71111133")) <= (#tokens("cFactor811232313")))) U (((3) <= (#tokens("cFactor833113311")))))) | (A F ! ((#tokens("dFactor821111233")) <= (#tokens("dFactor823221223")))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLCardinality-04
  "Automatically generated"
  is:
    ! A G ((1) <= (#tokens("cFactor813213132")))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLCardinality-05
  "Automatically generated"
  is:
    A G ((((! ((2) <= (#tokens("cFactor811232111")))) & (((#tokens("patient31212211")) <= (#tokens("patient131331322")))))) | (((! ((#tokens("dFactor832121322")) <= (#tokens("patient332321232")))) | (((#tokens("patient233311233")) <= (#tokens("patient311112321")))))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLCardinality-06
  "Automatically generated"
  is:
    E ((((#tokens("patient332133212")) <= (#tokens("dFactor821311132")))) U (((3) <= (#tokens("patient121313213")))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLCardinality-07
  "Automatically generated"
  is:
    E G A X ((((#tokens("patient23122")) <= (#tokens("patient232311312")))) | (((2) <= (#tokens("patient22231311")))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLCardinality-08
  "Automatically generated"
  is:
    ! E ((! ((3) <= (#tokens("patient12333233")))) U (((2) <= (#tokens("patient332132233")))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLCardinality-09
  "Automatically generated"
  is:
    A F A F ((((1) <= (#tokens("patient211231222")))) & (((#tokens("dFactor813233211")) <= (#tokens("cFactor812332113")))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLCardinality-10
  "Automatically generated"
  is:
    ! ((A ((((#tokens("patient211111123")) <= (#tokens("patient223112123")))) U (((#tokens("dFactor833133113")) <= (#tokens("patient331333221")))))) | (E G ((((#tokens("patient313123333")) <= (#tokens("patient2123311")))) & (((1) <= (#tokens("patient212133222")))))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLCardinality-11
  "Automatically generated"
  is:
    A X A ((((#tokens("patient123223123")) <= (#tokens("patient233123332")))) U (((3) <= (#tokens("patient311131213")))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLCardinality-12
  "Automatically generated"
  is:
    ((E F E F ((#tokens("patient32111121")) <= (#tokens("patient211331213")))) & (((((A X ((#tokens("patient23212223")) <= (#tokens("cFactor821331322")))) & (! ! ((#tokens("patient313331232")) <= (#tokens("patient113332233")))))) & (E G ((((#tokens("patient3221112")) <= (#tokens("patient13123231")))) & (((#tokens("patient31131223")) <= (#tokens("patient22333213")))))))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLCardinality-13
  "Automatically generated"
  is:
    A X A G ! ((2) <= (#tokens("patient321313322")))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLCardinality-14
  "Automatically generated"
  is:
    ((((2) <= (#tokens("cFactor6121121")))) | (A ((! ((2) <= (#tokens("patient233221211")))) U (((((2) <= (#tokens("cFactor71213312")))) | (((3) <= (#tokens("patient33331212")))))))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLCardinality-15
  "Automatically generated"
  is:
    A ((E F ((3) <= (#tokens("cFactor833212333")))) U (((#tokens("cFactor822231111")) <= (#tokens("patient131322333")))))
  end.
