  We study the behavior of generalized lc pairs with $\mathrm{\textbf b}$-log
abundant nef part, a meticulously designed structure on algebraic varieties. We
show that this structure is preserved under the canonical bundle formula and
sub-adjunction formulas, and is also compatible with the non-vanishing
conjecture and the abundance conjecture in the classical minimal model program.
