Pragmatic support for taxonomy-based annotation of structured digital documents.