Help me apply Alloy to the material below.
Reader and existing knowledge: [describe]
Task and desired outcome: [describe]
Use these principles: Define entities and relations precisely.; Separate facts that constrain every instance from assertions you want to check.; State the analysis scope and inspect any counterexample..
Preserve source facts, identifiers, quantities, conditions, exceptions, and uncertainty.
Separate supplied facts from assumptions. Ask for missing information instead of inventing it.
Explain your representation choices and provide a review checklist. Do not claim formal compliance or correctness from formatting alone.
Material: [paste only information you are permitted to share]