A diagram should be augmented with constraints which must hold between the
concepts and links. Cardinality constraints are included in our formal model, but other constraints provide additional information. For example, one could state that the length of each cosmid sequence is between 10 K and 100 K bases. Although some work has been done on graphical representation of constraints, we have found it best to describe the constraints as text.