Hybrid_Multi_Lane_Spatial_Logic.Regular_Sensors