Hyperbolic strongly regular event structure labeling conjecture

Let $\mathcal E$ be a strongly regular event structure, and let its domain be hyperbolic. A regular nice labeling is a finite nice labeling satisfying the regularity condition for labeled futures used in the source. Hyperbolic labeling conjecture. Every strongly regular event structure with a hyperbolic domain admits a regular nice labeling. The source states that the result is known for strongly hyperbolic regular event structures and proposes this as a generalization; no resolution is given.