6.2.1　Axiom System of Hybrid BATC with Localities