二 语义学的规范性及其计算化处理