Hay and Maude FRMS&P - Spatial Mapping Layers