Complex sentence: This model can be expanded into a model of NBG with the axiom of replacement replaced by the axiom of specification: let the classes of the expanded model be the sets of L ω ω +1.
Split into simpler sentences: This model can be expanded into a model of NBG with the axiom of replacement replaced by the axiom of specification. Let the classes of the expanded model be the sets of L ω ω +1.