Module
type: Class
subclass of: Restriction
  max cardinality: 2
  on property: hasAssistant
subclass of: Thing
subclass of: Restriction
  all values from: AcademicStaff
  on property: isTaughtBy
subclass of: Restriction
  on property: isTaughtBy
  cardinality: 1

UndergraduateStudent
type: Class
disjoint with: GraduateStudent
subclass of: Restriction
  on property: takes
  cardinality: 2
subclass of: Student