用existentially造句子，“existentially”造句

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

existentially quantified formula