Я определил три класса, Department, Student и ProgrammingLanguage, и отдельного человека ComputerScience типа Department. Также были определены два свойства объекта, a-member-of и learn. Домен и диапазон a-member-of равны Student и Department соответственно. Домен и диапазон learn: Student и ProgrammingLanguage. Как я могу определить правило, согласно которому любой ученик a-member-of ComputerScience должен выучить немного ProgrammingLanguage? Я пытался создать ограничение объекта. Но я не мог определить ограничение с ComputerScience, которое является индивидуальным. Что мне делать? Любая помощь будет оценена!