1 digraph SimpleContentExtension {

     2   mindist = 2.0

     3   1 -> 2 [label="annotation"]

     4   1 -> 4 [label="anyAttribute"]

     5   1 -> 5 [label="assert"]

     6   1 -> 3 [label="attribute"]

     7   1 -> 3 [label="attributeGroup"]

     8   2 -> 4 [label="anyAttribute"]

     9   2 -> 5 [label="assert"]

    10   2 -> 3 [label="attribute"]

    11   2 -> 3 [label="attributeGroup"]

    12   3 -> 4 [label="anyAttribute"]

    13   3 -> 5 [label="assert"]

    14   3 -> 3 [label="attribute"]

    15   3 -> 3 [label="attributeGroup"]

    16   4 -> 5 [label="assert"]

    17   5 -> 5 [label="assert"]

    18   1 [shape=doublecircle, style=filled, color=blue]

    19   2 [shape=doublecircle, style=filled, color=green]

    20   3 [shape=doublecircle, style=filled, color=green]

    21   4 [shape=doublecircle, style=filled, color=green]

    22   5 [shape=doublecircle, style=filled, color=green]

    23 }