spr03u(cs1023,  '001', 1100-mwf, womack, 0).
spr03u(cs1023,  '002', 1230-tr,  womack, 0).
spr03u(cs1023,  '701', 1100-mwf, womack, 0).
spr03u(cs1023,  '702', 1100-mwf, womack, 0).
spr03u(cs1023,  '703', 1100-mwf, womack, 0).
spr03u(cs1023,  '901', 1400-tr,  haydar, 0).
spr03u(cs1033,  '001', 0800-mwf, staff, 0).
spr03u(cs1033,  '002', 1100-tr,  jurkovic, 0).
spr03u(cs1033,  '003', 1730-tr,  womack, 0).
spr03u(cs1033,  '901', 1230-tr,  haydar, 0).
spr03u(cs1063d, '001', 1200-mwf, castaneda, 0).
spr03u(cs1063,  '002', 1100-tr,  lee, 0).
spr03u(cs1063,  '003', 1900-tr,  castaneda, 0).
spr03u(cs1063dt,'901', 1200-mwf, staff, 0).
spr03u(cs1073,  '001', 0800-tr,  jurkovic, 0).
spr03u(cs1711,  '001', 1000-m,   staff, 0).
spr03u(cs1711d, '002', 1400-m,   staff, 0).
spr03u(cs1711,  '003', 1900-t,   staff, 0).
spr03u(cs1711,  '004', 1000-w,   staff, 0).
spr03u(cs1711d, '005', 1400-w,   staff, 0).
spr03u(cs1711,  '006', 1900-r,   staff, 0).
spr03u(cs1711,  '007', 1000-f,   staff, 0).
spr03u(cs1711dt,'901', 1400-m  , staff, 0).
spr03u(cs1711dt,'902', 1400-w  , staff, 0).
spr03u(cs1713,  '001', 0900-mwf, lee, 0).
spr03u(cs1713d, '002', 1300-mwf, maltrud, 0).
spr03u(cs1713,  '003', 1730-tr,  maltrud, 0).
spr03u(cs1713dt,'901', 1300-mwf, staff, 0).
spr03u(cs1721,  '001', 1100-m,   staff, 0).
spr03u(cs1721d, '002', 1900-m,   staff, 0).
spr03u(cs1721,  '003', 1100-w,   staff, 0).
spr03u(cs1721d, '004', 1900-w,   staff, 0).
spr03u(cs1721dt,'901', 1900-m,   staff, 0).
spr03u(cs1721dt,'902', 1900-w,   staff, 0).
spr03u(cs1723,  '001', 1000-mwf, key, 0).
spr03u(cs1723d, '002', 1730-mw,  key, 0).
spr03u(cs1723dt,'901', 1730-mw,  staff, 0).
spr03u(cs2073d, '001', 1530-mw,  womack, 0).
spr03u(cs2073,  '002', 0930-tr,  jurkovic, 0).
spr03u(cs2073dt,'901', 1530-mw,  staff, 0).
spr03u(cs2211,  '001', 1800-m,   staff, 0).
spr03u(cs2211,  '002', 0800-t,   staff, 0).
spr03u(cs2211,  '003', 1800-w,   staff, 0).
spr03u(cs2211,  '004', 0800-r,   staff, 0).
spr03u(cs2213,  '001', 1900-mw,  maltrud, 0).
spr03u(cs2213,  '002', 0930-tr,  maltrud, 0).
spr03u(cs2411,  '001', 0900-m,   staff, 0).
spr03u(cs2411,  '002', 0900-w,   staff, 0).
spr03u(cs2411,  '005', 1400-f,   staff, 0).
spr03u(cs2413,  '001', 1000-mwf, maynard, 0).
spr03u(cs2511,  '001', 1100-m,   staff, 0).
spr03u(cs2511,  '002', 1100-w,   staff, 0).
spr03u(cs2513,  '001', 1200-mwf, key, 0).
spr03u(cs2731,  '001', 1400-m,   staff, 0).
spr03u(cs2731,  '002', 1400-w,   staff, 0).
spr03u(cs2733,  '001', 1300-mwf, wagner, 0).
spr03u(cs3231,  '001', 1400-t,   staff, 0).
spr03u(cs3231,  '002', 1400-r,   staff, 0).
spr03u(cs3233,  '001', 1230-tr,  tian, 0).
spr03u(cs3341,  '001', 1400-t,   staff, 0).
spr03u(cs3341,  '002', 1400-r,   staff, 0).
spr03u(cs3343,  '001', 1530-tr,  kwek, 0).
spr03u(cs3721,  '001', 1100-m,   staff, 0).
spr03u(cs3721,  '002', 1100-w,   staff, 0).
spr03u(cs3723,  '001', 1200-mwf, wagner, 0).
spr03u(cs3731,  '001', arranged, staff, 0).
spr03u(cs3731,  '002', arranged, staff, 0).
spr03u(cs3731,  '003', arranged, staff, 0).
spr03u(cs3733,  '001', 1230-tr,  srobbins, 0).
spr03u(cs3743,  '001', 1900-tr,  staff, 0).
spr03u(cs3773,  '001', 1730-tr,  lo, 0).
spr03u(cs4313,  '001', 1400-mw,  bylander, 0).
spr03u(cs4363,  '001', 1000-mwf, wagner, 0).
spr03u(cs4383,  '001', 1300-mwf, maynard, 0).
spr03u(cs4751,  '001', 1600-m,   staff, 0).
spr03u(cs4751,  '002', 1900-w,   staff, 0).
spr03u(cs4753,  '001', 1730-mw,  yum, 0).
spr03u(cs4913,  '000', arranged, staff, 0).
spr03u(cs4933,  '001', arranged, staff, 0).
spr03u(cs4953d, '001', 0930-tr,  srobbins, 0).
spr03u(cs4993,  '000', arranged, staff, 0).

spr03g(cs5293,  '000', 1230-tr,  chronopoulos, 0).
spr03g(cs5523,  '000', 1530-mw,  krobbins, 0).
spr03g(cs5633,  '000', 1900-mw,  bylander, 0).
spr03g(cs5973,  '000', arranged, staff, 0).
spr03g(cs5973,  '001', arranged, staff, 0).
spr03g(cs5973,  '002', arranged, staff, 0).
spr03g(cs6243,  '000', 1400-tr,  kwek, 0).
spr03g(cs6453,  '000', 1530-tr,  zhang, 0).
spr03g(cs6543,  '000', 1730-tr,  korkmaz, 0).
spr03g(cs6593b, '000', 1400-mw,  chronopoulos, 0).
spr03g(cs6643,  '000', 1730-mw,  boppana, 0).
spr03g(cs6953,  '000', arranged, staff, 0).
spr03g(cs6961,  '000', arranged, staff, 0).
spr03g(cs6973d, '000', 1900-tr,  maynard, 0).
spr03g(cs6983,  '000', arranged, staff, 0).
spr03g(cs7123,  '000', arranged, psarris, 0).
spr03g(cs7213,  '000', arranged, staff, 0).
spr03g(cs7313,  '000', arranged, staff, 0).

semesteru(X, Y, Z, W, E) :- spr03u(X, Y, Z, W, E).
semesterg(X, Y, Z, W, E) :- spr03g(X, Y, Z, W, E).
year('2003').
season('Spring').
revision('17 September 2002').
revision2('9/17/02').
isorevision('2002-09-17').
enroll('').
announce('').