Each APPOINTMENT SLOT
| K | must be within one and only one SESSION |
| may be filled by one or more APPOINTMENT | |
| may be allocated one or more APPOINTMENT OFFER |
Classes
| K | must be within one and only one SESSION |
| may be filled by one or more APPOINTMENT | |
| may be allocated one or more APPOINTMENT OFFER |