 Reading the epsilon operator as an indefinite choice operator (“an \(x\) such that \(A(x)\)”) suggests that it might be a useful tool in the analysis of indefinite and definite noun phrases in formal semantics. The epsilon notation has in fact been so used, and this application has proved useful in particular in dealing with anaphoric reference.