%***********************************************************************%
   %***********************************************************************%
   %***********                                                  **********%
   %***********   (C) 1991 Daniel Sleator and Davy Temperley     **********%
   %***********                                                  **********%
   %***********************************************************************%
   %***********************************************************************%

%\section{The abridged dictionary}
%\label{abridged-dictionary-appendix}

%{\footnotesize
%\begin{verbatim}

%WALL: W+ or Q+;
WALL: W+ or Q+ or CLg+; % a change to accommodate the new version of the prog.

John: (J- or O- or (S+ & {{@CO-} & {CL-}}) or SI-);
% All capitalized words - except at the beginning of sentences - will be
% treated as identical to "John". 

dog cat man woman park yard bone neighbor store street bird hammer
nose party friend house movie brother sister diner student exam:
   {@A-} & ((Ds- & {@M+ or ({C+} & Bs+)} & 
   (J- or Os- or (Ss+ & {{@CO-} & {CL-}}) or SIs-)) or Us-);

dogs cats men women parks yards bones neighbors stores streets birds
hammers noses parties friends houses movies brothers sisters diners
students exams wars winters actions laws successes:
   {@A-} & (({Dmc-} & {@M+ or ({C+} & Bp+)} & (J- or Op- or (Sp+ &
   {{@CO-} & {CL-}}) or SIp-)) or Up-);

water anger money politics trouble:
   {@A-} & (({Dmu-} & {@M+ or ({C+} & Bs+)} & 
   (J- or Os- or (Ss+ & {{@CO-} & {CL-}}) or SIs-)) or Us-);

war winter action law success:
   {@A-} & (({D*u-} & {@M+ or ({C+} & Bs+)} & 
   (J- or Os- or (Ss+ & {{@CO-} & {CL-}}) or SIs-)) or Us-);

she he: (Ss+ & {{@CO-} & {CL-}}) or SIs-;
me him them us: J- or O-;
her: D+ or J- or O-;
its my your their our: D+;
his: D+;

you: J- or O- or (Sp+ & {{@CO-} & {CL-}}) or SIp-;
it: J- or O- or (Ss+ & {{@CO-} & {CL-}}) or SIs-;
they we I: ((Sp+ & {{@CO-} & {CL-}}) or SIp-);

this: (J- or O- or (Ss+ & {{@CO-} & {CL-}}) or SIs-) or D*u+;
these: (J- or O- or (Sp+ & {{@CO-} & {CL-}}) or SIp-) or Dmc+;

something someone somebody everything nothing anything everyone
anyone everybody nobody anybody:
   {AI+ or @M+ or ({C+} & Bs+)} & (J- or O- or (Ss+ & {{@CO-} & {CL-}})
   or SIs-);

those: (Dmc+) or (({P+} or {{C+} & Bp+}) &
       (J- or O- or (Sp+ & {{@CO-} & {CL-}}) or SIp- or Xb-));

the: D+;

both: Dmc+ or ({P+} & ((Sp+ & {{@CO-} & {CL-}}) or SIp- or J- or O- or Xb-));

biggest longest best worst favorite prettiest nicest same next
smartest stupidest ugliest shortest hardest easiest:
   F-;

first second.a third last.a: F- or EV- or ({Xc+} & CO+);
other: Dm+;
an a every another: Ds+;

no: D+;

some: Dm+ or ({@M+ or ({C+} & Bp+)} & ((Sp+ & {{@CO-} & {CL-}}) or 
      SIp- or J- or O-));
most: D+ or
      ({@M+ or ({C+} & B+)} & ((S+ & {{@CO-} & {CL-}}) or SI- or J- or O-));
2 two three four five six seven eight nine ten several: Dmc+ or
   ({@M+ or ({C+} & Bp+)} & ((Sp+ & {{@CO-} & {CL-}}) or SIp- or J- or O-));

many: Dmc+ or 
   ({@M+ or ({C+} & Bp+)} & ((Sp+ & {{@CO-} & {CL-}}) or SIp- or J- or O-));
all: Dm+ or 
   ({@M+ or J+ or ({C+} & B+)} & ((S+ & {{@CO-} & {CL-}}) or SI- or J- or O-));
one: Ds+ or ({@M+ or ({C+} & Bs+)} &
   ((Ss+ & {{@CO-} & {CL-}}) or SIs- or J- or O-));
any: D+ or
   ({@M+ or ({C+} & Bp+)} & ((Sp+ & {{@CO-} & {CL-}}) or SIp- or J- or O-));

did: (Q- & SI+ & I+) or ((S- or 
   (Z- & B-)) & (((B- or O+) & {@EV+}) or I+));
do: (Q- & SIp+ & I+) or ((Sp- or 
   (Z- & Bp-) or I- or W-) & (((B- or O+) & {@EV+}) or I+));
does: (Q- & SIs+ & I+) or ((Ss- or (Z- & Bs-)) & (((B- or O+) & {@EV+}) or I+));
done: (V- or M- or (T- & ((B- or O+) & {@EV+})));
doing: ((O+ & {@EV+} & ((G+ & {{@CO-} & {CL-}}) or GI- or M-)) or (GI- & B- & {@EV+}));

has: ((Q- & SIs+) or Ss- or (Z- & B-)) & (TO+ or ((B- or O+) & {@EV+}) or T+);
have: ((Q- & SIp+) or Sp- or (Z- & Bp-) or I- or W-) &
      (TO+ or ((B- or O+) & {@EV+}) or ({N+} & T+) or VC-);
had: ((Q- & SI+) or S- or (Z- & B-) or T-) & (TO+ or ((B- or O+) & {@EV+}) or T+);
having: (TO+ or ((B- or O+) & {@EV+}) or T+) & ((G+ & {{@CO-} & {CL-}}) or GI- or M-);

is was: ((G- or Ss- or (Z- & Bs-) or (Q- & (GI+ or SIs+))) 
        & (AI+ or O+ or B- or P+ or GI+ or V+ or TO+ or TH+)) or (QI- & SIs+);
are were: ((Sp- or (Z- & Bp-) or (Q- & SIp+)) &  
          (AI+ or P+ or O+ or B- or GI+ or V+ or TO+ or TH+)) or (QI- & SIs+);
be: (I- or W-) & (AI+ or IX- or P+ or B- or GI+ or V+ or TO+ or TH+);
been: T- & (AI+ or IX- or P+ or B- or GI+ or V+ or TO+ or TH+);
being: (AI+ or IX- or P+ or B- or GI+ or V+ or 
       TO+ or TH+) & ((G+ & {{@CO-} & {CL-}}) or GI-);

will can.v may must could should would might: ((Q- & SI+) or
                       S- or G- or (Z- & B-)) & I+;

run come: {@EX-} & (Sp- or (Z- & Bp-) or I- or W- or T-) & {@EV+};
runs comes goes: {@EX-} & (Ss- or (Z- & Bs-)) & {@EV+};
ran came went: {@EX-} & (S- or (Z- & B-)) & {@EV+};
go: {@EX-} & (Sp- or (Z- & Bp-) or I- or W-) & {@EV+};
gone: {@EX-} & T- & {@EV+};
going: {@EX-} & (GI- or M-) & {TO+} & {@EV+};
running coming: {@EX-} & (GI- or M-) & {@EV+};

talk arrive die:
   {@EX-} & (Sp- or (Z- & Bp-) or I- or W-) & {@EV+};
talks.v arrives dies:
   {@EX-} & (Ss- or (Z- & Bs-)) & {@EV+};
talked arrived died:
   {@EX-} & (S- or (Z- & B-) or T-) & {@EV+};
talking arriving dying:
   {@EX-} & (GI- or M-) & {@EV+};

move.v win lose fly:
   {@EX-} & (Sp- or (Z- & Bp-) or I- or W-) & {O+ or B-} & {@EV+};
moves.v wins loses flies:
   {@EX-} & (Ss- or (Z- & Bs-)) & {O+ or B-} & {@EV+};
moved won lost flew:
   {@EX-} & (V- or M- or ((S- or (Z- & B-) or T-) & {O+ or B-})) & {@EV+};
winning losing moving.v flying:
   {@EX-} & (GI- or M-) & {O+ or B-} & {@EV+};

meet destroy chase invite kick arrest:
   {@EX-} & (Sp- or (Z- & Bp-) or I- or W-) & (O+ or B-) & {@EV+};
hit: {@EX-} & (V- or M- or ((S- or (Z- & B-) or I- or W- or T-) &
   (O+ or B-))) & {@EV+};
meets destroys chases hits invites kicks arrests:
   {@EX-} & (Ss- or (Z- & Bs-)) & (O+ or B-) & {@EV+};
met destroyed chased invited kicked arrested:
   {@EX-} & (V- or M- or ((S- or (Z- & B-) or T-) & (B- or O+))) & {@EV+};
meeting.v destroying chasing hitting inviting kicking arresting:
   {@EX-} & (GI- or M-) & (O+ or B-) & {@EV+};

tell: {@EX-} & (Sp- or (Z- & Bp-) or I- or W-) & ((O+ or B-) &
   {TH+ or CLb+ or Zb+ or TT+ or R+ or @EV+});
tells: {@EX-} & (Ss- or (Z- & Bs-)) & ((O+ or B-) & {TH+ or CLb+ or Zb+ or
   TT+ or R+ or @EV+});
told: {@EX-} & (V- or M- or ((S- or (Z- & B-) or T-) & (O+ or B-))) &
   {TH+ or CLb+ or Zb+ or TT+ or R+ or @EV+};
telling: {@EX-} & (GI- or M-) & ((O+ or B-) & {TH+ or CLb+ or Zb+ or
   TT+ or @EV+});

ask: {@EX-} & (Sp- or (Z- & Bp-) or I- or W-) & ({O+ or B-} &
   {TT+ or R+ or @EV+});
asks: {@EX-} & (Ss- or (Z- & Bs-)) & ({O+ or B-} & {TT+ or R+ or @EV+});
asked: {@EX-} & (V- or M- or ((S- or (Z- & B-) or T-) & {O+ or B-})) &
   {TT+ or R+ or @EV+};
asking: {@EX-} & (GI- or M-) & ({O+ or B-} & {TT+ or R+ or @EV+});

wonder: {@EX-} & (Sp- or (Z- & Bp-) or I- or W-) & {R+ or @EV+};
wonders: {@EX-} & (Ss- or (Z- & Bs-)) & {R+ or @EV+};
wondered: {@EX-} & (S- or (Z- & B-) or T-) & {R+ or @EV+};
wondering: {@EX-} & (GI- or M-) & {R+ or @EV+};
 
want need.v: {@EX-} & (Sp- or (Z- & Bp-) or I- or W-) & (TO+ or ((O+ or B-) &
   {@EV+} & {TT+}));
wants needs.v: {@EX-} & (Ss- or (Z- & Bs-)) & (TO+ or ((O+ or B-) &
   {@EV+} & {TT+}));
wanted needed: {@EX-} & (((V- or M-) & {@EV+}) or ((S- or (Z- & B-) or T-)
   & (TO+ or ((O+ or B-) & {@EV+} & {TT+}))));
wanting needing: {@EX-} & (GI- or M-) & (((O+ or B-) & {@EV+} & {TT+}) or TO+);

demand.v: {@EX-} & (Sp- or (Z- & Bp-) or I- or W-) & (TO+ or ((O+ or B-)
   & {@EV+}) or TH+ or TS+ or (SI+ & I+));
demands.v: {@EX-} & (Ss- or (Z- & Bs-)) & (TO+ or
   ((O+ or B-) & {@EV+}) or TH+ or TS+ or (SI+ & I+));
demanded: {@EX-} & (((V- or M-) & {@EV+}) or ((S- or (Z- & B-) or T-)
   & (TO+ or ((O+ or B-) & {@EV+}) or TH+ or TS+ or (SI+ & I+))));
demanding: {@EX-} & (GI- or M-) & (TO+ or ((O+ or B-) & {@EV+}) or TH+ or TS+ 
   or (SI+ & I+));

start begin continue stop.v try:
   {@EX-} & (Sp- or (Z- & Bp-) or I- or W-) & {TO+ or ({O+ or B-} &
   {@EV+}) or GI+};
starts begins continues stops.v tries:
   {@EX-} & (Ss- or (Z- & Bs-)) & {TO+ or ({O+ or B-} &
   {@EV+}) or GI+};
started continued stopped tried: {@EX-} & (((V- or M-) & {@EV+})
   or ((S- or (Z- & B-) or T-) & {TO+ or ({O+ or B-} & {@EV+}) or GI+}));
began: {@EX-} & (S- or (Z- & B-) or T-) & {TO+ or ({O+ or B-} &
   {@EV+}) or GI+};
begun: {@EX-} & (V- or M-) & {@EV+};
starting beginning continuing stopping trying: {@EX-} & (GI- or M-) &
   (TO+ or ({O+ or B-} & {@EV+}) or GI+) & {@EV+};

see hear watch.v: {@EX-} & (Sp- or (Z- & Bp-) or I- or W-) & {(B- or O+) &
   {I+ or GI+}} & {@EV+};
sees hears watches.v: {@EX-} & (Ss- or (Z- & Bs-)) & {(B- or O+) &
   {I+ or GI+}} & {@EV+};
heard watched: {@EX-} & (V- or M- or ((S- or (Z- & B-) or T-) &
   {(B- or O+) & {I+ or GI+}})) & {@EV+};
saw: {@EX-} & (S- or (Z- & B-)) & (B- or O+) & {I+ or GI+} & {@EV+};
seen: {@EX-} & (V- or M- or (T- & (B- or O+) & {I+ or GI+})) & {@EV+};
seeing hearing watching: {@EX-} & (GI- or M-) & {{O+ or B-} & {I+ or GI+}} & 
   {@EV+};

make: {@EX-} & (Sp- or (Z- & Bp-) or I- or W-) & ((B- or O+) & {@EV+} &
   {I+ or AI+});
makes: {@EX-} & (Ss- or (Z- & Bs-)) & ((B- or O+) & {I+ or AI+} & {@EV+});
made: {@EX-} & (V- or M- or ((S- or (Z- & B-) or T-) & (B- or O+))) &
   {I+ or AI+} & {@EV+};
making: {@EX-} & (GI- or M-) & ((O+ or B-) & {I+ or AI+}) & {@EV+};

think say:  {@EX-} & (Sp- or (Z- & Bp-) or I- or W-)
   & {CLb+ or TH+ or Z+};
thinks says: {@EX-} & Ss-
   & {CLb+ or TH+ or Z+};
thought said: {@EX-} & (V- or M- or
   ((S- or (Z- & B-) or T-) & {CLb+ or TH+ or Zb+}));
thinking saying: {@EX-} & (GI- or M-) & 
   {CLb+ or TH+ or Zb+} & {@EV+};

expect claim.v: {@EX-} & (Sp- or (Z- & Bp-) or I- or W-) & (CLb+ or TH+ or 
   Zb+ or TO+ or ((O+ or B-) & {@EV+} & {TT+}));
expects claims.v: {@EX-} & (Ss- or (Z- & Bs-)) & (CLb+ or TH+ or Zb+ or TO+ or
   ((O+ or B-) & {@EV+} & {TT+}));
expected claimed: {@EX-} & (((S- or (Z- & B-) or T-) & (CLb+ or TH+ or Zb+ or 
   TO+ or ((O+ or B-) & {@EV+} & {TT+}))) or ((V- or M-) & {TO+}));
expecting claiming: {@EX-} & (M- or GI-) &
   (CLb+ or TH+ or Zb+ or TO+ or ((O+ or B-) & {@EV+} & {TT+})) & {@EV+};

give sell buy pass: {@EX-} & (Sp- or (Z- & Bp-) or I- or W-) & ((O+ or B-) & 
   {O+} & {@EV+});
gives sells buys passes:
   {@EX-} & (Ss- or (Z- & Bs-)) & ((O+ or B-) & {O+} & {@EV+});
sold bought passed:
   {@EX-} & (V- or M- or ((S- or (Z- & B-) or T-) & (O+ or B-))) & {O+} & {@EV+};
gave: {@EX-} & (S- or (Z- & B-)) & (O+ or B-) & {O+} & {@EV+};
given: {@EX-} & (V- or M- or (T- & (O+ or B-))) & {O+} & {@EV+};
giving selling buying passing: {@EX-} & (GI- or M-) & (B- or O+) & {O+} & {@EV+};

look act.v sound.v: {@EX-} & (Sp- or (Z- & Bp-) or I- or W-) & AI+  & {@EV+};
looks acts.v sounds.v: {@EX-} & (Ss- or (Z- & Bs-)) & AI+ & {@EV+};
looked acted sounded: {@EX-} & (S- or (Z- & B-) or G- or T-) & AI+ & {@EV+};
looking acting sounding: {@EX-} & (GI- or M-) & AI+ & {@EV+};

ever hardly just probably also certainly partly largely never always
fortunately unfortunately apparently suddenly meanwhile eventually
then actually usually however moreover essentially commonly precisely
typically basically perhaps still presumably obviously potentially:
   EX+;

recently sometimes soon gradually specifically generally initially
ultimately already now sadly broadly:
   EX+ or EV-;

from with at against behind between below above during toward towards
without within beneath under beyond among for off in across through
by around out up down along like.p:
   (J+ or GI+) & (Mp- or EV-);

on over into about: (J+ or GI+ or R+) & (Mp- or EV-);

of: (J+ or GI+ or R+) & (Mp- or EV- or OF-);

here there: EV- or Mp-;

that: (CLb+ & TH-) or Ds+ or (C- & {Z+}) or SIs- or (Ss+ &
   {{@CO-} & {CL-}}) or J- or O- or (TS- & SI+ & I*j+) or J- or O-;

to: (I+ & (TO- or TV- or TT-)) or ((EV- or Mp-) & (J+ or GI+));

who: (C- & {Z+}) or QI+ or ((Q+ or R-) & B+) or (Ss+ & {R-});
what: ({U+} & (((Q+ or R-) & Br+) or ({R-} & Ss+) or QI+)) or
   ((Ss+ or Bs+) & (J- or O- or ({{@CO-} & {CL-}} & Ss+) or SIs-));
which: ({U+} & (((Q+ or R-) & Br+) or 
   ({R-} & Ss+) or QI+)) or (C- & {Z+});

because unless though although but and: (CL+ & (({Xc+} & CO+) or EV-));
after before since until: (CL+ or GI+ or J+) & (({Xc+} & CO+) or EV- or Mp-);
if: CL+ & (({Xc+} & CO+) or EV- or R-);

when: (R- & (CL+ or IX+)) or Q+ or QI+ or (CL+ & (({Xc+} & CO+) or EV-));
why:  (R- & CL+) or Q+;
where:((R- or Mp-) & (CL+ or IX+)) or Q+ or QI+ or (CL+ & (({Xc+} & CO+) or EV-));
whether: R- & CL+;
how:  (R- & (CL+ or IX+)) or Q+ or QI+;

% not: N- or Et+; Should we include this? It complicates things somewhat

fast slow short long black white big small beautiful ugly tired angry:
   {Ea- or Eb+} & (A+ or (AI- & {EV+}));

glad afraid scared.a fortunate unfortunate lucky unlucky:
   {Ea-} & (A+ or (AI- & {EV+} & {CL+ or TO+ or TH+}));
certain uncertain sure unsure:
   {Ea-} & (A+ or (AI- & {EV+} & {CL+ or TO+ or TH+ or R+}));
happy correct.a incorrect sad right.a excited.a surprised.a delighted.a
disappointed.a upset.a sorry:
   {Ea-} & (A+ or (AI- & {EV+} & {TO+ or TH+}));
apprehensive secure optimistic pessimistic annoyed.a confused.a offended.a
insulted.a concerned.a confident depressed.a aware doubtful skeptical:
   {Ea- or Eb+} & (A+ or (AI- & {EV+} & {TH+}));
smart intelligent wise eager reluctant able unable impatient eligible:
   {Ea- or Eb+} & (A+ or (AI- & {EV+} & {TO+}));

almost nearly fairly pretty.e very quite extremely: Ea+;

quickly angrily naively: EV- or EX+;

too: ((AI- & AI+) or (EV- & EV+)) & {TO+};

so: (AI- & AI+ & {TH+}) or (EV- & CL+);

as: (CL+ or J+) & (({Xc+} & CO+) or Mp- or EV-);

more: Dm+ or (AI- & AI+ & {LM+}) or (O- & {U+} & {LN+}) or 
   (EV- & {EV+} & {LE+});

%much: Ec+ or HM- or (HN- & Us+) or ({Ee-} & (EV- or Dmu+));
%how much, how many?

bigger taller older younger heavier lighter darker fatter thinner
cheaper prettier uglier smaller larger deeper longer shorter stronger
weaker:
   {Ec-} & ((AI- & {EV+} & {LA+}) or A+);

than: ((IX+ or O+) & (LM- or LA-)) or ((LN- or LE-) & (O+ or IX+)) 
   or (LM- & AI+);

,: Xc-;

%\end{verbatim}
%}