Sounds like these are the names to use for "human graders".  I would suggest using GRADER_DISPLAY_NAMES or something similar.