Hybrid_Multi_Lane_Spatial_Logic.Restriction