In order to access the value of a slot, the mapping interpreter included with PROMPT has a special syntax: a slot is referred to by *<Frame:slot>* where Frame is the name of the frame and slot is the name of the slot.    (7T2)

NOTE: colon separated    (7T3)

The frame is optional; if it is omitted, it defaults to the current frame in context.    (7T4)

Example:    (7T5)

C to F: functional mapping    (7T6)

*<Person:temp>* * (9/5) + 32    (7T7)

This also works for object properties (also known as links). Example:    (7T8)

*<Person:drives.model>*    (7T9)

Here, drives is an object property with the domain Person, and the range Car. model is a data type property of Car. The thing to notice is that everything except for the first frame is separated by dots. The first field is the frame and establishes context; following fields are all with respect to the initial context.    (7TA)