dbaseAssumptions: trait includes Set(employee for E, empset for C) gender enumeration of MALE, FEMALE, gender_ANY job enumeration of MGR, NONMGR, job_ANY employee tuple of ssNum: int, name: employee_name, salary: int, gen: gender, j: job