I want to find all <T>s that start an interval which includes at least
one event

don't you just want T whose next sibling is not a T

No, I wanted: "If the count of <B>s for the interval is zero, the
interval is empty and I'm not interested; else I want it in the output."
But that doesn't seem to have come across clearly. Thanks nonetheless!