It refers to a statement such that first part assures that a certain object exists and is universal since its second part says that the question fulfills a specific property for everything of a specific kind.