# Relational model
Entities and relations:
Facts / required constraints:
Assertion to investigate:
Scope and time bounds if applicable:
Expected interesting instances:
Analyzer version and actual result:
Counterexample interpretation:
Implementation assumptions:

## Review checklist
- [ ] Is the property tested as an assertion rather than assumed as a fact?
- [ ] Is the search scope explicit?
- [ ] Does the model include the relationship that can violate the property?

Original template: Anuj Sadani, CC BY 4.0
Source guide: https://tech.anujsadani.in/ai-output-field-guide/approaches/alloy/