@make(article)
@comment[@libraryfile (isllib)]
@style(spacing 1.1)
@modify[description, leftmargin=.25 in, indent=.25 in]
@pageheading(odd, left "@c[PARMENIDES Manual]", right "@c[Page @ref(page)]")
@pageheading(even, left "@c[Page @ref(page)]")
@comment{ center "@c[@title(chapter)]", }
@begin(COMMENT)
To clarify:

Document inverse relations with more examples.

Add set-slot-demons

@end(COMMENT)
@Begin (Titlepage)
@Begin (Titlebox)
@blankspace[1 in]
@MajorHeading (PARMENIDES: A Class-Based Frame System)
@End(Titlebox)
@Heading (Version 1.5)
@Value (date)
@blankspace (1in)
@b "Peter Shell"
@b "Jaime Carbonell"

@copyrightnotice[Carnegie Mellon University]
@End (Titlepage)
