teaching(bloch,class(cs333,tr,'9:25','SCI 227')).
teaching(bloch,class(cs270,tr,'12:15','Gallagher lab')).
teaching(bloch,class(cs271,tr,'1:40','Gallagher lab')).
teaching(wittenstein,class(cs160,tr,'3:05','SCI 227')).
teaching(wittenstein,class(cs160,tr,'4:30','LIB 100')).
teaching(siegfried,class(cs171,mwf,'9:00','Hagedorn 216')).
teaching(siegfried,class(cs171,mwf,'11:00','Gallagher lab')).
teaching(siegfried,class(cs343,mwf,'10:00','SCI 205')).
teaching(siegfried,class(cs371,mwf,'12:00','LIB 101')).
teaching(chays,class(cs440,mwf,'11:00','Hagedorn 110')).
teaching(fictitious,class(cs573,mwf,'10:00','SCI 205')).
teaching(fictitious,class(cs432,mwf,'10:00','Hagedorn 110')).
teaching(partner,class(cs432,mwf,'10:00','Hagedorn 110')).