Student(Name) is enrolled in School(Name)
School(Name) sanctions Activity(Name)
Student participates in Activity that is
sanctioned by School.
If some Student partipates in some Activity
which is sanctioned by some School then that
Student is enrolled in that School.
This last fact (a subset constraint) is not
enforced in the generated SQL. It probably
needs a trigger on the participation table
to ensure correct enrollment.