paip/paip.fas

262 lines
14 KiB
Plaintext

(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|1 3 (IN-PACKAGE #:PAIP)-1|
#17Y(00 00 00 00 00 00 00 00 20 01 DA 31 F6 0F 01 19 01)
("PAIP" |COMMON-LISP|::|*PACKAGE*|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|6 11 (DEFPARAMETER *TITLES* '(MD SR. JR. ...) ...)-2|
#26Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 DB DC 31 5A DB DD DE 2D 03 05 C6
19 01)
((|COMMON-LISP|::|SPECIAL| |PAIP|::|*TITLES*|) |PAIP|::|*TITLES*|
(|PAIP|::|MD| |PAIP|::|SR.| |PAIP|::|JR.| |PAIP|::|SIR|)
|COMMON-LISP|::|VARIABLE| "Titles aren't part of names."
|SYSTEM|::|%SET-DOCUMENTATION|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|13 17 (DEFUN FIRST-NAME (NAME) ...)-3|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|PAIP|::|FIRST-NAME| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|PAIP|::|FIRST-NAME|
#29Y(00 00 00 00 01 00 00 00 26 02 94 01 6B 00 38 03 8C C1 04 9E 5B 19
02 95 01 29 01 03 6D)
(|PAIP|::|*TITLES*|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|PAIP|::|NAME|)
"Select the first name from a NAME represented as a list." 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|19 21 (DEFUN LAST-NAME (NAME) ...)-4|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|PAIP|::|LAST-NAME| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|PAIP|::|LAST-NAME|
#17Y(00 00 00 00 01 00 00 00 26 02 AD 72 63 2F 00 19 02)
(|PAIP|::|FIRST-NAME|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|PAIP|::|NAME|)
"Select the last name from a NAME represented as a list." 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|23 31 (DEFUN POWER (N M) ...)-5|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|PAIP|::|POWER| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|PAIP|::|POWER|
#37Y(00 00 00 00 02 00 00 00 26 03 AD 8E AC 11 AD DA 90 01 2F 0E AE AF
97 03 6C 70 33 02 39 19 03 C5 19 03 9F 19 03)
(1.) (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|PAIP|::|N| |PAIP|::|M|) "Raise N to an integer power M." 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|33 44 (DEFUN COUNT-ATOMS (EXPR) ...)-6|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|PAIP|::|COUNT-ATOMS| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|PAIP|::|COUNT-ATOMS|
#38Y(00 00 00 00 01 00 00 00 26 02 92 01 09 C5 19 02 C6 19 02 93 01 77
9E 20 77 94 01 6C 76 95 02 6C 72 33 02 37 19 02)
(0. 1.) (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|PAIP|::|EXPR|) "Count how many atoms are in EXPR, disregarding NIL."
1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|46 52 (DEFUN COUNT-ALL-ATOMS (EXPR &OPTIONAL #) ...)-7|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|PAIP|::|COUNT-ALL-ATOMS| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|PAIP|::|COUNT-ALL-ATOMS|
#45Y(00 00 00 00 01 00 01 00 26 08 3B 01 0B C5 F9 92 02 09 9E 19 03 C5
19 03 93 02 77 9F 20 77 94 02 DA 6C 67 95 03 DB 6C 62 33 02 37 19
03)
(1. 0.) (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|PAIP|::|EXPR| |COMMON-LISP|::|&OPTIONAL| (|PAIP|::|IF-NULL| 1.))
"Count all atoms in EXPR, including NILs only in non-tail position." 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|54 64 (DEFUN COUNT-ANYWHERE (OBJ EXPR &OPTIONAL ...) ...)-8|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|PAIP|::|COUNT-ANYWHERE| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|PAIP|::|COUNT-ANYWHERE|
#57Y(00 00 00 00 02 00 01 00 26 09 3B 01 15 C5 F9 92 02 13 C6 19 04 C7
19 04 AD B0 B0 36 02 1C 76 C6 19 04 93 02 6D 9F 20 70 AF 94 03 AF
6C 5C B0 95 04 B0 6C 56 33 02 37 19 04)
(#.#'|COMMON-LISP|::|EQ| 0. 1.)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|PAIP|::|OBJ| |PAIP|::|EXPR| |COMMON-LISP|::|&OPTIONAL|
(|PAIP|::|TEST| #'|COMMON-LISP|::|EQ|))
"Count how many times an OBJ appears anywhere in an EXPR." 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|66 73 (DEFUN DOT-PRODUCT (LIST1 LIST2) ...)-9|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|PAIP|::|DOT-PRODUCT| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|PAIP|::|DOT-PRODUCT|
#20Y(00 00 00 00 02 00 00 00 26 03 DA DB B0 B0 33 01 16 9B 00 03)
(#.#'|COMMON-LISP|::|+| #.#'|COMMON-LISP|::|*|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|PAIP|::|LIST1| |PAIP|::|LIST2|)
"Compute the dot product of LIST1 and LIST2" 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|76 80 (DEFUN MAPPEND (FN LIST) ...)-10|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|PAIP|::|MAPPEND| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|PAIP|::|MAPPEND|
#19Y(00 00 00 00 02 00 00 00 26 03 DA AF AF 33 00 16 9B 00 03)
(#.#'|COMMON-LISP|::|APPEND|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|PAIP|::|FN| |COMMON-LISP|::|LIST|)
"Apply FN to each element of LIST and append the results." 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|82 84 (DEFUN ONE-OF (SET) ...)-11|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|PAIP|::|ONE-OF| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|PAIP|::|ONE-OF|
#17Y(00 00 00 00 01 00 00 00 26 02 AD 6F 00 61 01 19 02)
(|PAIP|::|RANDOM-ELT|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP|::|SET|) "Pick one element of SET, and make a list of it."
1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|86 88 (DEFUN RANDOM-ELT (CHOICES) ...)-12|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|PAIP|::|RANDOM-ELT| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|PAIP|::|RANDOM-ELT|
#22Y(00 00 00 00 01 00 00 00 26 02 AD AE 72 62 38 01 72 F7 32 5E 19 02)
() (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|PAIP|::|CHOICES|) "Choose a random element from list CHOICES." 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|90 97 (DEFPARAMETER *SIMPLE-GRAMMAR* '(# # # ...) ...)-13|
#26Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 DB DC 31 5A DB DD DE 2D 03 05 C6
19 01)
((|COMMON-LISP|::|SPECIAL| |PAIP|::|*SIMPLE-GRAMMAR*|)
|PAIP|::|*SIMPLE-GRAMMAR*|
((|PAIP|::|SENTENCE| (|PAIP|::|NOUN-PHRASE| |PAIP|::|VERB-PHRASE|))
(|PAIP|::|NOUN-PHRASE| (|PAIP|::|ARTICLE| |PAIP|::|NOUN|))
(|PAIP|::|VERB-PHRASE| (|PAIP|::|VERB| |PAIP|::|NOUN-PHRASE|))
(|PAIP|::|ARTICLE| |COMMON-LISP|::|THE| |PAIP|::|A|)
(|PAIP|::|NOUN| |PAIP|::|MAN| |PAIP|::|BALL| |PAIP|::|WOMAN|
|PAIP|::|TABLE|)
(|PAIP|::|VERB| |PAIP|::|HIT| |PAIP|::|TOOK| |PAIP|::|SAW|
|PAIP|::|LIKED|))
|COMMON-LISP|::|VARIABLE| "A grammar for a trivial subset of English."
|SYSTEM|::|%SET-DOCUMENTATION|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|99 100 (DEFVAR *GRAMMAR* *SIMPLE-GRAMMAR* ...)-14|
#31Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 DB 8C 57 05 DB 6B 02 31 5A DB DD
DE 2D 03 05 C6 19 01)
((|COMMON-LISP|::|SPECIAL| |PAIP|::|*GRAMMAR*|) |PAIP|::|*GRAMMAR*|
|PAIP|::|*SIMPLE-GRAMMAR*| |COMMON-LISP|::|VARIABLE|
"The grammar used by `generate'." |SYSTEM|::|%SET-DOCUMENTATION|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|102 104 (DEFUN RULE-LHS (RULE) ...)-15|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|PAIP|::|RULE-LHS| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|PAIP|::|RULE-LHS| #14Y(00 00 00 00 01 00 00 00 26 02 9E 5B 19 02) ()
(|COMMON-LISP|::|T| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|)
(|PAIP|::|RULE|) "The left-hand side of a RULE." 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|106 108 (DEFUN RULE-RHS (RULE) ...)-16|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|PAIP|::|RULE-RHS| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|PAIP|::|RULE-RHS| #14Y(00 00 00 00 01 00 00 00 26 02 9E 5C 19 02) ()
(|COMMON-LISP|::|T| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|)
(|PAIP|::|RULE|) "The right-hand side of a RULE." 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|110 112 (DEFUN REWRITES (CATEGORY) ...)-17|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|PAIP|::|REWRITES| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|PAIP|::|REWRITES|
#21Y(00 00 00 00 01 00 00 00 26 02 AD 6B 00 38 03 71 C8 2F 01 19 02)
(|PAIP|::|*GRAMMAR*| |PAIP|::|RULE-RHS|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|PAIP|::|CATEGORY|)
"Return a list of the possible rewrites for CATEGORY." 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|114 121 (DEFUN GENERATE (PHRASE) ...)-18|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|PAIP|::|GENERATE| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|PAIP|::|GENERATE|
#39Y(00 00 00 00 01 00 00 00 26 02 AD 6F 00 AE 8E 1D 08 92 00 0C AE 61
01 19 03 99 01 AF 30 02 19 03 14 6F 03 29 01 04 63)
(|PAIP|::|REWRITES| |PAIP|::|GENERATE| |PAIP|::|MAPPEND|
|PAIP|::|RANDOM-ELT|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|PAIP|::|PHRASE|) "Generate a random LHS present in `*grammar*'." 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|123 149 (DEFPARAMETER *BIGGER-GRAMMAR* '(# # # ...))-19|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 DB DC 31 5A C6 19 01)
((|COMMON-LISP|::|SPECIAL| |PAIP|::|*BIGGER-GRAMMAR*|)
|PAIP|::|*BIGGER-GRAMMAR*|
((|PAIP|::|SENTENCE| (|PAIP|::|NOUN-PHRASE| |PAIP|::|VERB-PHRASE|))
(|PAIP|::|NOUN-PHRASE|
(|PAIP|::|ARTICLE| |PAIP|::|ADJ*| |PAIP|::|NOUN| |PAIP|::|PP*|)
(|PAIP|::|NAME|) (|PAIP|::|PRONOUN|))
(|PAIP|::|VERB-PHRASE|
(|PAIP|::|VERB| |PAIP|::|NOUN-PHRASE| |PAIP|::|PP*|))
(|PAIP|::|PP*| |COMMON-LISP|::|NIL| (|PAIP|::|PP| |PAIP|::|PP*|))
(|PAIP|::|ADJ*| |COMMON-LISP|::|NIL| (|PAIP|::|ADJ| |PAIP|::|ADJ*|))
(|PAIP|::|PP| (|PAIP|::|PREP| |PAIP|::|NOUN-PHRASE|))
(|PAIP|::|PREP| |PAIP|::|TO| |PAIP|::|IN| |PAIP|::|BY| |PAIP|::|WITH|
|PAIP|::|ON|)
(|PAIP|::|ADJ| |PAIP|::|BIG| |PAIP|::|LITTLE| |PAIP|::|BLUE|
|PAIP|::|GREEN| |PAIP|::|ADIABATIC|)
(|PAIP|::|ARTICLE| |COMMON-LISP|::|THE| |PAIP|::|A|)
(|PAIP|::|NAME| |PAIP|::|PAT| |PAIP|::|KIM| |PAIP|::|LEE| |PAIP|::|TERRY|
|PAIP|::|ROBIN|)
(|PAIP|::|NOUN| |PAIP|::|MAN| |PAIP|::|BALL| |PAIP|::|WOMAN|
|PAIP|::|TABLE|)
(|PAIP|::|VERB| |PAIP|::|HIT| |PAIP|::|TOOK| |PAIP|::|SAW|
|PAIP|::|LIKED|)
(|PAIP|::|PRONOUN| |PAIP|::|HE| |PAIP|::|SHE| |PAIP|::|IT| |PAIP|::|THESE|
|PAIP|::|THOSE| |PAIP|::|THAT|)))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|151 151 (SETF *GRAMMAR* *BIGGER-GRAMMAR*)-20|
#16Y(00 00 00 00 00 00 00 00 20 01 0E 00 0F 01 19 01)
(|PAIP|::|*BIGGER-GRAMMAR*| |PAIP|::|*GRAMMAR*|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|153 158 (DEFUN GENERATE-TREE (PHRASE) ...)-21|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|PAIP|::|GENERATE-TREE| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|PAIP|::|GENERATE-TREE|
#42Y(00 00 00 00 01 00 00 00 26 02 AD 8E 1D 09 AD 88 01 0D AD 61 01 19
02 99 00 AE 33 00 16 19 02 AD AE 6F 01 6F 02 28 63 5D 19 02)
(|PAIP|::|GENERATE-TREE| |PAIP|::|REWRITES| |PAIP|::|RANDOM-ELT|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|PAIP|::|PHRASE|)
"Generate a random PHRASE, with a complete parse tree." 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|160 168 (DEFUN GENERATE-ALL (PHRASE) ...)-22|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|PAIP|::|GENERATE-ALL| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|PAIP|::|GENERATE-ALL|
#56Y(00 00 00 00 01 00 00 00 26 02 92 01 1B 00 1B 23 94 01 6C 11 95 02
6C 0D 30 00 19 02 99 02 AE 6F 01 30 03 19 02 93 01 65 AD 8E 1D 64
AD 88 01 6C AD 61 01 14 61 01 19 02)
(|PAIP|::|COMBINE-ALL| |PAIP|::|REWRITES| |PAIP|::|GENERATE-ALL|
|PAIP|::|MAPPEND|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|PAIP|::|PHRASE|)
"Generate a list of all possible expansions of PHRASE." 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|170 175 (DEFUN COMBINE-ALL (XLIST YLIST) ...)-23|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|PAIP|::|COMBINE-ALL| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|PAIP|::|COMBINE-ALL|
#18Y(00 00 00 00 02 00 00 00 26 03 DA AF AF 2D 03 01 19 03)
(#.#'|COMMON-LISP|::|APPEND| |PAIP|::|CROSS-PRODUCT|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|PAIP|::|XLIST| |PAIP|::|YLIST|)
"Return a list of lists formed by appending a YLIST to an XLIST.\n\n
E.g., (combine-all '((a) (b)) '((1) (2)))\n
=> ((A 1) (B 1) (A 2) (B 2))."
1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|177 189 (DEFUN CROSS-PRODUCT (FN AS BS) ...)-24|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|PAIP|::|CROSS-PRODUCT| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|PAIP|::|CROSS-PRODUCT|
#30Y(00 00 00 00 03 00 00 00 26 04 00 2B 02 7F 04 00 00 7F 03 00 01 AC
6D 00 01 AF 30 01 19 05)
(#Y(|PAIP|::|CROSS-PRODUCT-1|
#42Y(00 00 00 00 01 00 00 00 26 02 63 69 00 02 1B 0F 94 00 69 00 01
AD B2 76 02 84 02 16 01 83 00 AC 8D 9F 6D 16 01 AC 31 B1 19 03)
(|COMMON-LISP|::|NIL|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|PAIP|::|B|) |COMMON-LISP|::|NIL| 1)
|PAIP|::|MAPPEND|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|PAIP|::|FN| |PAIP|::|AS| |PAIP|::|BS|)
"Calculate the result of passing FN to the cross (or Cartesian) product of\n
lists of AS and BS."
1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))