No, you're not expected to, and the marking rubric doesn't refer to them.
As the project spec says, you need to declare:
- three sorts of entity
- appropriate relationships and cardinalities
However, if you'd like to include them, you're welcome to.
> Are we expected to include some assertions and checks in our alloy code for part 3? it > seems small enough to not really be able to have non-trivial assertions but i > understand it might be good to demonstrate best practice by having them.