Also known as assertion statement
in computer programming, statement that a predicate is always true at that point in code execution
via Wikidata · CC0
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).