Relational logic rules — Glossary — ThinkLLM