Trying to define an obvious concept here, does recursion work, can
this be written better?

     A golem can either have a Boss, be Emancipated, or be in Storage.

     If a golem has no owner, or (through circularity of ownership)
     owns itself, it is Emancipated.  Otherwise:
     1. If a golem's owner is a first-class person, that person 
        is the golem's Boss; otherwise,
     2. If the golem's owner is an Emancipated golem or a non-golem,
        then the golem is in Storage; otherwise,
     3. the golem's owner's Boss is the golem's Boss.



Reply via email to