Graphing along #$genls

Let's start by examining the subset/superset relations in a well-known hierarchy, the taxonomy of animal species.

On the Hierarchy Browser page, there are three major type-in fields, each with a "Complete" button:


Starting Term:
Binary Predicate:

Fill in the fields with these values:


Starting Term: Reptile
Microtheory: ALL
Binary Predicate: genls

Below the Starting Term type-in field there is a button labeled "Use default settings for term". Turn this off. With this on only the "Starting Term" field is examined, the binaryPredicate is selected according to the term selected, and the rest of the parameters (tree height and depth, the use of all contexts, index argument, and no extra options) will all be set to default values no matter what settings are made.

Below the Microtheory type-in field, there are buttons for selecting genlsMts or all Mts. Have both buttons turned off. Below the Binary Predicate type-in field, there are a pair of buttons which let you select either "1" or "2" for "Index Argument". Select "2".

Below this, there are a pair of buttons which let you select the height and depth of the tree. Select "NONE" for "Max height:" and "4" for "Max depth".

The "Max inferior terms:" field should be at least 50. The default of 200 is fine.

These settings specify a graph of constants which starts with the collection #$Reptile and where branches of the tree indicate successive subsets. Subsets will be nested up to 4 deep. If the total number of subsets is greater than the "Max inferior terms:" setting, a lower nesting factor for subsets will be used.

A help page specifying all the possible parameter settings in extensive detail can be obtained by clicking on the Hierarchy Browser settings page. Click the "Display Hierarchy" button and the Hierarcy Browser will display the resulting graph.