# Relationship history for MSHA mine 1518587

Current hierarchy: **Progress Energy Inc → Kentucky May Coal Co.,Inc. → Performance**

- 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 → Performance; 2000-11-30 to current/open; source msha-controller-operator-history
- **controller_controls_mine:** Progress Energy Inc → Performance; 2000-11-30 to current/open; source msha-controller-operator-history
- **operator_operates_mine:** Kentucky May Mining → Performance; 2002-11-18 to 2003-09-15; source msha-controller-operator-history
- **controller_controls_operator:** Florida Progress Corporation → Kentucky May Mining; 2002-11-18 to 2003-09-15; source msha-controller-operator-history
- **operator_operates_mine:** Kentucky May Mining → Performance; 2003-09-16 to 2003-11-12; source msha-controller-operator-history
- **controller_controls_operator:** Progress Energy Inc → Kentucky May Mining; 2003-09-16 to 2003-11-12; source msha-controller-operator-history
- **operator_operates_mine:** Kentucky May Coal Co.,Inc. → Performance; 2003-11-13 to current/open; source msha-controller-operator-history
- **controller_controls_operator:** Progress Energy Inc → Kentucky May Coal Co.,Inc.; 2003-11-13 to current/open; source msha-controller-operator-history