/* EMPLOYEE */
/*       FNAME, LNAME     SSN,       BDATE,        ADDRESS,                     S, SALARY, SUPERSSN,  DNO */
employee(john, smithson,  123456789, '1965-01-09', '731 Fondren, Houston, TX ', m, 30000,  333445555, 5).
employee(franklin, wong,  333445555, '1955-12-08', '638 Voss, Houston, TX    ', m, 40000,  888665555, 5).
employee(alicia, zelaya,  999887777, '1968-07-19', '3321 Castle, Spring, TX  ', f, 25000,  987654321, 4).
employee(jenny, wallace,  987654321, '1941-06-20', '291 Berry, Bellaire, TX  ', f, 43000,  888665555, 4).
employee(ramesh, narayan, 666884444, '1962-09-15', '975 Fire Oak, Humble, TX ', m, 38000,  333445555, 5).
employee(joyce, english,  453453453, '1972-07-31', '5632 Rice, Houston, TX   ', f, 25000,  333445555, 5).
employee(ahmad, jabbar,   987987987, '1969-03-29', '980 Dallas, Houston, TX  ', m, 25000,  987654321, 4).
employee(james, borgin,   888665555, '1937-11-10', '450 Stone, Houston, TX   ', m, 55000,  0,         1).

/* DEPARTMENT */
/*         DNAME,          DNUMBER, MGRSSN,    MGRSTARTDATE */
department(research,       5,       333445555, 1988-05-22).
department(administration, 4,       987654321, 1995-01-01).
department(headquarters,   1,       888665555, 1981-06-19).

/* DEPT-LOCATIONS */
/*             DNUMBER, DLOCATION */
dept_locations(1,       houston).
dept_locations(4,       stafford).
dept_locations(5,       bellaire).
dept_locations(5,       sugarland).
dept_locations(5,       houston).

/* PROJECT */
/*      PNAME,            PNUMBER, PLOCATION, DNUM */
project(productX,         1,       bellaire,  5).
project(productY,         2,       sugarland, 5).
project(productZ,         3,       houston,   5).
project(computerization,  10,      stafford,  4).
project(reorganization,   20,      houston,   1).
project(newBenefits,      30,      stafford,  4).

/* WORKS_ON */
/*       ESSN,      PNO, HOURS */
works_on(123456789, 1,   32.5).
works_on(123456789, 2,   7.5).
works_on(666884444, 3,   40).
works_on(453453453, 1,   20).
works_on(453453453, 2,   20).
works_on(333445555, 2,   10).
works_on(333445555, 3,   10).
works_on(333445555, 10,  10).
works_on(333445555, 20,  10).
works_on(999887777, 30,  30).
works_on(999887777, 10,  10).
works_on(987987987, 10,  35).
works_on(987987987, 30,  5).
works_on(987654321, 30,  20).
works_on(987654321, 20,  15).
works_on(888665555, 20,  0).

/* DEPENDENT */
/*        ESSN,      DEPENDENT-NAME, SEX, BDATE,      RELATIONSHIP */
dependent(333445555, alice,          f,   1986-04-05, daughter).
dependent(333445555, theodore,       m,   1983-10-25, son).
dependent(333445555, joy,            f,   1958-05-03, spouse).
dependent(987654321, abner,          m,   1942-02-28, spouse).
dependent(123456789, michael,        m,   1988-01-04, son).
dependent(123456789, alice,          f,   1988-12-30, daughter).
dependent(123456789, elizabeth,      f,   1967-05-05, spouse).