changeAttributes(ident uid, ident id, string lecture, string term) {
  assume exists //accounts/account[uid]/admin || exists //accounts/account[uid]/assistant[id];
 
  assume exists //exercises/exercise[id]; # implicitly true in OO implementations
 
  update //exercises/exercise[id]/lecture lecture;
  update //exercises/exercise[id]/term term;
}