type navig parameter queri type qualifi ocl type except intern navig parameter qualifi 