Пусть имеется следующая диаграмма классов:
Задано следующее ограничение целостности на языке OCL:
context СЛУЖАЩИЙ inv:self → COLLECT (проект) → COLLECT (менеджер) SELECT (self.номер = номер) → size () = 0
Какая из следующих формулировок этого ограничения на русском языке является правильной?