Semantic Verification — Glossary — ThinkLLM