signatureStipulation
P163972
predicate
Indicates that a condition, requirement, or constraint is formally specified as part of a function, method, or contract signature.