4.1.1　Axiom System of BATC with Static Localities