Also known as quantor, logical quantification, logical quantifier, quantification
logical operator specifying how many entities in the domain of discourse that satisfy an open formula
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).