``` section_1 <= nrel_section_decomposition: { section_1_1 (* => nrel_section_base_order: section_1_2;; *); section_1_2 };; ```