| digraph Choice { |
| mindist = 2.0 |
| 1 -> 3 [label="choice"] |
| 1 -> 3 [label="group"] |
| 1 -> 2 [label="annotation"] |
| 1 -> 3 [label="sequence"] |
| 1 -> 3 [label="any"] |
| 1 -> 3 [label="element"] |
| 2 -> 3 [label="choice"] |
| 2 -> 3 [label="group"] |
| 2 -> 3 [label="sequence"] |
| 2 -> 3 [label="any"] |
| 2 -> 3 [label="element"] |
| 3 -> 3 [label="choice"] |
| 3 -> 3 [label="group"] |
| 3 -> 3 [label="sequence"] |
| 3 -> 3 [label="any"] |
| 3 -> 3 [label="element"] |
| 1 [shape=doublecircle, style=filled, color=blue] |
| 2 [shape=doublecircle, style=filled, color=green] |
| 3 [shape=doublecircle, style=filled, color=green] |
| } |