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