短语词组短語second order predicate calculus 第二堦述詞縯算second -order predicate calculus [數]二堦謂詞縯算;繙譯 返回 second predicate calculus