Naming

As we can already see in our little example, categories can become quite complex. For instance, we can now evaluate the expression:

Car which hasOwner
  ((Person which hasAge old)
     which hasSex male).

The concept of a car which is driven by an old man. In a more complex model, these expressions could quite easily become unwieldy and difficult to interpret. To help with this, GRAIL allows the naming or aliasing of categories. For example:

((Person which hasSex male) which hasAge young)
  name Boy.

((Person which hasSex female) which hasAge old)
  name Woman.

Now, we can simply use the names Boy, Woman, to represent, and to access the complex categories to which they refer.

To practice, add names for the concepts Man and Girl.

Now browse the category Woman, note that nothing has changed: