specification based on the inheritance of the full map and