6.2 形式语义学分类