Implementation of description-level annotations