They can be formulated in implicational universals, which describes a restriction on possible language types that limits linguistic variation.

• 关联标记模式与蕴涵共性具有内在联系,跨语言的标记模式一般可以用蕴含共性来表示,能对人类语言类型的变异范围做出限制。