existentially quantified formula
The traditional formal semantics holds that all the indefinite noun phrases should be interpreted as existentially quantified phrases.