module qualifier_db_fixed.

  import maps.

  passed john cs541.
  passed mary cs541.
  passed mary cs542.
  passed mary cs641.
  
  classes (cs541::cs542::cs641::nil).
  
  qualify X :- classes CL,
               for_each (passed X) CL.