1 digraph All {

     2   mindist = 2.0

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

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

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

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

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

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

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

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

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

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

    13 }