This is a single statement using existential quantification.
这是使用了存在量化的一个单一的称述。