{
* File: E12.sml.txt
* Author: Michael Schrefl, Bernd Neumayr, Manfred Jeusfeld
* Created: 1-Jul-2013/M.Jeusfeld (1-Jul-2013/M.Jeusfeld)
* ------------------------------------------------------
* E12: Specialisation
* from slides DualDeepInstantiation.ppt (M.S.), slide 12
*
}

enrolledIn in ALABEL end

Student in OBJECT with
  linkDR m1: Course
end

Student!m1 with
  sourcelevel s: 1
  targetlevel t: 1
  label l: enrolledIn
end

Course in OBJECT end


GraduateStudent in OBJECT with
  SPEC c1: Student
  linkDR m1: GraduateCourse
end

GraduateStudent!m1 with
  sourcelevel s: 1
  targetlevel t: 1
  label l: enrolledIn
end


GraduateCourse in OBJECT with
  SPEC c1: Course
end