digraph ComplexContentRestriction {
  mindist = 2.0
  1 -> 4 [label="choice"]
  1 -> 4 [label="group"]
  1 -> 4 [label="all"]
  1 -> 2 [label="annotation"]
  1 -> 4 [label="sequence"]
  1 -> 6 [label="anyAttribute"]
  1 -> 7 [label="assert"]
  1 -> 3 [label="openContent"]
  1 -> 5 [label="attribute"]
  1 -> 5 [label="attributeGroup"]
  2 -> 4 [label="choice"]
  2 -> 4 [label="group"]
  2 -> 4 [label="all"]
  2 -> 4 [label="sequence"]
  2 -> 6 [label="anyAttribute"]
  2 -> 7 [label="assert"]
  2 -> 3 [label="openContent"]
  2 -> 5 [label="attribute"]
  2 -> 5 [label="attributeGroup"]
  3 -> 4 [label="choice"]
  3 -> 4 [label="group"]
  3 -> 4 [label="all"]
  3 -> 4 [label="sequence"]
  3 -> 6 [label="anyAttribute"]
  3 -> 7 [label="assert"]
  3 -> 5 [label="attribute"]
  3 -> 5 [label="attributeGroup"]
  4 -> 6 [label="anyAttribute"]
  4 -> 7 [label="assert"]
  4 -> 5 [label="attribute"]
  4 -> 5 [label="attributeGroup"]
  5 -> 6 [label="anyAttribute"]
  5 -> 7 [label="assert"]
  5 -> 5 [label="attribute"]
  5 -> 5 [label="attributeGroup"]
  6 -> 7 [label="assert"]
  7 -> 7 [label="assert"]
  1 [shape=doublecircle, style=filled, color=blue]
  2 [shape=doublecircle, style=filled, color=green]
  3 [shape=doublecircle, style=filled, color=green]
  4 [shape=doublecircle, style=filled, color=green]
  5 [shape=doublecircle, style=filled, color=green]
  6 [shape=doublecircle, style=filled, color=green]
  7 [shape=doublecircle, style=filled, color=green]
}
