The Properties of Subject Reifiers are either "Built-in" or "Conferred"
- Properties can be "conferred" upon reifiers by virtue of rules
defined by Topic Map Applications.
- This mechanism can be used to avoid building-in redundant
built-in values.
- A rule to confer a value can amount to an inferencing rule.
- Inferencing is thus definable in terms of its effects on
subject reifiers. The effects of inferencing appear
declaratively, as property instances. They are there.
Everything known about the subject of a reifier is reflected
by its properties, including what's known by inference.
