Hybrid_Multi_Lane_Spatial_Logic.Perfect_Sensors