This assignment is focussed on user interaction in Gates. Click on the following links for more information about the system.

Multiple tabs for multiple roles. Job is to axiomatize effects of actions and legality of those actions based on role and state.

Suggestion: As mentioned before, you might want to keep a copy of your rules in a file somewhere. That way, when you load up a new starter editor, you can cut and paste them into the Rules box rather than typing them in all over again.