object caus given predic param predic object fulfil object object argouml util predic list object list evalu 