param cl start fact generaliz element param accum accumul list descend accumul descend object cl collect accum collect gen model facad special cl gen object gen object ge model facad specif accum contain ge accum add ge accumul descend cl accum 