digraph G {
node [label="E" color=black] E1;
node [label="E" color=black] E2;
node [label="-" color=red] m1;
node [label="T" color=black] T1;
E1->{E2 m1 T1};
node [label="E" color=black] E3;
node [label="-" color=red] m2;
node [label="T" color=black] T2;
E2->{E3 m2 T2};
node [label="T" color=black] T3;
E3->T3
node [label="F" color=black] F1;
node [label="id" color=red] id1;
T3->F1
F1->id1
node [label="F" color=black] F2;
node [label="id" color=red] id2;
T2->F2
F2->id2
node [label="F" color=black] F3;
node [label="id" color=red] id3;
T1->F3
F3->id3
}