% lectures(X, Y): instructor X lectures in course Y
lectures(applewhite, 9020).
lectures(applewhite, 9045).
lectures(applewhite, 9030).
lectures(codding, 9010).
lectures(codding, 9310).
lectures(codding, 9350).
lectures(barker, 9135).
lectures(barker, 9225).
lectures(barker, 9040).
lectures(ritch, 9210).
lectures(ritch, 9350).
lectures(ritch, 9120).
lectures(mindale, 9105).
lectures(mindale, 9360).
lectures(mindale, 9250).

% studies(X, Y): student X studies in course Y
studies(maria, 9020).
studies(maria, 9010).
studies(maria, 9040).
studies(maria, 9120).
studies(fred, 9020).
studies(fred, 9030).
studies(fred, 9100).
studies(fred, 9250).
studies(jack, 9310).
studies(jack, 9040).
studies(jack, 9350).
studies(jack, 9120).
studies(jill, 9310).
studies(jill, 9360).
studies(jill, 9250).
studies(jill, 9120).
studies(henry, 9360).
studies(henry, 9350).
studies(henry, 9310).
studies(henry, 9250).
studies(mary, 9020).
studies(mary, 9030).
studies(mary, 9040).
studies(mary, 9100).