5.2.3　Structured Operational Semantics of Hybrid BATC