Property ViralEpidemic-PT-S04D1C1A06-00
  "Automatically generated"
  is:
    A (!(((#tokens("patient121313")) <= (#tokens("dFactor6423332"))) | ((1) <= (#tokens("cFactor6241232")))) | G ((1) <= (#tokens("cFactor6241232"))) | (((#tokens("patient121313")) <= (#tokens("dFactor6423332"))) & F ((0) <= (#tokens("dFactor6223314")))))
  end.
Property ViralEpidemic-PT-S04D1C1A06-01
  "Automatically generated"
  is:
    A F G X (((1) <= (#tokens("patient4311212"))) & F !((1) <= (#tokens("patient3123243"))))
  end.
Property ViralEpidemic-PT-S04D1C1A06-02
  "Automatically generated"
  is:
    A (G ((3) <= (#tokens("patient441142"))) U (((3) <= (#tokens("patient441142"))) & (X X X ((1) <= (#tokens("patient3242343"))) | !G ((#tokens("dFactor6134442")) <= (#tokens("patient3141234"))))))
  end.
Property ViralEpidemic-PT-S04D1C1A06-03
  "Automatically generated"
  is:
    A !X (X ((0) <= (#tokens("patient4433122"))) & (G ((#tokens("cFactor6212212")) <= (#tokens("patient2142133"))) U (G ((1) <= (#tokens("patient1143224"))) | (((0) <= (#tokens("patient4433122"))) & X ((0) <= (#tokens("patient4433122")))))))
  end.
Property ViralEpidemic-PT-S04D1C1A06-04
  "Automatically generated"
  is:
    A (G ((1) <= (#tokens("patient311322"))) | (F ((#tokens("patient443232")) <= (#tokens("cFactor6441323"))) U F ((#tokens("patient2344312")) <= (#tokens("patient23133")))))
  end.
Property ViralEpidemic-PT-S04D1C1A06-05
  "Automatically generated"
  is:
    A (X G ((3) <= (#tokens("dFactor6432343"))) U G F (((2) <= (#tokens("patient4312241"))) | G ((#tokens("patient414322")) <= (#tokens("dFactor6113314")))))
  end.
Property ViralEpidemic-PT-S04D1C1A06-06
  "Automatically generated"
  is:
    A !(!G (((#tokens("patient3423413")) <= (#tokens("patient3234312"))) | !(!((1) <= (#tokens("patient2233431"))) & ((0) <= (#tokens("patient2324434"))))) | X ((#tokens("dFactor6431242")) <= (#tokens("patient3111212"))))
  end.
Property ViralEpidemic-PT-S04D1C1A06-07
  "Automatically generated"
  is:
    A (!((#tokens("patient4343234")) <= (#tokens("cFactor6114111"))) | F G X ((3) <= (#tokens("cFactor532214"))))
  end.
Property ViralEpidemic-PT-S04D1C1A06-08
  "Automatically generated"
  is:
    A G !X X ((#tokens("patient4242421")) <= (#tokens("dFactor6423341")))
  end.
Property ViralEpidemic-PT-S04D1C1A06-09
  "Automatically generated"
  is:
    A F X (F ((#tokens("cFactor542331")) <= (#tokens("dFactor6211432"))) | (!((#tokens("cFactor6413433")) <= (#tokens("patient1332331"))) & G ((#tokens("cFactor6413433")) <= (#tokens("patient1332331")))))
  end.
Property ViralEpidemic-PT-S04D1C1A06-10
  "Automatically generated"
  is:
    A ((((#tokens("patient2233223")) <= (#tokens("patient323212"))) U X F !((#tokens("cFactor6314412")) <= (#tokens("patient3331112")))) | G (((#tokens("dFactor6134412")) <= (#tokens("patient2143323"))) & ((#tokens("cFactor6314412")) <= (#tokens("patient3331112")))) | F G ((0) <= (#tokens("patient1313144"))))
  end.
Property ViralEpidemic-PT-S04D1C1A06-11
  "Automatically generated"
  is:
    A ((((0) <= (#tokens("patient4243243"))) | G (G ((#tokens("patient4311441")) <= (#tokens("patient1424431"))) & (((#tokens("patient4311441")) <= (#tokens("patient1424431"))) | G ((#tokens("patient4311441")) <= (#tokens("patient1424431")))))) U F ((1) <= (#tokens("patient2112444"))))
  end.
Property ViralEpidemic-PT-S04D1C1A06-12
  "Automatically generated"
  is:
    A F (X X F X X !G !((#tokens("cFactor6342421")) <= (#tokens("cFactor6212423"))) | (((#tokens("patient2142222")) <= (#tokens("patient2122211"))) & F ((#tokens("patient4441344")) <= (#tokens("patient2443213")))))
  end.
Property ViralEpidemic-PT-S04D1C1A06-13
  "Automatically generated"
  is:
    A G ((1) <= (#tokens("patient2331423")))
  end.
Property ViralEpidemic-PT-S04D1C1A06-14
  "Automatically generated"
  is:
    A !G (((#tokens("patient41313")) <= (#tokens("patient2314231"))) & F !((1) <= (#tokens("dFactor6231314"))))
  end.
Property ViralEpidemic-PT-S04D1C1A06-15
  "Automatically generated"
  is:
    A !((X G X ((0) <= (#tokens("dFactor6411413"))) U (X ((1) <= (#tokens("patient1124211"))) & X G ((#tokens("cFactor543344")) <= (#tokens("patient1231"))))) U ((2) <= (#tokens("dFactor522424"))))
  end.
