二阶谓词

second-order predicate