Page Numbers: Yes First Page: 1
Heading:

April 18, 1979 6:47 PM[Ivy]<krl>document>str-basic-unit

Unit types in KRL

individual/ PAR, etc.

find model orthogonal perspectives paper

see examples>hendrix

Template and Instance Descriptors

Rather than marking individual descriptors, the entire slot is labelled. An ordinary slot name always means Template. An instance slot name is marked by putting /Instance between the slot name and the colon. If there are both, the slot must be repeated, as in:

# Lafayette
self: A Submarine with owner = US
self/Instance: A Class with classLength = 100

Meta-descriptions are always Instance. Quoted descriptions inherit from the place in which they are embedded. Top level arguments to describe, match, etc. are always Instance unless the function name is extended, e.g. Describe/Template.