# Relationship history for MSHA mine 1517388

Current hierarchy: **Hattie F  Johnson → Spud Mining Inc → #1**

- Valid-time bounds: inclusive, date granularity
- Null end: open-ended in the upstream history row; not independent proof of present control
- Transaction-time observation: 2026-10-13T11:19:05.459773+00:00

## Valid-time edges

- **controller_controls_mine:** Florida Progress Corporation → #1; 1989-10-01 to current/open; source msha-controller-operator-history
- **operator_operates_mine:** Kentucky May Coal Company Inc → #1; 1993-04-01 to 1993-06-29; source msha-controller-operator-history
- **controller_controls_operator:** Florida Progress Corporation → Kentucky May Coal Company Inc; 1993-04-01 to 1993-06-29; source msha-controller-operator-history
- **operator_operates_mine:** Spud Mining Inc → #1; 1993-06-30 to current/open; source msha-controller-operator-history
- **controller_controls_mine:** Hattie F  Johnson → #1; 1993-06-30 to current/open; source msha-controller-operator-history
- **controller_controls_operator:** Hattie F  Johnson → Spud Mining Inc; 1993-06-30 to current/open; source msha-controller-operator-history