Пусть имеется следующая диаграмма классов:
Требуется сформулировать ограничение: среди моряков любого корабля имеется не меньше пяти матросов. Какие из приведенных формулировок правильны?
context КОРАБЛЬ inv: self.экипаж → size () ≥ 10
context МОРЯК inv: (self.корабль.экипаж symmetricDifference (self.корабль.капитан UNION self.корабль.мичман)) → size () ≥ 5(Верный ответ)
context КОРАБЛЬ inv: (self.экипаж symmetricDifference (self.капитан UNION self.мичман)) → size () ≥ 5(Верный ответ)