Partial hierarchicalization
Problem: The domain writer may not be certain that the domain is completely hierarchicalized
Solution: Explicitly state which conditions are hierarchicalized
hierarchicalized(C)
- Supports incremental hierarchicalization of the domain as the domain-writer’s experience increases