%database for Problems 1-3.

program(shrdlu).
program(lunar).
book(principia).
book(begriffsschrift).
man(gottlob).
man(bertrand).
man(terry).
man(bill).
man(gilbert).
man(george).
professor(gottlob).
professor(bertrand).
professor(terry).
professor(bill).
wrote(terry,shrdlu).
wrote(bill,lunar).
ran(terry,shrdlu).
ran(bill,lunar).
wrote(bertrand,principia).
wrote(gottlob,begriffsschrift).
walks(gilbert).
walks(george).
walks(bertrand).
walks(gottlob).
walks(terry).
walks(bill).
halted(lunar).
met(gilbert,george).
met(gottlob,bertrand).
concerns(principia,mathematics).
concerns(begriffsschrift,mathematics).

%% Sentences for problems 1-3: you can change vocabulary but not construction.
%
%[some, program, halted]
%[some, man, wrote, some, book]
%[every, program, halted]
%[every, man, walks]
%[some, man, walks]
%[every, program, that, bill, wrote, halted]
%[did, bertrand, write, a, book]
%[who, wrote, begriffsschrift]
%[which, book, did, bertrand, write]
%[which, man, wrote, a, book, that, concerns, mathematics]
%[which, subject, did, some, book, that, bertrand, wrote, concern]
%