module gradebook2

sig Submission {}
sig Grade {}
sig RosterStudent {
        work : set Submission,
        gradebook : Submission -> lone Grade
}

fact tables {
        -- there is no Grade table
        Grade in Submission.(RosterStudent.gradebook)
}

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