R313 - modelint/flatland-model-diagram-editor GitHub Wiki

R313 / Generalization

Partitioned Box is a Section Box or Data Box

---

A Box resulting from a Partition is either another Compartment Box, which is a Section Box or it is not further partitioned in which case it is a Data Box.