The node you are looking for is at
Existentially typed predicates and functions
.