Skeletons and the selected triangle

A contraction graph is a finite loopless multigraph. Its vertices are insertion symbols, its edges are cross-contractions, and no field slot is used twice. Decorations specify the field species, indices, and derivatives.