digraph SimpleContentRestriction {
  mindist = 2.0
  1 -> 3 [label="simpleType"]
  1 -> 2 [label="annotation"]
  1 -> 4 [label="length"]
  1 -> 6 [label="anyAttribute"]
  1 -> 4 [label="maxExclusive"]
  1 -> 4 [label="totalDigits"]
  1 -> 4 [label="maxInclusive"]
  1 -> 4 [label="maxLength"]
  1 -> 7 [label="assert"]
  1 -> 4 [label="assertion"]
  1 -> 5 [label="attribute"]
  1 -> 4 [label="minExclusive"]
  1 -> 5 [label="attributeGroup"]
  1 -> 4 [label="minInclusive"]
  1 -> 4 [label="minLength"]
  1 -> 4 [label="whiteSpace"]
  1 -> 4 [label="pattern"]
  1 -> 4 [label="enumeration"]
  1 -> 4 [label="fractionDigits"]
  2 -> 3 [label="simpleType"]
  2 -> 4 [label="length"]
  2 -> 6 [label="anyAttribute"]
  2 -> 4 [label="maxExclusive"]
  2 -> 4 [label="totalDigits"]
  2 -> 4 [label="maxInclusive"]
  2 -> 4 [label="maxLength"]
  2 -> 7 [label="assert"]
  2 -> 4 [label="assertion"]
  2 -> 5 [label="attribute"]
  2 -> 4 [label="minExclusive"]
  2 -> 5 [label="attributeGroup"]
  2 -> 4 [label="minInclusive"]
  2 -> 4 [label="minLength"]
  2 -> 4 [label="whiteSpace"]
  2 -> 4 [label="pattern"]
  2 -> 4 [label="enumeration"]
  2 -> 4 [label="fractionDigits"]
  3 -> 4 [label="fractionDigits"]
  3 -> 4 [label="minLength"]
  3 -> 4 [label="whiteSpace"]
  3 -> 6 [label="anyAttribute"]
  3 -> 4 [label="length"]
  3 -> 7 [label="assert"]
  3 -> 4 [label="maxExclusive"]
  3 -> 4 [label="enumeration"]
  3 -> 4 [label="assertion"]
  3 -> 4 [label="maxInclusive"]
  3 -> 5 [label="attribute"]
  3 -> 4 [label="maxLength"]
  3 -> 4 [label="pattern"]
  3 -> 4 [label="totalDigits"]
  3 -> 5 [label="attributeGroup"]
  3 -> 4 [label="minExclusive"]
  3 -> 4 [label="minInclusive"]
  4 -> 4 [label="fractionDigits"]
  4 -> 4 [label="minLength"]
  4 -> 4 [label="whiteSpace"]
  4 -> 6 [label="anyAttribute"]
  4 -> 4 [label="length"]
  4 -> 7 [label="assert"]
  4 -> 4 [label="maxExclusive"]
  4 -> 4 [label="enumeration"]
  4 -> 4 [label="assertion"]
  4 -> 4 [label="maxInclusive"]
  4 -> 5 [label="attribute"]
  4 -> 4 [label="maxLength"]
  4 -> 4 [label="pattern"]
  4 -> 4 [label="totalDigits"]
  4 -> 5 [label="attributeGroup"]
  4 -> 4 [label="minExclusive"]
  4 -> 4 [label="minInclusive"]
  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]
}
