Also known as categorical statement
proposition that asserts or denies that all or some of the members of one category are included in another
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).