This is an old revision of the document!
deleteTask(ident id, ident taskId) { assume exists //exams/exam[id]/tasks/task[taskId]; # implies the exam exists, which is implicitly true anyway assume size(//exams/exam[id]/results/participant/result[taskId]) = 0; remove //exams/exam[id]/tasks/task[taskId]; }