result {
  root_default: initial;
  root_implicit: inner;
  root_explicit: inner;
  local_explicit: inner; }