zero-place predicate

零位谓词