[Note: In this section my notation and terminology may not be the same as your favourite textbooks, though the underlying ideas should be the same! Try to stick with my notation, but don't view it as THE correct one. Terms like ``instance'' ``subclass'' and the particular representation of frames (e.g., use of ``*'') will vary across different texts.]