param predic object fulfil object listset fulfil predic contain argouml util predic 