# Relationship history for MSHA mine 0800931

Current hierarchy: **Titan Cement International S A → Titan Florida LLC → PENNSUCO QUARRY**

- 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:** Lone Star Florida Inc → PENNSUCO QUARRY; 1979-01-01 to 1984-12-27; source msha-controller-operator-history
- **controller_controls_mine:** Lone Star Industries Inc → PENNSUCO QUARRY; 1979-01-01 to 1984-12-27; source msha-controller-operator-history
- **controller_controls_operator:** Lone Star Industries Inc → Lone Star Florida Inc; 1979-01-01 to 1984-12-27; source msha-controller-operator-history
- **operator_operates_mine:** Tarmac America Inc → PENNSUCO QUARRY; 1984-12-28 to 2000-10-02; source msha-controller-operator-history
- **controller_controls_mine:** Tarmac Plc → PENNSUCO QUARRY; 1984-12-28 to 2000-10-02; source msha-controller-operator-history
- **controller_controls_operator:** Tarmac Plc → Tarmac America Inc; 1984-12-28 to 2000-10-02; source msha-controller-operator-history
- **operator_operates_mine:** Tarmac Florida Inc → PENNSUCO QUARRY; 2000-10-03 to 2003-07-13; source msha-controller-operator-history
- **controller_controls_mine:** Titan Cement International S A → PENNSUCO QUARRY; 2000-10-03 to current/open; source msha-controller-operator-history
- **controller_controls_operator:** Titan Cement International S A → Tarmac Florida Inc; 2000-10-03 to 2003-07-13; source msha-controller-operator-history
- **operator_operates_mine:** Titan Florida LLC → PENNSUCO QUARRY; 2003-07-14 to current/open; source msha-controller-operator-history
- **controller_controls_mine:** Titan Cement International S A → PENNSUCO QUARRY; 2003-07-14 to current/open; source msha-controller-operator-history
- **controller_controls_operator:** Titan Cement International S A → Titan Florida LLC; 2003-07-14 to current/open; source msha-controller-operator-history