Problem statement
- With no hierarchy at all, how do we support multiple hierarchies?
- We can:
- Deduce where ranges enclose cleanly (nest) and a hierarchy is supportable
- Likewise, deduce where range types support hierarchical induction
- If no range of type Q overlaps a range of type R ...
- Validate against constraints over enclosure and overlap (CREOLE)
- Hierarchies are implicit in certain views of LMNL documents
- Heuristics can tell us what those views are, specifically and in general