谓词变项的英文翻译
中文:谓词变项
英文翻译:【计】 predicate variable