A.4 由二价命题生成基本的SO语序