4.1.2　Properties of BATC with Static Localities