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