# Relationship history for MSHA mine 0801034

Current hierarchy: **IHI Corporation → IHI Power Services Corporation → Florida Power Development LLC**

- 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

- **operator_operates_mine:** Central Power & Lime Inc → Florida Power Development LLC; 1985-09-01 to 2008-12-29; source msha-controller-operator-history
- **controller_controls_mine:** F Browne Gregg Trust → Florida Power Development LLC; 1985-09-01 to 2003-07-16; source msha-controller-operator-history
- **controller_controls_operator:** F Browne Gregg Trust → Central Power & Lime Inc; 1985-09-01 to 2003-07-16; source msha-controller-operator-history
- **controller_controls_mine:** Delta Power → Florida Power Development LLC; 2003-07-17 to current/open; source msha-controller-operator-history
- **controller_controls_operator:** Delta Power → Central Power & Lime Inc; 2003-07-17 to 2008-12-29; source msha-controller-operator-history
- **operator_operates_mine:** DPS Florida, LLC → Florida Power Development LLC; 2008-12-30 to 2015-02-28; source msha-controller-operator-history
- **controller_controls_mine:** Delta Power → Florida Power Development LLC; 2008-12-30 to current/open; source msha-controller-operator-history
- **controller_controls_operator:** Delta Power → DPS Florida, LLC; 2008-12-30 to 2015-02-28; source msha-controller-operator-history
- **operator_operates_mine:** IHI Power Services Corporation → Florida Power Development LLC; 2015-03-01 to current/open; source msha-controller-operator-history
- **controller_controls_mine:** IHI Corporation → Florida Power Development LLC; 2015-03-01 to current/open; source msha-controller-operator-history
- **controller_controls_operator:** IHI Corporation → IHI Power Services Corporation; 2015-03-01 to current/open; source msha-controller-operator-history