module qualifier_db.

  passed john cs541.
  passed mary cs541.
  passed mary cs542.
  passed mary cs641.
  
  % the following doesn't do what you think.
  qualify X :- (pi c \ (passed X c)).