module gradebook

sig Submission {}
sig Grade {}
sig Student {}

sig Course {
        roster : set Student,
        work : Student -> Submission,
        gradebook : Student -> Submission -> lone Grade
}

fact refs {
        work in roster -> Submission
        gradebook in work -> Grade
}