谓词变元

  • 网络predicate variable
谓词变元谓词变元