Distinguishing polysemy from contextual variation in terminological definitions