Also known as logical statement, mathematical statement
either a declarative sentence that is true or false, or that which a true or false declarative sentence asserts
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).