KM components upperOnto+PAL_subsystems