constructor cr realiz setup head desc add support decis uml decis inherit set knowledg type critic kt semant critic kt present add trigger gener add trigger realiz 