An lc-trivial fibration $f : (X, B) \to Y$ is a fibration such that the log-canonical divisor of the pair $(X, B)$ is trivial along the fibres of $f$. As in the case of the canonical bundle formula for elliptic fibrations, the log-canonical divisor can be written as the sum of the pullback of three divisors: the canonical divisor of $Y$; a divisor, called discriminant, which contains informations on the singular fibres; a divisor, called moduli part, that contains informations on the variation in moduli of the fibres. The moduli part is conjectured to be semiample. Ambro proved the conjecture when the base $Y$ is a curve. In this talk we will explain how to prove that the restriction of the moduli part to a hypersurface is semiample assuming the conjecture in lower dimension.