di KOhA1 cmavo

logically quantified existential pro-sumti: there exists something 3 (usually restricted).