As an intermediate step in the development of a defined quantitative model of pattern formation during Drosophila segmentation, we present here a model capable of predicting the experimentally determined levels of gene activity and their phenotypic consequences. In its present form, the model includes only four genes: the three genes of the bithorax complex (Ubx, abd-A and Abd-B) and Antennapedia. It is shown that the model is quite robust, predicting many properties in the behavior of these genes. A previously undescribed property is that all of these genes should phenotypically exhibit some kind of haploinsufficiency when present in only a single dose in the genetic background of the animal. This is shown both by the model and by a new method of quantitatively analyzing the differences in the more obvious cuticular features of the larvae, i.e., the patterns in the ventral denticle belts. The model is also capable of dealing with a complicated genetic situation, a hybrid gene of Ubx and abd-A produced by the C1 deletion.