vocabulary SchoolActivities
;
/*
* Value Types */
Activity Name is written as String(32); School Name is written as String; Student Name is written as String;
/*
* Entity Types */
Activity is identified by its Name;
School is identified by its Name;
School Activity is where
School sanctions Activity;
Student is identified by its Name; Student is enrolled in one School;
Student Participation is where
Student represents School in Activity, Student participates in Activity as representative of one School;
/*
* Constraints: */
Student represents School in Activity
only if School sanctions Activity;
Student represents School in Activity
only if Student is enrolled in School;