kvantor, mis tähendab, et konkreetses predikaatide klassis on vähemalt ühe objekti puhul predikaat rahuldatud