返回
泛函谓词
无内容