This is an old revision of the document!
changeAttributes(ident id, string lecture, string term) {
  assume exists //exercise/exercise[id]; # implicitly true in OO implementations
 
  update //exercise/exercise[id]/lecture lecture;
  update //exercise/exercise[id]/term term;
} # roles: admin, assistant[id]