Вы не предоставляете свою метамодель, и ясно, что каждому Сотруднику их personelNumber однозначен и поэтому обязательно уникален. Предположительно, в какой-то области, например, в Компании, personelNumber должен быть уникальным, поэтому ответом часто бывает что-то вроде.
context Company
inv UniquePersonelNumber: employees->isUnique(personelNumber)