%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% THE INTRO TO AI SHOW
%%% Summer Session I 1999
%%%
%%% DEMO:
%%% Hacking around in undisciplined fashion
%%% with parsing in OTTER.
%%%
%%% Selmer Bringsjord
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

set(auto).
assign(max_proofs,1).
assign(max_proofs,10).

formula_list(usable).

DET(athe).
DET(aa).
N(aselmer).
N(awumpus).
PREP(ato).
V(ais).
V(asee).
ADJ(asad).

all x all y ( (PREP(x) & N(y)) -> PP([x|y]) ).
all x all y ( (DET(x) & N(y)) -> NP([x|y])).
all x all y ((V(x) & ADJ(y)) -> VP([x|y])).
all x all y ( (VP(x) & PP(y)) -> VP([x|y])).
all x all y ((NP(x) & VP(y)) -> S([x|y])).

%-S([aselmer|[ais|asad]]).

%-(exists x (S(x) & $ANSWER(S(x)))).
%-(exists x (PP(x) & $ANSWER(PP(x)))).
%-(exists x (VP(x) & $ANSWER(VP(x)))).
%-(exists x (VP(x))).
%-VP([ais|asad]).
%-PP([ato|aselmer]).
%-VP([[ais|asad]|[ato|aselmer]]).
-S([[aa|aselmer]|[[ais|asad]|[ato|aselmer]]]).

end_of_list.