digraph G {
  size="25,25";
  ratio=auto;
  node [shape=ellipse,fontsize=11];
  rankdir=LR;r10 [label="terminalG"]; 
r6 [label="_:nontermA"]; 
r5 [label="terminalF"]; 
r1 [label="_:nontermD"]; 
r12 [label="terminalC"]; 
r3 [label="_:nontermE"]; 
r8 [label="terminalB"]; 
r1 -> r3 [label="http://example.com/s#structE"]; 
r3 -> r5 [label="http://example.com/s#edgeF"]; 
r6 -> r8 [label="http://example.com/s#edgeB"]; 
r3 -> r10 [label="http://example.com/s#edgeG"]; 
r6 -> r12 [label="http://example.com/s#edgeC"]; 
r6 -> r1 [label="http://example.com/s#edgeD"]; 


}