digraph LocalSimpleType {
  mindist = 2.0
  1 -> 3 [label="restriction"]
  1 -> 2 [label="annotation"]
  1 -> 3 [label="list"]
  1 -> 3 [label="union"]
  2 -> 3 [label="restriction"]
  2 -> 3 [label="list"]
  2 -> 3 [label="union"]
  1 [shape=circle, style=filled, color=blue]
  2 [shape=circle, style=filled, color=red]
  3 [shape=doublecircle, style=filled, color=green]
}