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