Property ViralEpidemic-PT-S04D1C1A06-ReachabilityCardinality-00
  "Automatically generated"
  is:
    E F ((#tokens("dFactor6223222")) <= (#tokens("patient4232214")))
  end.
Property ViralEpidemic-PT-S04D1C1A06-ReachabilityCardinality-01
  "Automatically generated"
  is:
    A G ! ! ((((#tokens("patient332143")) <= (#tokens("dFactor514224")))) | (((#tokens("patient2134242")) <= (#tokens("patient3332213")))))
  end.
Property ViralEpidemic-PT-S04D1C1A06-ReachabilityCardinality-02
  "Automatically generated"
  is:
    A G ((((((#tokens("patient424414")) <= (#tokens("patient344111")))) | (! ((1) <= (#tokens("patient2112332")))))) | (((2) <= (#tokens("dFactor6331132")))))
  end.
Property ViralEpidemic-PT-S04D1C1A06-ReachabilityCardinality-03
  "Automatically generated"
  is:
    E F ((#tokens("cFactor6311442")) <= (#tokens("patient441322")))
  end.
Property ViralEpidemic-PT-S04D1C1A06-ReachabilityCardinality-04
  "Automatically generated"
  is:
    E F ((2) <= (#tokens("patient142424")))
  end.
Property ViralEpidemic-PT-S04D1C1A06-ReachabilityCardinality-05
  "Automatically generated"
  is:
    A G ! ((2) <= (#tokens("cFactor6132221")))
  end.
Property ViralEpidemic-PT-S04D1C1A06-ReachabilityCardinality-06
  "Automatically generated"
  is:
    E F ((#tokens("dFactor6413124")) <= (#tokens("patient3112244")))
  end.
Property ViralEpidemic-PT-S04D1C1A06-ReachabilityCardinality-07
  "Automatically generated"
  is:
    A G ((((((((#tokens("patient4124134")) <= (#tokens("patient3232321")))) | (((#tokens("patient2134112")) <= (#tokens("patient2421212")))))) | (((((#tokens("patient3312421")) <= (#tokens("cFactor6241131")))) | (((#tokens("patient3341141")) <= (#tokens("cFactor6113242")))))))) | (((! ((3) <= (#tokens("patient4142244")))) & (((((#tokens("patient113142")) <= (#tokens("dFactor44141")))) & (((2) <= (#tokens("patient3244131")))))))))
  end.
Property ViralEpidemic-PT-S04D1C1A06-ReachabilityCardinality-08
  "Automatically generated"
  is:
    A G ((#tokens("patient3243243")) <= (#tokens("dFactor6243413")))
  end.
Property ViralEpidemic-PT-S04D1C1A06-ReachabilityCardinality-09
  "Automatically generated"
  is:
    A G ((((((((#tokens("dFactor533122")) <= (#tokens("patient4133434")))) | (((3) <= (#tokens("cFactor6114124")))))) & (((((3) <= (#tokens("patient2332444")))) & (((#tokens("patient143443")) <= (#tokens("patient4133121")))))))) | (! ((1) <= (#tokens("patient4213141")))))
  end.
Property ViralEpidemic-PT-S04D1C1A06-ReachabilityCardinality-10
  "Automatically generated"
  is:
    E F ((! ((#tokens("patient1244411")) <= (#tokens("cFactor6221321")))) & (((((((#tokens("patient4342231")) <= (#tokens("patient1124424")))) | (((#tokens("cFactor6121142")) <= (#tokens("cFactor542141")))))) & (((((1) <= (#tokens("dFactor44443")))) & (((1) <= (#tokens("cFactor41233")))))))))
  end.
Property ViralEpidemic-PT-S04D1C1A06-ReachabilityCardinality-11
  "Automatically generated"
  is:
    E F ((((#tokens("dFactor6124313")) <= (#tokens("patient3223211")))) & (! ((((2) <= (#tokens("patient3434433")))) | (((#tokens("cFactor6213144")) <= (#tokens("dFactor6431134")))))))
  end.
Property ViralEpidemic-PT-S04D1C1A06-ReachabilityCardinality-12
  "Automatically generated"
  is:
    E F ! ((! ((1) <= (#tokens("patient4234214")))) | (((((#tokens("patient4434234")) <= (#tokens("cFactor6114214")))) & (((#tokens("patient3412412")) <= (#tokens("dFactor6342233")))))))
  end.
Property ViralEpidemic-PT-S04D1C1A06-ReachabilityCardinality-13
  "Automatically generated"
  is:
    E F ((! ! ((2) <= (#tokens("patient2113111")))) & (((! ((#tokens("dFactor6311412")) <= (#tokens("cFactor6113243")))) & (((((3) <= (#tokens("patient3132223")))) | (((#tokens("cFactor6141131")) <= (#tokens("cFactor531341")))))))))
  end.
Property ViralEpidemic-PT-S04D1C1A06-ReachabilityCardinality-14
  "Automatically generated"
  is:
    A G ! ((3) <= (#tokens("patient3111134")))
  end.
Property ViralEpidemic-PT-S04D1C1A06-ReachabilityCardinality-15
  "Automatically generated"
  is:
    E F ! ((((((#tokens("patient1133332")) <= (#tokens("patient2333111")))) | (((1) <= (#tokens("patient3312314")))))) | (((#tokens("patient3332134")) <= (#tokens("patient424332")))))
  end.
