abstract mapl