The B-Semiampleness Conjecture of Prokhorov and Shokurov predicts that the
moduli part in a canonical bundle formula is semiample on a birational
modification. We prove that the restriction of the moduli part to any
sufficiently high divisorial valuation is semiample, assuming the conjecture in
lower dimensions.