1. Infer Categorization
Rules appear to often handle this well.
2. Infer Subsumptions
Rules appear to often be more awkward.
3. Configuration:  seems to involve both categorization and
subsumption.