The stratification of New Foundations generalizes readily to languages with more predicates and with term constructions.

• 新基础的层化推广到了带有更多谓词和带有项构造的语言。