5.2.1　Axiom System of Hybrid BATC