Grammar Engineering Frequently Asked Questions

How do I see what definition the LKB has read in for a type?

In one of the following ways:

From the LKB Top menu, select "View > Type definition..." and enter the type's identifier (the part before := in the .tdl file in which it is defined). The LKB will display the information given directly in the type definition, and none of the inherited constraints.
From the LKB Top menu, select "View > Expanded type..." and enter the type's identifier. The LKB will display all of the constraints associated with the type, including those inherited from supertypes.
From a window displaying a feature-structure, click on any type name (in bold). The pop-up menu will have "Type definition" and "Expanded type" as options.
From a window displaying a type hierarchy, click on any type name (in red). The pop-up menu will have "Type definition" and "Expanded type" as options.