spr03u(cs2213,  '001', 1900-mw,  maltrud).
spr03u(cs2213,  '002', 0930-tr,  maltrud).
spr03u(cs2413,  '001', 1000-mwf, maynard).
spr03u(cs2513,  '001', 1200-mwf, key).
spr03u(cs2733,  '001', 1300-mwf, wagner).
spr03u(cs3233,  '001', 1230-tr,  tian).
spr03u(cs3343,  '001', 1530-tr,  kwek).
spr03u(cs3723,  '001', 1200-mwf, wagner).
spr03u(cs3733,  '001', 1230-tr,  srobbins).
spr03u(cs3743,  '001', 1900-tr,  staff).
spr03u(cs3773,  '001', 1730-tr,  lo).
spr03u(cs4313,  '001', 1400-mw,  bylander).
spr03u(cs4363,  '001', 1000-mwf, wagner).
spr03u(cs4383,  '001', 1300-mwf, maynard).
spr03u(cs4753,  '001', 1730-mw,  yum).
spr03u(cs4913,  '000', arranged, staff).
spr03u(cs4953,  '001', 0930-tr,  srobbins).
spr03u(cs4993,  '000', arranged, staff).

semesteru(X, Y, Z, W) :- spr03u(X, Y, Z, W).
year('2003').
season('Spring').