B.2 命题因子格式和语言命题因子之间的匹配