4.3 九句因理论的形式语义学