This is how COBOL-to-Java ... inheritance and field lookups. Symbol resolution and type inference form a tightly coupled chain of reasoning, so they must be tackled together. Semantic enrichment ...