digraph G {
  graph [
    style = "",
    bb = "0,412,0,412"
  ];

  node [
    style = ""
  ];

  edge [
    style = ""
  ];

  A [
    shape = square,
    label = "< MS : MS.Discount <- Alice >",
    width = "3.11",
    pos = "228,386"
  ];
  G [
    shape = square,
    label = "< A : MedSup <- MedSup >",
    width = "2.89",
    pos = "118,26"
  ];
  F [
    shape = square,
    label = "< A : RN.member <- MedSup >",
    width = "3.28",
    pos = "118,98"
  ];
  E [
    shape = square,
    label = "< A : MF.cPartner <- MedSup >",
    width = "3.25",
    pos = "118,170"
  ];
  D [
    shape = square,
    label = "< MS : Alice <- Alice >",
    width = "2.39",
    pos = "339,170"
  ];
  C [
    shape = square,
    label = "< MS : MF.purchasingA <- Alice >",
    width = "3.53",
    pos = "228,242"
  ];
  B [
    shape = square,
    label = "< MS : RN.provisioner <- Alice >",
    width = "3.36",
    pos = "228,314"
  ];
  B -> C [
    dir = back,
    pos = "s,228,296 228,286 228,277 228,268 228,260"
  ];
  E -> F [
    dir = back,
    pos = "s,118,152 118,142 118,133 118,124 118,116"
  ];
  A -> B [
    dir = back,
    pos = "s,228,368 228,358 228,349 228,340 228,332"
  ];
  C -> E [
    dir = back,
    pos = "s,200,224 192,219 177,209 159,197 145,188"
  ];
  C -> D [
    dir = back,
    pos = "s,256,224 264,219 280,209 297,197 311,188"
  ];
  F -> G [
    dir = back,
    pos = "s,118,80 118,70 118,61 118,52 118,44"
  ];
}