constructor cr conflict composit setup head desc add support decis uml decis contain set knowledg type critic kt semant good trigger 