Complex sentence: This model satisfies all the axioms of NBG except for the power set axiom, which fails because all sets are countable.
Split into simpler sentences: This model satisfies all the axioms of NBG except for the power set axiom. This axiom fails because all sets are countable.