A simple example of lifted attribute usage in annotations.