# Relationship history for MSHA mine 1517517

Current hierarchy: **Progress Energy Inc → Kentucky May Mining Inc → Longfork #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 → Longfork #1; 1989-10-01 to current/open; source msha-controller-operator-history
- **controller_controls_mine:** Hattie F  Johnson → Longfork #1; 1993-06-30 to current/open; source msha-controller-operator-history
- **controller_controls_mine:** Steve  Findley et al → Longfork #1; 1993-07-14 to current/open; source msha-controller-operator-history
- **operator_operates_mine:** Kentucky May Coal Company Inc → Longfork #1; 1994-03-01 to 1994-06-07; source msha-controller-operator-history
- **controller_controls_operator:** Florida Progress Corporation → Kentucky May Coal Company Inc; 1994-03-01 to 1994-06-07; source msha-controller-operator-history
- **operator_operates_mine:** Daves Branch Coal Company Inc → Longfork #1; 1994-06-08 to 1999-01-06; source msha-controller-operator-history
- **controller_controls_mine:** Larry  Yonts → Longfork #1; 1994-06-08 to 1999-01-06; source msha-controller-operator-history
- **controller_controls_operator:** Larry  Yonts → Daves Branch Coal Company Inc; 1994-06-08 to 1999-01-06; source msha-controller-operator-history
- **controller_controls_mine:** Don  Robertson → Longfork #1; 1998-01-19 to current/open; source msha-controller-operator-history
- **operator_operates_mine:** 3-D Mining Inc → Longfork #1; 1999-01-07 to 1999-01-20; source msha-controller-operator-history
- **controller_controls_operator:** Don  Robertson → 3-D Mining Inc; 1999-01-07 to 1999-01-20; source msha-controller-operator-history
- **operator_operates_mine:** Spud Mining Inc → Longfork #1; 1999-01-21 to 1999-05-05; source msha-controller-operator-history
- **controller_controls_operator:** Hattie F  Johnson → Spud Mining Inc; 1999-01-21 to 1999-05-05; source msha-controller-operator-history
- **operator_operates_mine:** Fleetwood Energy Inc → Longfork #1; 1999-05-06 to 2000-06-19; source msha-controller-operator-history
- **controller_controls_operator:** Steve  Findley et al → Fleetwood Energy Inc; 1999-05-06 to 2000-06-19; source msha-controller-operator-history
- **operator_operates_mine:** Kentucky May Mining → Longfork #1; 2000-06-20 to 2000-10-04; source msha-controller-operator-history
- **operator_operates_mine:** Westenn Inc → Longfork #1; 2000-10-05 to 2001-09-05; source msha-controller-operator-history
- **controller_controls_mine:** Don  Robertson → Longfork #1; 2000-10-05 to current/open; source msha-controller-operator-history
- **controller_controls_operator:** Don  Robertson → Westenn Inc; 2000-10-05 to 2001-09-05; source msha-controller-operator-history
- **controller_controls_mine:** Florida Progress Corporation → Longfork #1; 2000-11-30 to current/open; source msha-controller-operator-history
- **controller_controls_operator:** Florida Progress Corporation → Kentucky May Mining; 2000-11-30 to 2000-10-04; source msha-controller-operator-history
- **controller_controls_mine:** Progress Energy Inc → Longfork #1; 2000-11-30 to current/open; source msha-controller-operator-history
- **operator_operates_mine:** Kentucky May Mining Inc → Longfork #1; 2001-09-06 to current/open; source msha-controller-operator-history
- **controller_controls_operator:** Progress Energy Inc → Kentucky May Mining Inc; 2001-09-06 to current/open; source msha-controller-operator-history