digraph graph_15 { node [ shape = "record" ] edge [ color = "red" penwidth = 5 ] node_15_1 [ label = " left| middle| right" ] node_15_2 [ label = " one| two" ] node_15_1:f0 -> node_15_2:f1 [ arrowhead = "obox" ] }