Editing a Definition

To add a new definition, click on the green sphere icon for any other definition. The new definition will be created as a child definition for the currently selected definition. To edit an existing definition, select it, and click on the red pencil icon. Doing so will show a form such as this:

The Definition Name should follow the rules outlined above.