1 digraph Choice {

     2   mindist = 2.0

     3   1 -> 3 [label="choice"]

     4   1 -> 3 [label="group"]

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

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

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

     8   1 -> 3 [label="element"]

     9   2 -> 3 [label="choice"]

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

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

    12   2 -> 3 [label="any"]

    13   2 -> 3 [label="element"]

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

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

    16   3 -> 3 [label="sequence"]

    17   3 -> 3 [label="any"]

    18   3 -> 3 [label="element"]

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

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

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

    22 }