;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; faculty
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (faculty.instance alan.arrogant)
    (faculty.jpeg alan.arrogant "/examples/university/images/alan.jpeg")
    (faculty.firstname alan.arrogant "Alan")
    (faculty.lastname alan.arrogant "Arrogant")
    (faculty.rank alan.arrogant associate.professor)
    (faculty.affiliation alan.arrogant physics)
    (faculty.office alan.arrogant hawking.210)
    (faculty.assistant alan.arrogant peter.potato)
    (faculty.telephone alan.arrogant "555.1234")
    (faculty.email alan.arrogant "arrogant@university.edu")

    (faculty.instance bill.boring)
    (faculty.jpeg bill.boring "/examples/university/images/bill.jpeg")
    (faculty.firstname bill.boring "Bill")
    (faculty.firstname bill.boring "Boring")
    (faculty.rank bill.boring full.professor)
    (faculty.affiliation bill.boring mathematics)
    (faculty.assistant bill.boring mary.mango)
    (faculty.office bill.boring hawking.130)
    (faculty.telephone bill.boring "555.2341")
    (faculty.email bill.boring "boring@university.edu")

    (faculty.instance cathy.careful)
    (faculty.jpeg cathy.careful
     "/examples/university/images/cathy.jpeg")
    (faculty.firstname cathy.careful "Cathy")
    (faculty.firstname cathy.careful "Careful")
    (faculty.rank cathy.careful assistant.professor)
    (faculty.affiliation cathy.careful computers)
    (faculty.office cathy.careful bauhaus.230)
    (faculty.assistant cathy.careful carol.carrot)
    (faculty.telephone cathy.careful "555.3412")
    (faculty.email cathy.careful "careful@university.edu")

    (faculty.instance donna.daring)
    (faculty.jpeg donna.daring "/examples/university/images/donna.jpeg")
    (faculty.firstname donna.daring "Donna")
    (faculty.firstname donna.daring "Daring")
    (faculty.rank donna.daring assistant.professor)
    (faculty.affiliation donna.daring architecture)
    (faculty.office donna.daring bauhaus.130)
    (faculty.assistant donna.daring amy.avocado)
    (faculty.telephone donna.daring "555.4123")
    (faculty.email donna.daring "daring@university.edu")

    (faculty.instance frank.frank)
    (faculty.jpeg frank.frank "/examples/university/images/frank.jpeg")
    (faculty.firstname frank.frank "Frank")
    (faculty.rank frank.frank instructor)
    (faculty.affiliation frank.frank physics)
    (faculty.office frank.frank hawking.230)
    (faculty.assistant frank.frank peter.potato)
    (faculty.telephone frank.frank "555.1235")
    (faculty.email frank.frank "frank@university.edu")

    (faculty.instance gary.grump)
    (faculty.jpeg gary.grump "/examples/university/images/gary.jpeg")
    (faculty.firstname gary.grump "Gary")
    (faculty.firstname gary.grump "Grump")
    (faculty.rank gary.grump full.professor)
    (faculty.affiliation gary.grump computers)
    (faculty.office gary.grump bauhaus.210)
    (faculty.assistant gary.grump carol.carrot)
    (faculty.telephone gary.grump "555.2351")
    (faculty.email gary.grump "grump@university.edu")

    (faculty.instance helen.heavenly)
    (faculty.jpeg helen.heavenly
     "/examples/university/images/helen.jpeg")
    (faculty.firstname helen.heavenly "Helen")
    (faculty.firstname helen.heavenly "Heavenly")
    (faculty.rank helen.heavenly assistant.professor)
    (faculty.affiliation helen.heavenly history)
    (faculty.office helen.heavenly frost.230)
    (faculty.assistant helen.heavenly harry.jicama)
    (faculty.telephone helen.heavenly "555.3512")
    (faculty.email helen.heavenly "heavenly@university.edu")

    (faculty.instance ivan.illegible)
    (faculty.jpeg ivan.illegible
     "/examples/university/images/ivan.jpeg")
    (faculty.firstname ivan.illegible "Ivan")
    (faculty.firstname ivan.illegible "Illegible")
    (faculty.rank ivan.illegible full.professor)
    (faculty.affiliation ivan.illegible architecture)
    (faculty.office ivan.illegible bauhaus.110)
    (faculty.assistant ivan.illegible amy.avocado)
    (faculty.telephone ivan.illegible "555.5123")
    (faculty.email ivan.illegible "illegible@university.edu")

    (faculty.instance oren.overbearing)
    (faculty.jpeg oren.overbearing
     "/examples/university/images/oren.jpeg")
    (faculty.firstname oren.overbearing "Oren")
    (faculty.firstname oren.overbearing "Overbearing")
    (faculty.rank oren.overbearing full.professor)
    (faculty.affiliation oren.overbearing mathematics)
    (faculty.office oren.overbearing hawking.110)
    (faculty.assistant oren.overbearing mary.mango)
    (faculty.telephone oren.overbearing "555.1236")
    (faculty.email oren.overbearing "overbearing@university.edu")

    (faculty.instance polly.syllabic)
    (faculty.jpeg polly.syllabic
     "/examples/university/images/polly.jpeg")
    (faculty.firstname polly.syllabic "Polly")
    (faculty.firstname polly.syllabic "Syllabic")
    (faculty.rank polly.syllabic associate.professor)
    (faculty.affiliation polly.syllabic english)
    (faculty.office polly.syllabic frost.130)
    (faculty.assistant polly.syllabic ellie.eggplant)
    (faculty.telephone polly.syllabic "555.2361")
    (faculty.email polly.syllabic "syllabic@university.edu")

    (faculty.instance paul.pompous)
    (faculty.jpeg paul.pompous "/examples/university/images/paul.jpeg")
    (faculty.firstname paul.pompous "Paul")
    (faculty.firstname paul.pompous "Pompous")
    (faculty.rank paul.pompous full.professor)
    (faculty.affiliation paul.pompous english)
    (faculty.office paul.pompous frost.110)
    (faculty.assistant paul.pompous ellie.eggplant)
    (faculty.telephone paul.pompous "555.3612")
    (faculty.email paul.pompous "pompous@university.edu")

    (faculty.instance tanya.terrible)
    (faculty.jpeg tanya.terrible
     "/examples/university/images/tanya.jpeg")
    (faculty.firstname tanya.terrible "Tanya")
    (faculty.firstname tanya.terrible "Terrible")
    (faculty.rank tanya.terrible full.professor)
    (faculty.affiliation tanya.terrible history)
    (faculty.office tanya.terrible frost.210)
    (faculty.assistant tanya.terrible harry.jicama)
    (faculty.telephone tanya.terrible "555.6123")
    (faculty.email tanya.terrible "terrible@university.edu")

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; staff
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (staff.instance amy.avocado)
    (staff.firstname amy.avocado "Amy")
    (staff.lastname amy.avocado "Avocado")
    (staff.classification amy.avocado secretary)
    (staff.affiliation amy.avocado architecture)
    (staff.telephone amy.avocado "555.4798")
    (staff.email amy.avocado "avocado@university.edu")
    (staff.office amy.avocado bauhaus.120)
    (staff.image amy.avocado
     "<A HREF=\"/examples/university/images/amy.jpeg\"><IMG SRC=\"/examples/university/images/amy.jpeg\" HEIGHT=120></A>")

    (staff.instance carol.carrot)
    (staff.firstname carol.carrot "Carol")
    (staff.lastname carol.carrot "Carrot")
    (staff.classification carol.carrot secretary)
    (staff.affiliation carol.carrot computers)
    (staff.telephone carol.carrot "555.4798")
    (staff.email carol.carrot "carrot@university.edu")
    (staff.office carol.carrot bauhaus.220)
    (staff.image carol.carrot
     "<A HREF=\"/examples/university/images/carol.jpeg\"><IMG SRC=\"/examples/university/images/carol.jpeg\" HEIGHT=120></A>")

    (staff.instance ellie.eggplant)
    (staff.firstname ellie.eggplant "Ellie")
    (staff.lastname ellie.eggplant "Eggplant")
    (staff.classification ellie.eggplant secretary)
    (staff.affiliation ellie.eggplant english)
    (staff.telephone ellie.eggplant "555.4798")
    (staff.email ellie.eggplant "eggplant@university.edu")
    (staff.office ellie.eggplant frost.120)
    (staff.image ellie.eggplant
     "<A HREF=\"/examples/university/images/ellie.jpeg\"><IMG SRC=\"/examples/university/images/ellie.jpeg\" HEIGHT=120></A>")

    (staff.instance harry.jicama)
    (staff.firstname harry.jicama "Harry")
    (staff.lastname harry.jicama "Jicama")
    (staff.classification harry.jicama secretary)
    (staff.affiliation harry.jicama history)
    (staff.telephone harry.jicama "555.4798")
    (staff.email harry.jicama "jicama@university.edu")
    (staff.office harry.jicama frost.220)
    (staff.image harry.jicama
     "<A HREF=\"/examples/university/images/harry.jpeg\"><IMG SRC=\"/examples/university/images/harry.jpeg\" HEIGHT=120></A>")

    (staff.instance mary.mango)
    (staff.firstname mary.mango "Mary")
    (staff.lastname mary.mango "Mango")
    (staff.classification mary.mango secretary)
    (staff.affiliation mary.mango mathematics)
    (staff.telephone mary.mango "555.4798")
    (staff.email mary.mango "mango@university.edu")
    (staff.office mary.mango hawking.120)
    (staff.image mary.mango
     "<A HREF=\"/examples/university/images/mary.jpeg\"><IMG SRC=\"/examples/university/images/mary.jpeg\" HEIGHT=120></A>")

    (staff.instance peter.potato)
    (staff.firstname peter.potato "Peter")
    (staff.lastname peter.potato "Potato")
    (staff.classification peter.potato secretary)
    (staff.affiliation peter.potato physics)
    (staff.telephone peter.potato "555.4798")
    (staff.email peter.potato "potato@university.edu")
    (staff.office peter.potato hawking.220)
    (staff.image peter.potato
     "<A HREF=\"/examples/university/images/peter.jpeg\"><IMG SRC=\"/examples/university/images/peter.jpeg\" HEIGHT=120></A>")

    (staff.instance gilbert.grape)
    (staff.firstname gilbert.grape "Gilbert")
    (staff.lastname gilbert.grape "Grape")
    (staff.classification gilbert.grape janitor)
    (staff.affiliation gilbert.grape architecture)
    (staff.telephone gilbert.grape "555.4323")
    (staff.email gilbert.grape "grape@university.edu")
    (staff.office gilbert.grape frost.150)
    (staff.image gilbert.grape
     "<A HREF=\"/examples/university/images/gilbert.jpeg\"><IMG SRC=\"/examples/university/images/gilbert.jpeg\" HEIGHT=120></A>")

    (staff.instance rick.radish)
    (staff.firstname rick.radish "Rick")
    (staff.lastname rick.radish "Radish")
    (staff.classification rick.radish janitor)
    (staff.affiliation rick.radish english)
    (staff.telephone rick.radish "555.4790")
    (staff.email rick.radish "radish@university.edu")
    (staff.office rick.radish frost.150)
    (staff.image rick.radish
     "<A HREF=\"/examples/university/images/rick.jpeg\"><IMG SRC=\"/examples/university/images/rick.jpeg\" HEIGHT=120></A>")

    (staff.instance skip.squash)
    (staff.firstname skip.squash "Skip")
    (staff.lastname skip.squash "Squash")
    (staff.classification skip.squash janitor)
    (staff.affiliation skip.squash mathematics)
    (staff.telephone skip.squash "555.1458")
    (staff.email skip.squash "squash@university.edu")
    (staff.office skip.squash frost.150)
    (staff.image skip.squash
     "<A HREF=\"/examples/university/images/skip.jpeg\"><IMG SRC=\"/examples/university/images/skip.jpeg\" HEIGHT=120></A>")

    (staff.instance larry.lemon)
    (staff.firstname larry.lemon "Larry")
    (staff.lastname larry.lemon "Lemon")
    (staff.classification larry.lemon technician)
    (staff.affiliation larry.lemon architecture)
    (staff.telephone larry.lemon "555.4323")
    (staff.email larry.lemon "lemon@university.edu")
    (staff.office larry.lemon bauhaus.150)
    (staff.image larry.lemon
     "<A HREF=\"/examples/university/images/larry.jpeg\"><IMG SRC=\"/examples/university/images/larry.jpeg\" HEIGHT=120></A>")

    (staff.instance mark.melon)
    (staff.firstname mark.melon "Mark")
    (staff.lastname mark.melon "Melon")
    (staff.classification mark.melon technician)
    (staff.affiliation mark.melon computers)
    (staff.telephone mark.melon "555.4323")
    (staff.email mark.melon "melon@university.edu")
    (staff.office mark.melon bauhaus.250)
    (staff.image mark.melon
     "<A HREF=\"/examples/university/images/mark.jpeg\"><IMG SRC=\"/examples/university/images/mark.jpeg\" HEIGHT=120></A>")

    (staff.instance oliver.orange)
    (staff.firstname oliver.orange "Oliver")
    (staff.lastname oliver.orange "Orange")
    (staff.classification oliver.orange technician)
    (staff.affiliation oliver.orange physics)
    (staff.telephone oliver.orange "555.4323")
    (staff.email oliver.orange "orange@university.edu")
    (staff.office oliver.orange hawking.250)
    (staff.image oliver.orange
     "<A HREF=\"/examples/university/images/oliver.jpeg\"><IMG SRC=\"/examples/university/images/oliver.jpeg\" HEIGHT=120></A>")

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; student
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (student.instance aaron.aardvark)
    (student.firstname aaron.aardvark "Aaron")
    (student.lastname aaron.aardvark "Aardvark")
    (student.year aaron.aardvark senior)
    (student.major aaron.aardvark architecture)
    (student.telephone aaron.aardvark "555.4657")
    (student.email aaron.aardvark "ants@university.edu")
    (student.advisor aaron.aardvark donna.daring)
    (student.image aaron.aardvark
     "<A HREF=\"/examples/university/images/aaron.jpeg\"><IMG SRC=\"/examples/university/images/aaron.jpeg\" HEIGHT=120></A>")
    (student.transcript aaron.aardvark aaron.aardvark.transcript)

    (student.instance belinda.bat)
    (student.firstname belinda.bat "Belinda")
    (student.lastname belinda.bat "Bat")
    (student.year belinda.bat freshman)
    (student.major belinda.bat architecture)
    (student.telephone belinda.bat "555.4657")
    (student.email belinda.bat "sonar@university.edu")
    (student.advisor belinda.bat ivan.illegible)
    (student.image belinda.bat
     "<A HREF=\"/examples/university/images/belinda.jpeg\"><IMG SRC=\"/examples/university/images/belinda.jpeg\" HEIGHT=120></A>")
    (student.transcript belinda.bat belinda.bat.transcript)

    (student.instance calvin.carp)
    (student.firstname calvin.carp "Calvin")
    (student.lastname calvin.carp "Carp")
    (student.year calvin.carp senior)
    (student.major calvin.carp computers)
    (student.telephone calvin.carp "555.4657")
    (student.email calvin.carp "scales@university.edu")
    (student.advisor calvin.carp cathy.careful)
    (student.image calvin.carp
     "<A HREF=\"/examples/university/images/calvin.jpeg\"><IMG SRC=\"/examples/university/images/calvin.jpeg\" HEIGHT=120></A>")
    (student.transcript calvin.carp calvin.carp.transcript)

    (student.instance george.giraffe)
    (student.firstname george.giraffe "George")
    (student.lastname george.giraffe "Giraffe")
    (student.year george.giraffe senior)
    (student.major george.giraffe computers)
    (student.telephone george.giraffe "555.4657")
    (student.email george.giraffe "neck@university.edu")
    (student.advisor george.giraffe gary.grump)
    (student.image george.giraffe
     "<A HREF=\"/examples/university/images/george.jpeg\"><IMG SRC=\"/examples/university/images/george.jpeg\" HEIGHT=120></A>")
    (student.transcript george.giraffe george.giraffe.transcript)

    (student.instance kitty.kat)
    (student.firstname kitty.kat "Kitty")
    (student.lastname kitty.kat "Kat")
    (student.year kitty.kat sophomore)
    (student.major kitty.kat english)
    (student.telephone kitty.kat "555.4657")
    (student.email kitty.kat "catnip@university.edu")
    (student.advisor kitty.kat paul.pompous)
    (student.image kitty.kat
     "<A HREF=\"/examples/university/images/kitty.jpeg\"><IMG SRC=\"/examples/university/images/kitty.jpeg\" HEIGHT=120></A>")
    (student.transcript kitty.kat kitty.kat.transcript)

    (student.instance minnie.mouse)
    (student.firstname minnie.mouse "Minnie")
    (student.lastname minnie.mouse "Mouse")
    (student.year minnie.mouse junior)
    (student.major minnie.mouse english)
    (student.telephone minnie.mouse "555.4657")
    (student.email minnie.mouse "cheese@university.edu")
    (student.advisor minnie.mouse polly.syllabic)
    (student.image minnie.mouse
     "<A HREF=\"/examples/university/images/minnie.jpeg\"><IMG SRC=\"/examples/university/images/minnie.jpeg\" HEIGHT=120></A>")
    (student.transcript minnie.mouse minnie.mouse.transcript)

    (student.instance patty.panda)
    (student.firstname patty.panda "Patty")
    (student.lastname patty.panda "Panda")
    (student.year patty.panda junior)
    (student.major patty.panda history)
    (student.telephone patty.panda "555.4657")
    (student.email patty.panda "bear@university.edu")
    (student.advisor patty.panda helen.heavenly)
    (student.image patty.panda
     "<A HREF=\"/examples/university/images/patty.jpeg\"><IMG SRC=\"/examples/university/images/patty.jpeg\" HEIGHT=120></A>")
    (student.transcript patty.panda patty.panda.transcript)

    (student.instance rory.rhino)
    (student.firstname rory.rhino "Rory")
    (student.lastname rory.rhino "Rhino")
    (student.year rory.rhino senior)
    (student.major rory.rhino history)
    (student.telephone rory.rhino "555.4327")
    (student.email rory.rhino "horn@university.edu")
    (student.advisor rory.rhino helen.heavenly)
    (student.image rory.rhino
     "<A HREF=\"/examples/university/images/rory.jpeg\"><IMG SRC=\"/examples/university/images/rory.jpeg\" HEIGHT=120></A>")
    (student.transcript rory.rhino rory.rhino.transcript)

    (student.instance sally.squirrel)
    (student.firstname sally.squirrel "Sally")
    (student.lastname sally.squirrel "Squirrel")
    (student.year sally.squirrel sophomore)
    (student.major sally.squirrel mathematics)
    (student.telephone sally.squirrel "555.4327")
    (student.email sally.squirrel "nuts@university.edu")
    (student.advisor sally.squirrel bill.boring)
    (student.image sally.squirrel
     "<A HREF=\"/examples/university/images/sally.jpeg\"><IMG SRC=\"/examples/university/images/sally.jpeg\" HEIGHT=120></A>")
    (student.transcript sally.squirrel sally.squirrel.transcript)

    (student.instance tony.tuna)
    (student.firstname tony.tuna "Tony")
    (student.lastname tony.tuna "Tuna")
    (student.year tony.tuna junior)
    (student.major tony.tuna mathematics)
    (student.telephone tony.tuna "555.4327")
    (student.email tony.tuna "starkist@university.edu")
    (student.advisor tony.tuna oren.overbearing)
    (student.image tony.tuna
     "<A HREF=\"/examples/university/images/tony.jpeg\"><IMG SRC=\"/examples/university/images/tony.jpeg\" HEIGHT=120></A>")
    (student.transcript tony.tuna tony.tuna.transcript)

    (student.instance wanda.wolf)
    (student.firstname wanda.wolf "Wanda")
    (student.lastname wanda.wolf "Wolf")
    (student.year wanda.wolf junior)
    (student.major wanda.wolf physics)
    (student.telephone wanda.wolf "555.4327")
    (student.email wanda.wolf "howl@university.edu")
    (student.advisor wanda.wolf alan.arrogant)
    (student.image wanda.wolf
     "<A HREF=\"/examples/university/images/wanda.jpeg\"><IMG SRC=\"/examples/university/images/wanda.jpeg\" HEIGHT=120></A>")
    (student.transcript wanda.wolf wanda.wolf.transcript)

    (student.instance zack.zebra)
    (student.firstname zack.zebra "Zack")
    (student.lastname zack.zebra "Zebra")
    (student.year zack.zebra freshman)
    (student.major zack.zebra physics)
    (student.telephone zack.zebra "555.4567")
    (student.email zack.zebra "stripes@university.edu")
    (student.advisor zack.zebra alan.arrogant)
    (student.image zack.zebra
     "<A HREF=\"/examples/university/images/zack.jpeg\"><IMG SRC=\"/examples/university/images/zack.jpeg\" HEIGHT=120></A>")
    (student.transcript zack.zebra zack.zebra.transcript)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; rank
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (rank.instance instructor)

    (rank.instance assistant.professor)

    (rank.instance associate.professor)

    (rank.instance full.professor)

    (rank.instance professor.emeritus)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; year
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (year.instance freshman)

    (year.instance sophomore)

    (year.instance junior)

    (year.instance senior)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; job
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (job.instance janitor)

    (job.instance secretary)

    (job.instance technician)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; building
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (building.instance bauhaus)
    (building.name bauhaus "Bauhaus Center")
    (building.classroom bauhaus bauhaus.100)
    (building.classroom bauhaus bauhaus.200)
    (building.office bauhaus bauhaus.110)
    (building.office bauhaus bauhaus.120)
    (building.office bauhaus bauhaus.130)
    (building.office bauhaus bauhaus.140)
    (building.office bauhaus bauhaus.150)
    (building.office bauhaus bauhaus.210)
    (building.office bauhaus bauhaus.220)
    (building.office bauhaus bauhaus.230)
    (building.office bauhaus bauhaus.240)
    (building.office bauhaus bauhaus.250)

    (building.instance frost)
    (building.name frost "Robert Frost Building")
    (building.classroom frost frost.100)
    (building.classroom frost frost.200)
    (building.office frost frost.110)
    (building.office frost frost.120)
    (building.office frost frost.130)
    (building.office frost frost.140)
    (building.office frost frost.150)
    (building.office frost frost.210)
    (building.office frost frost.220)
    (building.office frost frost.230)
    (building.office frost frost.240)
    (building.office frost frost.250)

    (building.instance hawking)
    (building.name hawking "Stephen Hawking Laboratory")
    (building.classroom hawking hawking.100)
    (building.classroom hawking hawking.200)
    (building.office hawking hawking.110)
    (building.office hawking hawking.120)
    (building.office hawking hawking.130)
    (building.office hawking hawking.140)
    (building.office hawking hawking.150)
    (building.office hawking hawking.210)
    (building.office hawking hawking.220)
    (building.office hawking hawking.230)
    (building.office hawking hawking.240)
    (building.office hawking hawking.250)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; classroom
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (classroom.instance bauhaus.100)
    (classroom.building bauhaus.100 bauhaus)
    (classroom.number bauhaus.100 100)
    (classroom.capacity bauhaus.100 60)
    (classroom.feature bauhaus.100 overhead.projector)
    (classroom.feature bauhaus.100 slide.projector)
    (classroom.feature bauhaus.100 vcr)

    (classroom.instance bauhaus.200)
    (classroom.building bauhaus.200 bauhaus)
    (classroom.number bauhaus.200 200)
    (classroom.capacity bauhaus.200 20)
    (classroom.feature bauhaus.200 computer.projector)
    (classroom.feature bauhaus.200 overhead.projector)
    (classroom.feature bauhaus.200 slide.projector)
    (classroom.feature bauhaus.200 tv)
    (classroom.feature bauhaus.200 vcr)

    (classroom.instance frost.100)
    (classroom.building frost.100 frost)
    (classroom.number frost.100 100)
    (classroom.capacity frost.100 100)
    (classroom.feature frost.100 overhead.projector)
    (classroom.feature frost.100 slide.projector)

    (classroom.instance frost.200)
    (classroom.building frost.200 frost)
    (classroom.number frost.200 200)
    (classroom.capacity frost.200 20)
    (classroom.feature frost.200 overhead.projector)
    (classroom.feature frost.200 slide.projector)

    (classroom.instance hawking.100)
    (classroom.building hawking.100 hawking)
    (classroom.number hawking.100 100)
    (classroom.capacity hawking.100 80)
    (classroom.feature hawking.100 computer.projector)
    (classroom.feature hawking.100 overhead.projector)
    (classroom.feature hawking.100 slide.projector)

    (classroom.instance hawking.200)
    (classroom.building hawking.200 hawking)
    (classroom.number hawking.200 200)
    (classroom.capacity hawking.200 20)
    (classroom.feature hawking.200 computer.projector)
    (classroom.feature hawking.200 overhead.projector)
    (classroom.feature hawking.200 slide.projector)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; office
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (office.instance bauhaus.110)
    (office.building bauhaus.110 bauhaus)
    (office.number bauhaus.110 110)
    (office.occupant bauhaus.110 ivan.illegible)

    (office.instance bauhaus.120)
    (office.building bauhaus.120 bauhaus)
    (office.number bauhaus.120 120)
    (office.occupant bauhaus.120 amy.avocado)

    (office.instance bauhaus.130)
    (office.building bauhaus.130 bauhaus)
    (office.number bauhaus.130 130)
    (office.occupant bauhaus.130 donna.daring)

    (office.instance bauhaus.140)
    (office.building bauhaus.140 bauhaus)
    (office.number bauhaus.140 140)

    (office.instance bauhaus.150)
    (office.building bauhaus.150 bauhaus)
    (office.number bauhaus.150 150)
    (office.occupant bauhaus.150 larry.lemon)

    (office.instance bauhaus.210)
    (office.building bauhaus.210 bauhaus)
    (office.number bauhaus.210 210)
    (office.occupant bauhaus.210 gary.grump)

    (office.instance bauhaus.220)
    (office.building bauhaus.220 bauhaus)
    (office.number bauhaus.220 220)
    (office.occupant bauhaus.220 carol.carrot)

    (office.instance bauhaus.230)
    (office.building bauhaus.230 bauhaus)
    (office.number bauhaus.230 230)
    (office.occupant bauhaus.230 cathy.careful)

    (office.instance bauhaus.240)
    (office.building bauhaus.240 bauhaus)
    (office.number bauhaus.240 240)
    (office.occupant bauhaus.240 zack.zebra)

    (office.instance bauhaus.250)
    (office.building bauhaus.250 bauhaus)
    (office.number bauhaus.250 250)
    (office.occupant bauhaus.250 mark.melon)

    (office.instance frost.110)
    (office.building frost.110 frost)
    (office.number frost.110 110)
    (office.occupant frost.110 paul.pompous)

    (office.instance frost.120)
    (office.building frost.120 frost)
    (office.number frost.120 120)
    (office.occupant frost.120 ellie.eggplant)

    (office.instance frost.130)
    (office.building frost.130 frost)
    (office.number frost.130 130)
    (office.occupant frost.130 polly.syllabic)

    (office.instance frost.140)
    (office.building frost.140 frost)
    (office.number frost.140 140)

    (office.instance frost.150)
    (office.building frost.150 frost)
    (office.number frost.150 150)
    (office.occupant frost.150 gilbert.grape)
    (office.occupant frost.150 rick.radish)
    (office.occupant frost.150 skip.squash)

    (office.instance frost.210)
    (office.building frost.210 frost)
    (office.number frost.210 210)
    (office.occupant frost.210 tanya.terrible)

    (office.instance frost.220)
    (office.building frost.220 frost)
    (office.number frost.220 220)
    (office.occupant frost.220 harry.jicama)

    (office.instance frost.230)
    (office.building frost.230 frost)
    (office.number frost.230 230)
    (office.occupant frost.230 helen.heavenly)

    (office.instance frost.240)
    (office.building frost.240 frost)
    (office.number frost.240 240)

    (office.instance frost.250)
    (office.building frost.250 frost)
    (office.number frost.250 250)

    (office.instance hawking.110)
    (office.building hawking.110 hawking)
    (office.number hawking.110 110)
    (office.occupant hawking.110 oren.overbearing)

    (office.instance hawking.120)
    (office.building hawking.120 hawking)
    (office.number hawking.120 120)
    (office.occupant hawking.120 mary.mango)

    (office.instance hawking.130)
    (office.building hawking.130 hawking)
    (office.number hawking.130 130)
    (office.occupant hawking.130 bill.boring)

    (office.instance hawking.140)
    (office.building hawking.140 hawking)
    (office.number hawking.140 140)

    (office.instance hawking.150)
    (office.building hawking.150 hawking)
    (office.number hawking.150 150)

    (office.instance hawking.210)
    (office.building hawking.210 hawking)
    (office.number hawking.210 210)
    (office.occupant hawking.210 alan.arrogant)

    (office.instance hawking.220)
    (office.building hawking.220 hawking)
    (office.number hawking.220 220)
    (office.occupant hawking.220 peter.potato)

    (office.instance hawking.230)
    (office.building hawking.230 hawking)
    (office.number hawking.230 230)
    (office.occupant hawking.230 frank.frank)

    (office.instance hawking.240)
    (office.building hawking.240 hawking)
    (office.number hawking.240 240)

    (office.instance hawking.250)
    (office.building hawking.250 hawking)
    (office.number hawking.250 250)
    (office.occupant hawking.250 oliver.orange)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; course, grades
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (course.instance arch121)
    (course.title arch121 "From Bauhaus to Our House")
    (course.department arch121 architecture)
    (course.room arch121 bauhaus.100)
    (course.satisfies arch121 culture)
    (course.quarter arch121 spring)
    (course.day arch121 monday)
    (course.day arch121 wednesday)
    (course.day arch121 friday)
    (course.hour arch121 11-00)
    (course.teacher arch121 donna.daring)
    (course.gradesheet arch121 arch121.gradesheet)
    (grades arch121 aaron.aardvark a)
    (grades arch121 calvin.carp b)
    (grades arch121 george.giraffe b)
    (grades arch121 kitty.kat c)
    (grades arch121 minnie.mouse c)

    (course.instance comp101)
    (course.title comp101 "Introduction to Computer Science")
    (course.department comp101 computers)
    (course.satisfies comp101 core)
    (course.room comp101 hawking.100)
    (course.quarter comp101 autumn)
    (course.day comp101 monday)
    (course.day comp101 wednesday)
    (course.day comp101 friday)
    (course.hour comp101 10-00)
    (course.teacher comp101 gary.grump)
    (course.gradesheet comp101 comp101.gradesheet)
    (grades comp101 aaron.aardvark a)
    (grades comp101 belinda.bat a)
    (grades comp101 calvin.carp a)
    (grades comp101 george.giraffe a)
    (grades comp101 kitty.kat b)
    (grades comp101 minnie.mouse c)
    (grades comp101 patty.panda b)
    (grades comp101 rory.rhino c)
    (grades comp101 sally.squirrel a)
    (grades comp101 tony.tuna c)
    (grades comp101 wanda.wolf b)
    (grades comp101 zack.zebra a)

    (course.instance comp225)
    (course.title comp225 "Datawebs")
    (course.abstract comp225
     "A dataweb is a richly interconnected network of structured documents.  A dataweb is effectively a virtual network built on top of the actual World Wide Web.  Each document in a dataweb contains information about just one concept, and the document contains all available information about that concept.  Datawebs are a powerful technology that are transforming the World Wide Web.  This course cover the theoretical issues involved in the concept of datawebs as well as the practical applications.")
    (course.department comp225 computers)
    (course.satisfies comp225 technology)
    (course.room comp225 hawking.100)
    (course.quarter comp225 winter)
    (course.day comp225 monday)
    (course.day comp225 wednesday)
    (course.day comp225 friday)
    (course.hour comp225 11-00)
    (course.prerequisite comp225 comp101)
    (course.teacher comp225 cathy.careful)
    (course.gradesheet comp225 comp225.gradesheet)
    (grades comp225 calvin.carp a)
    (grades comp225 george.giraffe a)
    (grades comp225 patty.panda b)
    (grades comp225 rory.rhino c)
    (grades comp225 sally.squirrel a)
    (grades comp225 tony.tuna d)
    (grades comp225 wanda.wolf b)

    (course.instance comp235)
    (course.title comp235 "Introduction to Java")
    (course.department comp235 computers)
    (course.satisfies comp235 technology)
    (course.room comp235 hawking.200)
    (course.quarter comp235 winter)
    (course.day comp235 monday)
    (course.day comp235 wednesday)
    (course.day comp235 friday)
    (course.hour comp235 10-00)
    (course.teacher comp235 gary.grump)
    (course.gradesheet comp235 comp235.gradesheet)
    (grades comp235 calvin.carp a)
    (grades comp235 george.giraffe b)
    (grades comp235 sally.squirrel a)
    (grades comp235 tony.tuna f)
    (grades comp235 wanda.wolf b)

    (course.instance comp257)
    (course.title comp257 "Computational Algebra")
    (course.department comp257 computers)
    (course.satisfies comp257 technology)
    (course.room comp257 hawking.100)
    (course.quarter comp257 winter)
    (course.day comp257 tuesday)
    (course.day comp257 thursday)
    (course.hour comp257 10-00)
    (course.prerequisite comp257 comp101)
    (course.teacher comp257 oren.overbearing)
    (course.gradesheet comp257 comp257.gradesheet)
    (grades comp257 calvin.carp a)
    (grades comp257 george.giraffe c)
    (grades comp257 wanda.wolf b)

    (course.instance comp310)
    (course.title comp310 "Social Implications of Computer Technology")
    (course.department comp310 computers)
    (course.satisfies comp310 writing)
    (course.room comp310 frost.100)
    (course.quarter comp310 spring)
    (course.day comp310 monday)
    (course.day comp310 wednesday)
    (course.day comp310 friday)
    (course.hour comp310 11-00)
    (course.teacher comp310 helen.heavenly)
    (course.gradesheet comp310 comp310.gradesheet)
    (grades comp310 calvin.carp a)
    (grades comp310 george.giraffe b)
    (grades comp310 wanda.wolf b)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; book
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (book.instance book.1)
    (book.author book.1 ivan.illegible)
    (book.title book.1 "How to Architecture")
    (book.year book.1 1990)

    (book.instance book.2)
    (book.author book.2 donna.daring)
    (book.title book.2 "Art and Architecture")
    (book.year book.2 1996)

    (book.instance book.3)
    (book.author book.3 gary.grump)
    (book.title book.3 "Hello, Fortran!")
    (book.year book.3 1978)

    (book.instance book.4)
    (book.author book.4 gary.grump)
    (book.title book.4 "Good Morning, Java!")
    (book.year book.4 1998)

    (book.instance book.5)
    (book.author book.5 paul.pompous)
    (book.title book.5
     "Adjective Counts in Antebellum American Literature")
    (book.year book.5 1982)

    (book.instance book.6)
    (book.author book.6 paul.pompous)
    (book.title book.6 "Who's Who in American Literature")
    (book.year book.6 1980)

    (book.instance book.7)
    (book.author book.7 tanya.terrible)
    (book.title book.7 "How We Were")
    (book.year book.7 1992)

    (book.instance book.8)
    (book.author book.8 helen.heavenly)
    (book.title book.8 "The Examined Life")
    (book.year book.8 1998)

    (book.instance book.9)
    (book.author book.9 oren.overbearing)
    (book.title book.9 "Abstract Algebra and You")
    (book.year book.9 1988)

    (book.instance book.10)
    (book.author book.10 oren.overbearing)
    (book.title book.10 "Functions on a Complex Manifold")
    (book.year book.10 1990)

    (book.instance book.11)
    (book.author book.11 alan.arrogant)
    (book.title book.11 "Quantum Physics for the Masses")
    (book.year book.11 1990)

    (book.instance book.12)
    (book.author book.12 alan.arrogant)
    (book.title book.12 "Elementary Mechanics")
    (book.year book.12 1994)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; computer
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (computer.instance adams)
    (computer.address adams "171.64.71.81")
    (computer.site adams bauhaus)

    (computer.instance clinton)
    (computer.address clinton "171.64.71.82")
    (computer.site clinton bauhaus)

    (computer.instance eisenhower)
    (computer.address eisenhower "171.64.71.83")
    (computer.site eisenhower frost)

    (computer.instance harding)
    (computer.address harding "171.64.71.84")
    (computer.site harding frost)

    (computer.instance madison)
    (computer.address madison "171.64.71.85")
    (computer.site madison hawking)

    (computer.instance polk)
    (computer.address polk "171.64.71.86")
    (computer.site polk hawking)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; event, lecuture, seminar
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (lecture.instance comp101.11/23/1998)
    (event.title comp101.11/23/1998 "Introduction to Computer Science")
    (event.speaker comp101.11/23/1998 gary.grump)
    (event.subject comp101.11/23/1998 computers)
    (event.room comp101.11/23/1998 hawking.100)
    (event.date comp101.11/23/1998 11/23/1998)
    (event.start comp101.11/23/1998 10-00)
    (event.end comp101.11/23/1998 11-00)
    (event.owner comp101.11/23/1998 gary.grump)

    (lecture.instance comp101.11/25/1998)
    (event.title comp101.11/25/1998 "Introduction to Computer Science")
    (event.speaker comp101.11/25/1998 gary.grump)
    (event.subject comp101.11/25/1998 computers)
    (event.room comp101.11/25/1998 hawking.100)
    (event.date comp101.11/25/1998 11/25/1998)
    (event.start comp101.11/25/1998 10-00)
    (event.end comp101.11/25/1998 11-00)
    (event.owner comp101.11/25/1998 gary.grump)

    (lecture.instance comp101.11/27/1998)
    (event.title comp101.11/27/1998 "Introduction to Computer Science")
    (event.speaker comp101.11/27/1998 gary.grump)
    (event.subject comp101.11/27/1998 computers)
    (event.room comp101.11/27/1998 hawking.100)
    (event.date comp101.11/27/1998 11/27/1998)
    (event.start comp101.11/27/1998 10-00)
    (event.end comp101.11/27/1998 11-00)
    (event.owner comp101.11/27/1998 gary.grump)

    (seminar.instance seminar.123456)
    (seminar.audience seminar.123456 department)
    (seminar.abstract seminar.123456
     "From Bauhaus to Our House is an architecture seminar.")
    (event.title seminar.123456 "From Bauhaus to Our House")
    (event.speaker seminar.123456 donna.daring)
    (event.subject seminar.123456 architecture)
    (event.room seminar.123456 hawking.100)
    (event.date seminar.123456 11/23/1998)
    (event.start seminar.123456 15-00)
    (event.end seminar.123456 16-00)
    (event.owner seminar.123456 amy.avocado)

    (seminar.instance seminar.234561)
    (seminar.audience seminar.234561 department)
    (seminar.abstract seminar.234561 "JAVA of course.")
    (event.title seminar.234561 "Ground Java Beans")
    (event.speaker seminar.234561 cathy.careful)
    (event.subject seminar.234561 computers)
    (event.room seminar.234561 hawking.100)
    (event.date seminar.234561 11/23/1998)
    (event.start seminar.234561 16-00)
    (event.end seminar.234561 17-00)
    (event.audience seminar.234561 department)
    (event.owner seminar.234561 carol.carrot)

    (seminar.instance seminar.345612)
    (seminar.audience seminar.345612 school)
    (seminar.abstract seminar.345612 "Gibberish.")
    (event.title seminar.345612 "Ontological Metonymy")
    (event.speaker seminar.345612 polly.syllabic)
    (event.subject seminar.345612 english)
    (event.room seminar.345612 hawking.100)
    (event.date seminar.345612 11/24/1998)
    (event.start seminar.345612 15-00)
    (event.end seminar.345612 16-00)
    (event.audience seminar.345612 school)
    (event.owner seminar.345612 ellie.eggplant)

    (seminar.instance seminar.456123)
    (seminar.audience seminar.456123 school)
    (seminar.abstract seminar.456123 "Nice history seminar.")
    (event.title seminar.456123 "Lessons from the Past")
    (event.speaker seminar.456123 helen.heavenly)
    (event.subject seminar.456123 history)
    (event.room seminar.456123 hawking.100)
    (event.date seminar.456123 11/25/1998)
    (event.start seminar.456123 15-00)
    (event.end seminar.456123 16-00)
    (event.audience seminar.456123 school)
    (event.owner seminar.456123 harry.jicama)

    (seminar.instance seminar.561234)
    (seminar.audience seminar.561234 public)
    (seminar.abstract seminar.561234
     "Exciting properties of groups, semigroups, monoids, fields, rings.")
    (event.title seminar.561234 "Rings and Things")
    (event.speaker seminar.561234 bill.boring)
    (event.subject seminar.561234 mathematics)
    (event.room seminar.561234 hawking.100)
    (event.date seminar.561234 11/26/1998)
    (event.start seminar.561234 15-00)
    (event.end seminar.561234 16-00)
    (event.audience seminar.561234 public)
    (event.owner seminar.561234 mary.mango)

    (seminar.instance seminar.612345)
    (seminar.audience seminar.612345 public)
    (seminar.abstract seminar.612345
     "Quarks have quirks.  That is why this seminar is entitled the Quirks of Quarks.  It is a seminar in quantum physics but should be understandable by the general  public.")
    (event.title seminar.612345 "Quirks of Quarks")
    (event.speaker seminar.612345 frank.frank)
    (event.subject seminar.612345 physics)
    (event.room seminar.612345 hawking.100)
    (event.date seminar.612345 11/27/1998)
    (event.start seminar.612345 15-00)
    (event.end seminar.612345 16-00)
    (event.audience seminar.612345 public)
    (event.owner seminar.612345 peter.potato)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; school
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (school.instance engineering)
    (school.dean engineering gary.grump)
    (school.department engineering architecture)
    (school.department engineering computers)

    (school.instance humanities)
    (school.dean humanities paul.pompous)
    (school.department humanities english)
    (school.department humanities history)

    (school.instance science)
    (school.dean science oren.overbearing)
    (school.department science mathematics)
    (school.department science physics)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; department
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (department.instance architecture)
    (department.school architecture engineering)
    (department.chairman architecture ivan.illegible)
    (department.administrator architecture amy.avocado)

    (department.instance computers)
    (department.school computers engineering)
    (department.chairman computers gary.grump)
    (department.administrator computers carol.carrot)

    (department.instance english)
    (department.school english humanities)
    (department.chairman english paul.pompous)
    (department.administrator english ellie.eggplant)

    (department.instance history)
    (department.school history humanities)
    (department.chairman history tanya.terrible)
    (department.administrator history harry.jicama)

    (department.instance mathematics)
    (department.school mathematics science)
    (department.chairman mathematics oren.overbearing)
    (department.administrator mathematics mary.mango)

    (department.instance physics)
    (department.school physics science)
    (department.chairman physics alan.arrogant)
    (department.administrator physics peter.potato)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; quarter
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (quarter.instance autumn)

    (quarter.instance winter)

    (quarter.instance spring)

    (quarter.instance summer)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; weekday
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (weekday.instance monday)

    (weekday.instance tuesday)

    (weekday.instance wednesday)

    (weekday.instance thursday)

    (weekday.instance friday)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; dates
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (thing.instance 11/23/1998)

    (thing.instance 11/24/1998)

    (thing.instance 11/25/1998)

    (thing.instance 11/26/1998)

    (thing.instance 11/27/1998)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; hour
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (hour.instance 00-00)

    (hour.instance 01-00)

    (hour.instance 02-00)

    (hour.instance 03-00)

    (hour.instance 04-00)

    (hour.instance 05-00)

    (hour.instance 06-00)

    (hour.instance 07-00)

    (hour.instance 08-00)

    (hour.instance 09-00)

    (hour.instance 10-00)

    (hour.instance 11-00)

    (hour.instance 12-00)

    (hour.instance 13-00)

    (hour.instance 14-00)

    (hour.instance 15-00)

    (hour.instance 16-00)

    (hour.instance 17-00)

    (hour.instance 18-00)

    (hour.instance 19-00)

    (hour.instance 20-00)

    (hour.instance 21-00)

    (hour.instance 22-00)

    (hour.instance 23-00)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; appliance
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (appliance.instance computer.projector)

    (appliance.instance overhead.projector)

    (appliance.instance slide.projector)

    (appliance.instance tv)

    (appliance.instance vcr)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; requirement
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (requirement.instance core)

    (requirement.instance culture)

    (requirement.instance technology)

    (requirement.instance writing)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; grade
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (grade.instance a)

    (grade.instance b)

    (grade.instance c)

    (grade.instance d)

    (grade.instance f)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; schedule
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (thing.instance bauhaus-100-11/23/1998-08-17-30-day)
    (schedule.room bauhaus-100-11/23/1998-08-17-30-day bauhaus.100)
    (schedule.date bauhaus-100-11/23/1998-08-17-30-day 11/23/1998)

    (thing.instance bauhaus-200-11/23/1998-08-17-30-day)
    (schedule.room bauhaus-200-11/23/1998-08-17-30-day bauhaus.200)
    (schedule.date bauhaus-200-11/23/1998-08-17-30-day 11/23/1998)

    (thing.instance frost-100-11/23/1998-08-17-30-day)
    (schedule.room frost-100-11/23/1998-08-17-30-day frost.100)
    (schedule.date frost-100-11/23/1998-08-17-30-day 11/23/1998)

    (thing.instance frost-200-11/23/1998-08-17-30-day)
    (schedule.room frost-200-11/23/1998-08-17-30-day frost.200)
    (schedule.date frost-200-11/23/1998-08-17-30-day 11/23/1998)

    (thing.instance hawking-100-11/23/1998-08-17-30-day)
    (schedule.room hawking-100-11/23/1998-08-17-30-day hawking.100)
    (schedule.date hawking-100-11/23/1998-08-17-30-day 11/23/1998)

    (thing.instance hawking-200-11/23/1998-08-17-30-day)
    (schedule.room hawking-200-11/23/1998-08-17-30-day hawking.200)
    (schedule.date hawking-200-11/23/1998-08-17-30-day 11/23/1998)

    (thing.instance all-0-11/23/1998-08-17-30-day)
    (schedule.room all-0-11/23/1998-08-17-30-day all)
    (schedule.date all-0-11/23/1998-08-17-30-day 11/23/1998)

    (thing.instance all-0-11/24/1998-08-17-30-day)
    (schedule.room all-0-11/24/1998-08-17-30-day all)
    (schedule.date all-0-11/24/1998-08-17-30-day 11/24/1998)

    (thing.instance all-0-11/25/1998-08-17-30-day)
    (schedule.room all-0-11/25/1998-08-17-30-day all)
    (schedule.date all-0-11/25/1998-08-17-30-day 11/25/1998)

    (thing.instance all-0-11/26/1998-08-17-30-day)
    (schedule.room all-0-11/26/1998-08-17-30-day all)
    (schedule.date all-0-11/26/1998-08-17-30-day 11/26/1998)

    (thing.instance all-0-11/27/1998-08-17-30-day)
    (schedule.room all-0-11/27/1998-08-17-30-day all)
    (schedule.date all-0-11/27/1998-08-17-30-day 11/27/1998)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; rules
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

(<= (isa ?x appliance)
    (appliance.instance ?x))

(<= (isa ?x book)
    (book.instance ?x))

(<= (isa ?x building)
    (building.instance ?x))

(<= (isa ?x classroom)
    (classroom.instance ?x))

(<= (isa ?x computer)
    (computer.instance ?x))

(<= (isa ?x course)
    (course.instance ?x))

(<= (isa ?x date)
    (date.instance ?x))

(<= (isa ?x department)
    (department.instance ?x))

(<= (isa ?x grade)
    (grade.instance ?x))

(<= (isa ?x gradesheet)
    (gradesheet.instance ?x))

(<= (isa ?x hour)
    (hour.instance ?x))

(<= (isa ?x job)
    (job.instance ?x))

(<= (isa ?x lecture)
    (lecture.instance ?x))

(<= (isa ?x faculty)
    (faculty.instance ?x))

(<= (isa ?x lecture)
    (lecture.instance ?x))

(<= (isa ?x office)
    (office.instance ?x))

(<= (isa ?x quarter)
    (quarter.instance ?x))

(<= (isa ?x rank)
    (rank.instance ?x))

(<= (isa ?x requirement)
    (requirement.instance ?x))

(<= (isa ?x schedule)
    (schedule.instance ?x))

(<= (isa ?x school)
    (school.instance ?x))

(<= (isa ?x seminar)
    (seminar.instance ?x))

(<= (isa ?x staff)
    (staff.instance ?x))

(<= (isa ?x student)
    (student.instance ?x))

(<= (isa ?x weekday)
    (weekday.instance ?x))

(<= (isa ?x year)
    (year.instance ?x))

(<= (gradesheet.instance ?x)
    (course.instance ?c)
    (makestring ?c ?cs)
    (stringappend ?cs ".gradesheet" ?xs)
    (makestring ?x ?xs))

(<= (transcript.instance ?x)
    (student.instance ?s)
    (makestring ?s ?ss)
    (stringappend ?ss ".transcript" ?xs)
    (makestring ?x ?xs))

(<= (schedule.instance ?x)
    (makestring ?x ?xs)
    (stringmatch "(.*)-(.*)-.*-.*-.*-.*-.*" ?xs ?bs ?rs)
    (stringappend ?bs "." ?rs ?cs)
    (convertfromstring ?cs ?c)
    (classroom.instance ?c))

(<= (activity.instance ?x)
    (course.instance ?x))

(<= (activity.instance ?x)
    (lecture.instance ?x))

(<= (activity.instance ?x)
    (seminar.instance ?x))

(<= (appliance.classroom ?x ?y)
    (classroom.feature ?y ?x))

(<= (classroom.schedule ?x ?y)
    (makestring ?x ?xs)
    (stringposition "." ?xs ?m)
    (stringlength ?xs ?n)
    (1- ?m ?m-1)
    (1+ ?m ?m+1)
    (stringsubseq ?xs 1 ?m-1 ?bs)
    (stringsubseq ?xs ?m+1 ?n ?rs)
    (stringappend ?bs "-" ?rs "-11/23/1998-08-17-30-day" ?ys)
    (convertfromstring ?ys ?y))

(<= (department.affiliate ?x ?y)
    (faculty.affiliation ?y ?x))

(<= (department.affiliate ?x ?y)
    (staff.affiliation ?y ?x))

(<= (department.affiliate ?x ?y)
    (student.major ?y ?x))

(<= (department.course ?x ?y)
    (course.department ?y ?x))

(<= (faculty.image ?x ?z)
    (faculty.jpeg ?x ?y)
    (stringappend "<A HREF=\"" ?y "\" TARGET=fullsize><IMG SRC=\"" ?y
              "\" HEIGHT=90></A>" ?z))

(<= (faculty.advisee ?x ?y)
    (student.advisor ?y ?x))

(<= (faculty.course ?x ?y)
    (course.teacher ?y ?x))

(<= (faculty.publication ?x ?y)
    (book.author ?y ?x))

(<= (hour.course ?x ?y)
    (course.hour ?y ?x))

(<= (job.holder ?x ?y)
    (staff.classification ?y ?x))

(<= (lecture.date ?x ?y)
    (event.date ?x ?y))

(<= (lecture.end ?x ?y)
    (event.end ?x ?y))

(<= (lecture.owner ?x ?y)
    (event.owner ?x ?y))

(<= (lecture.room ?x ?y)
    (event.room ?x ?y))

(<= (lecture.start ?x ?y)
    (event.start ?x ?y))

(<= (lecture.title ?x ?y)
    (event.title ?x ?y))

(<= (location.instance ?x)
    (building.instance ?x))

(<= (location.instance ?x)
    (classroom.instance ?x))

(<= (location.instance ?x)
    (office.instance ?x))

(<= (organization.instance ?x)
    (department.instance ?x))

(<= (organization.instance ?x)
    (school.instance ?x))

(<= (person.instance ?x)
    (faculty.instance ?x))

(<= (person.instance ?x)
    (staff.instance ?x))

(<= (person.instance ?x)
    (student.instance ?x))

(<= (person.status ?x faculty)
    (faculty.instance ?x))

(<= (person.status ?x staff)
    (staff.instance ?x))

(<= (person.status ?x student)
    (student.instance ?x))

(<= (person.affiliation ?x ?y)
    (faculty.affiliation ?x ?y))

(<= (person.affiliation ?x ?y)
    (staff.affiliation ?x ?y))

(<= (person.affiliation ?x ?y)
    (student.affiliation ?x ?y))

(<= (person.office ?x ?y)
    (faculty.office ?x ?y))

(<= (person.office ?x ?y)
    (staff.office ?x ?y))

(<= (person.office ?x ?y)
    (student.office ?x ?y))

(<= (quarter.course ?x ?y)
    (course.quarter ?y ?x))

(<= (rank.faculty ?x ?y)
    (faculty.rank ?y ?x))

(<= (requirement.satisfier ?x ?y)
    (course.satisfies ?y ?x))

(<= (seminar.date ?x ?y)
    (event.date ?x ?y))

(<= (seminar.end ?x ?y)
    (event.end ?x ?y))

(<= (seminar.owner ?x ?y)
    (event.owner ?x ?y))

(<= (seminar.room ?x ?y)
    (event.room ?x ?y))

(<= (seminar.speaker ?x ?y)
    (event.speaker ?x ?y))

(<= (seminar.subject ?x ?y)
    (event.subject ?x ?y))

(<= (seminar.start ?x ?y)
    (event.start ?x ?y))

(<= (seminar.title ?x ?y)
    (event.title ?x ?y))

(<= (thing.instance ?x)
    (appliance.instance ?x))

(<= (thing.instance ?x)
    (book.instance ?x))

(<= (thing.instance ?x)
    (computer.instance ?x))

(<= (weekday.course ?x ?y)
    (course.day ?y ?x))

(<= (year.student ?x ?y)
    (student.year ?y ?x))

(<= (leq ?x ?y)
    (makestring ?x ?xs)
    (makestring ?y ?ys)
    (stringless ?xs ?ys))

(<= (faculty.isa ?x faculty.a..d)
    (isa ?x faculty)
    (makestring ?x ?xs)
    (stringsubseq ?xs 1 1 ?c)
    (oneof ?c "a" "b" "c" "d"))

(<= (faculty.isa ?x faculty.e..h)
    (isa ?x faculty)
    (makestring ?x ?xs)
    (stringsubseq ?xs 1 1 ?c)
    (oneof ?c "e" "f" "g" "h"))

(<= (faculty.isa ?x faculty.i..l)
    (isa ?x faculty)
    (makestring ?x ?xs)
    (stringsubseq ?xs 1 1 ?c)
    (oneof ?c "i" "j" "k" "l"))

(<= (faculty.isa ?x faculty.m..p)
    (isa ?x faculty)
    (makestring ?x ?xs)
    (stringsubseq ?xs 1 1 ?c)
    (oneof ?c "m" "n" "o" "p"))

(<= (faculty.isa ?x faculty.q..t)
    (isa ?x faculty)
    (makestring ?x ?xs)
    (stringsubseq ?xs 1 1 ?c)
    (oneof ?c "q" "r" "s" "t"))

(<= (faculty.isa ?x faculty.u..z)
    (isa ?x faculty)
    (makestring ?x ?xs)
    (stringsubseq ?xs 1 1 ?c)
    (oneof ?c "u" "v" "w" "x" "y" "z"))

(<= (staff.isa ?x staff.a..d)
    (isa ?x staff)
    (makestring ?x ?xs)
    (stringsubseq ?xs 1 1 ?c)
    (oneof ?c "a" "b" "c" "d"))

(<= (staff.isa ?x staff.e..h)
    (isa ?x staff)
    (makestring ?x ?xs)
    (stringsubseq ?xs 1 1 ?c)
    (oneof ?c "e" "f" "g" "h"))

(<= (staff.isa ?x staff.i..l)
    (isa ?x staff)
    (makestring ?x ?xs)
    (stringsubseq ?xs 1 1 ?c)
    (oneof ?c "i" "j" "k" "l"))

(<= (staff.isa ?x staff.m..p)
    (isa ?x staff)
    (makestring ?x ?xs)
    (stringsubseq ?xs 1 1 ?c)
    (oneof ?c "m" "n" "o" "p"))

(<= (staff.isa ?x staff.q..t)
    (isa ?x staff)
    (makestring ?x ?xs)
    (stringsubseq ?xs 1 1 ?c)
    (oneof ?c "q" "r" "s" "t"))

(<= (staff.isa ?x staff.u..z)
    (isa ?x staff)
    (makestring ?x ?xs)
    (stringsubseq ?xs 1 1 ?c)
    (oneof ?c "u" "v" "w" "x" "y" "z"))

(<= (student.isa ?x student.a..d)
    (isa ?x student)
    (makestring ?x ?xs)
    (stringsubseq ?xs 1 1 ?c)
    (oneof ?c "a" "b" "c" "d"))

(<= (student.isa ?x student.e..h)
    (isa ?x student)
    (makestring ?x ?xs)
    (stringsubseq ?xs 1 1 ?c)
    (oneof ?c "e" "f" "g" "h"))

(<= (student.isa ?x student.i..l)
    (isa ?x student)
    (makestring ?x ?xs)
    (stringsubseq ?xs 1 1 ?c)
    (oneof ?c "i" "j" "k" "l"))

(<= (student.isa ?x student.m..p)
    (isa ?x student)
    (makestring ?x ?xs)
    (stringsubseq ?xs 1 1 ?c)
    (oneof ?c "m" "n" "o" "p"))

(<= (student.isa ?x student.q..t)
    (isa ?x student)
    (makestring ?x ?xs)
    (stringsubseq ?xs 1 1 ?c)
    (oneof ?c "q" "r" "s" "t"))

(<= (student.isa ?x student.u..z)
    (isa ?x student)
    (makestring ?x ?xs)
    (stringsubseq ?xs 1 1 ?c)
    (oneof ?c "u" "v" "w" "x" "y" "z"))

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;