Property ViralEpidemic-PT-S03D1C1A08-ReachabilityCardinality-00
  "Automatically generated"
  is:
    E F ! ((! ((2) <= (#tokens("patient221223322")))) | (((((#tokens("dFactor831212222")) <= (#tokens("patient112133")))) & (((2) <= (#tokens("patient111231121")))))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityCardinality-01
  "Automatically generated"
  is:
    E F ((((#tokens("cFactor831222113")) <= (#tokens("patient232112211")))) | (((3) <= (#tokens("dFactor832332323")))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityCardinality-02
  "Automatically generated"
  is:
    A G ((#tokens("patient321232231")) <= (#tokens("patient211232123")))
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityCardinality-03
  "Automatically generated"
  is:
    E F ((((#tokens("patient1132221")) <= (#tokens("patient123233313")))) & (! ! ((2) <= (#tokens("cFactor72231121")))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityCardinality-04
  "Automatically generated"
  is:
    E F ((! ((#tokens("patient333331121")) <= (#tokens("patient133331113")))) & (! ((((2) <= (#tokens("patient122123123")))) | (((#tokens("dFactor823132123")) <= (#tokens("patient233222132")))))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityCardinality-05
  "Automatically generated"
  is:
    E F ((((! ((1) <= (#tokens("patient211313132")))) & (((((2) <= (#tokens("cFactor821111322")))) & (((2) <= (#tokens("patient22221322")))))))) & (((#tokens("patient213112331")) <= (#tokens("cFactor71212211")))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityCardinality-06
  "Automatically generated"
  is:
    A G ((((#tokens("patient311332322")) <= (#tokens("dFactor71212123")))) & (((1) <= (#tokens("cFactor832333111")))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityCardinality-07
  "Automatically generated"
  is:
    A G ((#tokens("patient33333132")) <= (#tokens("patient132123212")))
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityCardinality-08
  "Automatically generated"
  is:
    E F ((2) <= (#tokens("cFactor43312")))
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityCardinality-09
  "Automatically generated"
  is:
    A G ((((((((3) <= (#tokens("patient113312223")))) | (((1) <= (#tokens("patient311211323")))))) & (! ((1) <= (#tokens("patient13331312")))))) | (! ((((#tokens("dFactor833111133")) <= (#tokens("patient333233333")))) | (((3) <= (#tokens("cFactor71313231")))))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityCardinality-10
  "Automatically generated"
  is:
    A G ! ((3) <= (#tokens("dFactor71221121")))
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityCardinality-11
  "Automatically generated"
  is:
    E F ((((((((#tokens("cFactor523313")) <= (#tokens("patient131312233")))) & (((#tokens("cFactor832312133")) <= (#tokens("dFactor821331221")))))) & (! ((2) <= (#tokens("cFactor72132111")))))) & (((((#tokens("patient123333332")) <= (#tokens("cFactor813332133")))) & (! ((1) <= (#tokens("patient213231133")))))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityCardinality-12
  "Automatically generated"
  is:
    E F ((((((((#tokens("dFactor811313313")) <= (#tokens("patient31133233")))) | (((3) <= (#tokens("patient323322333")))))) | (((((#tokens("dFactor832212331")) <= (#tokens("patient232313322")))) & (((#tokens("cFactor523223")) <= (#tokens("patient11223112")))))))) & (((((((#tokens("dFactor821213222")) <= (#tokens("patient221311313")))) | (((#tokens("patient231211223")) <= (#tokens("patient12233113")))))) & (((((#tokens("patient323322313")) <= (#tokens("patient323113132")))) | (((#tokens("dFactor72333321")) <= (#tokens("patient13132222")))))))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityCardinality-13
  "Automatically generated"
  is:
    A G ! ((2) <= (#tokens("cFactor813322331")))
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityCardinality-14
  "Automatically generated"
  is:
    A G ((! ! ((#tokens("cFactor832113222")) <= (#tokens("dFactor73323121")))) | (! ((((#tokens("patient132312231")) <= (#tokens("patient33231233")))) & (((#tokens("patient222131212")) <= (#tokens("dFactor71211131")))))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityCardinality-15
  "Automatically generated"
  is:
    A G ! ! ((((#tokens("dFactor823323223")) <= (#tokens("patient332322331")))) | (((#tokens("patient231331111")) <= (#tokens("cFactor813132233")))))
  end.
