{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "#/components/schemas/EmployeeNumber",
  "title": "Employee number",
  "type": "string",
  "description": "An Employee Number, Employee ID or Employee Code, is a unique number that has been assigned to each individual staff member within a company.",
  "example": "123456-AB",
  "nullable": true
}