短語(yǔ)詞組短語(yǔ)n -ary predicate variable 元可變謂詞variable predicate circumscription 可變謂詞限定 返回 predicate variable