Deep nesting of Property symbols in structure compartments and composite structure diagrams is permitted in some UML tools, and formally supported in SysML Internal Block Diagrams.