theorem
  adjs set-type = {} & the_base_of set-type = (@set-constr) term;
