Model Creation Step 1

Identify abstractions you want to have in your Alloy model and declare them as
signatures, denoted with the sig keyword. 

a. Determine which signatures should be declared as abstract sig, and explain why.