(AJ::WORLD-FACTS SESSION-USER KEN.HAASE SESSION-START 2863255800 SESSION-END 2863255852 SESSION-HOST "liszt" SESSION-SITE "MIT Media Laboratory Music & Cognition Group" SESSION-PURPOSE AJ::WORLD-FACTS REFERENTS (("WF" "PARSE-BORDER") ("WF" "SPLIT-BORDER") ("WF" "BORDER-BETWEEN") ("WF" "COMPUTE-BORDERS") ("WF" "LIST-OF.2") ("WF" "BORDERS") ("WF" "DISPUTE-OCCUPIES-FORM") ("WF" "DISPUTE-PERIODIC-FORM") ("WF" "DISPUTE-QUESTION-FORM") ("WF" "DISPUTE-WITH-FORM") ("WF" "DISPUTE-OTHER-CENTERED") ("WF" "COMMA-LIST-HEADER") ("WF" "COMMA-LIST-TERMINUS") ("WF" "COMMA-LIST-NO-AND") ("WF" "PARSE-DISPUTE") ("WF" "DESCRIBE-DISPUTE") ("WF" "DISPUTATION-OVER") PROTOTYPICAL-BAG-SLOT ("WF" "DISPUTANTS") ("WF" "COMPUTE-DISPUTES") ("WF" "LIST-OF.1") PROTOTYPICAL-CACHED-SLOT ("WF" "DISPUTES") ("WF" "DISPUTE-DESCRIPTIONS") ("WF" "GERMAN.DEMOCRATIC.REPUBLIC") ("WF" "GDR") ("WF" "FEDERAL.REPUBLIC.OF.GERMANY") ("WF" "FRG") ("WF" "UNITED.STATES") ("WF" "US") ("WF" "USSR") ("WF" "SOVIET.UNION") ("WF" "THE.USSR") ("WF" "FIND-REFERENT") ("WF" "SPECIAL-TRANSLATION") ("WF" "FEMALE-LIFE-EXPECTANCY") ("WF" "MALE-LIFE-EXPECTANCY") ("WF" "CONSUMER-INFLATION") ("WF" "UNEMPLOYMENT-RATE") ("WF" "EXCHANGE-RATE") ("WF" "ELECTRICAL-PRODUCTION") ("WF" "ELECTRICAL-CAPACITY") ("WF" "MILITARY-EXPENDITURES") ("WF" "CAPITAL-EXPENDITURES") ("WF" "FEDERAL-EXPENDITURES") ("WF" "FEDERAL-REVENUES") ("WF" "POPULATION-GROWTH") ("WF" "POPULATION") ("WF" "LAND-BORDER") ("WF" "BORDER-DESCRIPTIONS") ("LISP" "NUMBERP") PROTOTYPICAL-SLOT ("WF" "BORDER-LENGTH") ("KEYWORD" "KILOMETERS") ("WF" "COASTLINE") ("WF" "LAND-AREA") READ-ENGLISH-NUMBER PROTOTYPICAL-STRING-EXTRACTION ("WF" "TOTAL-AREA") ("WF" "Military budget") ("WF" "Military manpower") ("WF" "Telecommunications") ("WF" "Airports") ("WF" "Merchant marine") ("WF" "Ports") ("WF" "Pipelines") ("WF" "Highways") ("WF" "Railroads") ("WF" "Fiscal year") ("WF" "Exchange rates") ("WF" "Currency") ("WF" "Aid") ("WF" "Agriculture") ("WF" "Industries") ("WF" "Electricity") ("WF" "Industrial production") ("WF" "External debt") ("WF" "Imports") ("WF" "Exports") ("WF" "Budget") ("WF" "Unemployment rate") ("WF" "Inflation rate (consumer prices)") ("WF" "GNP") ("WF" "Overview") ("WF" "Flag") ("WF" "Diplomatic representation") ("WF" "Member of") ("WF" "Voting strength") ("WF" "Political parties and leaders") ("WF" "Elections") ("WF" "Suffrage") ("WF" "Leaders") ("WF" "Branches") ("WF" "National holiday") ("WF" "Legal system") ("WF" "Constitution") ("WF" "Administrative divisions") ("WF" "Capital") ("WF" "Type") ("WF" "Long-form name") ("WF" "Organized labor") ("WF" "Labor force") ("WF" "Literacy") ("WF" "Language") ("WF" "Religion") ("WF" "Ethnic divisions") ("WF" "Nationality") ("WF" "Total fertility rate") ("WF" "Life expectancy at birth") ("WF" "Infant mortality rate") ("WF" "Net migration rate") ("WF" "Death rate") ("WF" "Birth rate") ("WF" "Population") ("WF" "Environment") ("WF" "Land use") ("WF" "Natural resources") ("WF" "Terrain") ("WF" "Climate") ("WF" "Disputes") ("WF" "Territorial sea") ("WF" "Extended economic zone") ("WF" "Maritime claims") ("WF" "Coastline") ("WF" "Land boundaries") ("WF" "Comparative area") ("WF" "Total area") ("WF" "Civil air") ("WF" "Inland waterways") ("WF" "stabilized soil") ("WF" "GDP") ("WF" "Communists") ("WF" "Independence") ("WF" "Note") ("WF" "Leader") ("WF" "Exclusive fishing zone") ("WF" "Other political or pressure groups") ("WF" "Continental shelf") ("WF" "Contiguous zone") ("WF" "Political parties or pressure groups") ("WF" "GWP (gross world product)") ("WF" "Political party and leader") ("WF" "Member") ("WF" "Land boundary") ("WF" "Branch") ("WF" "Dependent areas") ("WF" "Political or pressure groups") ("WF" "Other political parties or pressure groups") ("WF" "Political parties") ("WF" "Maritime claim") ("WF" "Other political pressure groups") ("WF" "Political party") ("WF" "Other political groups") ("WF" "Natural Resources") ("WF" "Fiscal Year") ("WF" "Assembly--deputies") ("WF" "Dependent area") ("WF" "Neeriyas, Koror (mailing address") ("WF" "National holidays") ("WF" "Voting strengths") ("WF" "Supreme Revolutionary Council") ("WF" "Gulf of Sidra closing line") ("WF" "Notes") ("WF" "Political party and leaders") ("WF" "Military boundary line") ("WF" "leaders") ("WF" "Airport") ("WF" "Other special interest groups") ("WF" "Chief of State President") ("WF" "partners") ("WF" "areas") ("WF" "Unemployment") ("WF" "pressure groups") ("WF" "Industry") ("WF" "Congress) has legislative power") ("WF" " GNP") ("WF" "Head of Government") ("WF" "or to depth of exploitation, Extended economic zone") ("WF" "limits of continental margin, Extended economic zone") ("WF" "Political parties and pressure groups") ("WF" "to depth of exploration, Exclusive fishing zone") ("WF" "Airfield") ("WF" "Other agreements") ("WF" "Antarctic Treaty Summary") SINGLE-VALUED-SLOTS ("WF" "WF-SLOTS") COLLECTIONS ("WF" "WF-ENTRIES")))
(IN-PACKAGE WF::WF KEYWORD::NICKNAMES (KEYWORD::WORLD-FACTS) KEYWORD::USE (KEYWORD::ARLOTJE KEYWORD::HUH KEYWORD::LISP))
(DECLARE-UNIT WF::WF-ENTRIES)
(ASSERTION WF::WF-ENTRIES MEMBER-OF COLLECTIONS)
(DECLARE-UNIT WF::WF-SLOTS)
(ASSERTION WF::WF-SLOTS MEMBER-OF COLLECTIONS)
(ASSERTION WF::WF-SLOTS SUPERSETS SINGLE-VALUED-SLOTS)
(ASSERTION WF::WF-SLOTS MEMBERS-HAVE (MAKES-SENSE-FOR WF::WF-ENTRIES))
(DECLARE-UNIT WF::|Antarctic Treaty Summary|)
(ASSERTION WF::|Antarctic Treaty Summary| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Other agreements|)
(ASSERTION WF::|Other agreements| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Airfield|)
(ASSERTION WF::|Airfield| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|to depth of exploration, Exclusive fishing zone|)
(ASSERTION WF::|to depth of exploration, Exclusive fishing zone| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Political parties and pressure groups|)
(ASSERTION WF::|Political parties and pressure groups| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|limits of continental margin, Extended economic zone|)
(ASSERTION WF::|limits of continental margin, Extended economic zone| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|or to depth of exploitation, Extended economic zone|)
(ASSERTION WF::|or to depth of exploitation, Extended economic zone| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Head of Government|)
(ASSERTION WF::|Head of Government| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::| GNP|)
(ASSERTION WF::| GNP| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Congress) has legislative power|)
(ASSERTION WF::|Congress) has legislative power| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Industry|)
(ASSERTION WF::|Industry| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|pressure groups|)
(ASSERTION WF::|pressure groups| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Unemployment|)
(ASSERTION WF::|Unemployment| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|areas|)
(ASSERTION WF::|areas| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|partners|)
(ASSERTION WF::|partners| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Chief of State President|)
(ASSERTION WF::|Chief of State President| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Other special interest groups|)
(ASSERTION WF::|Other special interest groups| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Airport|)
(ASSERTION WF::|Airport| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|leaders|)
(ASSERTION WF::|leaders| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Military boundary line|)
(ASSERTION WF::|Military boundary line| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Political party and leaders|)
(ASSERTION WF::|Political party and leaders| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Notes|)
(ASSERTION WF::|Notes| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Gulf of Sidra closing line|)
(ASSERTION WF::|Gulf of Sidra closing line| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Supreme Revolutionary Council|)
(ASSERTION WF::|Supreme Revolutionary Council| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Voting strengths|)
(ASSERTION WF::|Voting strengths| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|National holidays|)
(ASSERTION WF::|National holidays| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Neeriyas, Koror (mailing address|)
(ASSERTION WF::|Neeriyas, Koror (mailing address| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Dependent area|)
(ASSERTION WF::|Dependent area| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Assembly--deputies|)
(ASSERTION WF::|Assembly--deputies| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Fiscal Year|)
(ASSERTION WF::|Fiscal Year| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Natural Resources|)
(ASSERTION WF::|Natural Resources| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Other political groups|)
(ASSERTION WF::|Other political groups| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Political party|)
(ASSERTION WF::|Political party| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Other political pressure groups|)
(ASSERTION WF::|Other political pressure groups| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Maritime claim|)
(ASSERTION WF::|Maritime claim| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Political parties|)
(ASSERTION WF::|Political parties| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Other political parties or pressure groups|)
(ASSERTION WF::|Other political parties or pressure groups| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Political or pressure groups|)
(ASSERTION WF::|Political or pressure groups| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Dependent areas|)
(ASSERTION WF::|Dependent areas| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Branch|)
(ASSERTION WF::|Branch| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Land boundary|)
(ASSERTION WF::|Land boundary| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Member|)
(ASSERTION WF::|Member| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Political party and leader|)
(ASSERTION WF::|Political party and leader| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|GWP (gross world product)|)
(ASSERTION WF::|GWP (gross world product)| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Political parties or pressure groups|)
(ASSERTION WF::|Political parties or pressure groups| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Contiguous zone|)
(ASSERTION WF::|Contiguous zone| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Continental shelf|)
(ASSERTION WF::|Continental shelf| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Other political or pressure groups|)
(ASSERTION WF::|Other political or pressure groups| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Exclusive fishing zone|)
(ASSERTION WF::|Exclusive fishing zone| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Leader|)
(ASSERTION WF::|Leader| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Note|)
(ASSERTION WF::|Note| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Independence|)
(ASSERTION WF::|Independence| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Communists|)
(ASSERTION WF::|Communists| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::GDP)
(ASSERTION WF::GDP MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|stabilized soil|)
(ASSERTION WF::|stabilized soil| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Inland waterways|)
(ASSERTION WF::|Inland waterways| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Civil air|)
(ASSERTION WF::|Civil air| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Total area|)
(ASSERTION WF::|Total area| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Comparative area|)
(ASSERTION WF::|Comparative area| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Land boundaries|)
(ASSERTION WF::|Land boundaries| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Coastline|)
(ASSERTION WF::|Coastline| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Maritime claims|)
(ASSERTION WF::|Maritime claims| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Extended economic zone|)
(ASSERTION WF::|Extended economic zone| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Territorial sea|)
(ASSERTION WF::|Territorial sea| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Disputes|)
(ASSERTION WF::|Disputes| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Climate|)
(ASSERTION WF::|Climate| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Terrain|)
(ASSERTION WF::|Terrain| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Natural resources|)
(ASSERTION WF::|Natural resources| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Land use|)
(ASSERTION WF::|Land use| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Environment|)
(ASSERTION WF::|Environment| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Population|)
(ASSERTION WF::|Population| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Birth rate|)
(ASSERTION WF::|Birth rate| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Death rate|)
(ASSERTION WF::|Death rate| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Net migration rate|)
(ASSERTION WF::|Net migration rate| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Infant mortality rate|)
(ASSERTION WF::|Infant mortality rate| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Life expectancy at birth|)
(ASSERTION WF::|Life expectancy at birth| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Total fertility rate|)
(ASSERTION WF::|Total fertility rate| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Nationality|)
(ASSERTION WF::|Nationality| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Ethnic divisions|)
(ASSERTION WF::|Ethnic divisions| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Religion|)
(ASSERTION WF::|Religion| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Language|)
(ASSERTION WF::|Language| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Literacy|)
(ASSERTION WF::|Literacy| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Labor force|)
(ASSERTION WF::|Labor force| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Organized labor|)
(ASSERTION WF::|Organized labor| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Long-form name|)
(ASSERTION WF::|Long-form name| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Type|)
(ASSERTION WF::|Type| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Capital|)
(ASSERTION WF::|Capital| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Administrative divisions|)
(ASSERTION WF::|Administrative divisions| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Constitution|)
(ASSERTION WF::|Constitution| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Legal system|)
(ASSERTION WF::|Legal system| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|National holiday|)
(ASSERTION WF::|National holiday| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Branches|)
(ASSERTION WF::|Branches| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Leaders|)
(ASSERTION WF::|Leaders| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Suffrage|)
(ASSERTION WF::|Suffrage| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Elections|)
(ASSERTION WF::|Elections| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Political parties and leaders|)
(ASSERTION WF::|Political parties and leaders| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Voting strength|)
(ASSERTION WF::|Voting strength| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Member of|)
(ASSERTION WF::|Member of| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Diplomatic representation|)
(ASSERTION WF::|Diplomatic representation| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Flag|)
(ASSERTION WF::|Flag| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Overview|)
(ASSERTION WF::|Overview| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::GNP)
(ASSERTION WF::GNP MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Inflation rate (consumer prices)|)
(ASSERTION WF::|Inflation rate (consumer prices)| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Unemployment rate|)
(ASSERTION WF::|Unemployment rate| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Budget|)
(ASSERTION WF::|Budget| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Exports|)
(ASSERTION WF::|Exports| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Imports|)
(ASSERTION WF::|Imports| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|External debt|)
(ASSERTION WF::|External debt| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Industrial production|)
(ASSERTION WF::|Industrial production| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Electricity|)
(ASSERTION WF::|Electricity| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Industries|)
(ASSERTION WF::|Industries| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Agriculture|)
(ASSERTION WF::|Agriculture| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Aid|)
(ASSERTION WF::|Aid| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Currency|)
(ASSERTION WF::|Currency| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Exchange rates|)
(ASSERTION WF::|Exchange rates| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Fiscal year|)
(ASSERTION WF::|Fiscal year| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Railroads|)
(ASSERTION WF::|Railroads| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Highways|)
(ASSERTION WF::|Highways| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Pipelines|)
(ASSERTION WF::|Pipelines| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Ports|)
(ASSERTION WF::|Ports| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Merchant marine|)
(ASSERTION WF::|Merchant marine| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Airports|)
(ASSERTION WF::|Airports| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Telecommunications|)
(ASSERTION WF::|Telecommunications| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Military manpower|)
(ASSERTION WF::|Military manpower| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::|Military budget|)
(ASSERTION WF::|Military budget| MEMBER-OF WF::WF-SLOTS)
(DECLARE-UNIT WF::TOTAL-AREA)
(ASSERTION WF::TOTAL-AREA WORKS-LIKE PROTOTYPICAL-STRING-EXTRACTION)
(ASSERTION WF::TOTAL-AREA PATTERN-STRING (WF::? "km2"))
(ASSERTION WF::TOTAL-AREA SOURCE-SLOT WF::|Total area|)
(ASSERTION WF::TOTAL-AREA EXTRACTION-PARSER READ-ENGLISH-NUMBER)
(DECLARE-UNIT WF::LAND-AREA)
(ASSERTION WF::LAND-AREA WORKS-LIKE PROTOTYPICAL-STRING-EXTRACTION)
(ASSERTION WF::LAND-AREA PATTERN-STRING (* "land area: " WF::? "km2"))
(ASSERTION WF::LAND-AREA SOURCE-SLOT WF::|Total area|)
(ASSERTION WF::LAND-AREA EXTRACTION-PARSER READ-ENGLISH-NUMBER)
(DECLARE-UNIT WF::COASTLINE)
(ASSERTION WF::COASTLINE WORKS-LIKE PROTOTYPICAL-STRING-EXTRACTION)
(ASSERTION WF::COASTLINE PATTERN-STRING (WF::? "km"))
(ASSERTION WF::COASTLINE SOURCE-SLOT WF::|Coastline|)
(ASSERTION WF::COASTLINE EXTRACTION-PARSER READ-ENGLISH-NUMBER)
(ASSERTION WF::COASTLINE MEASURED-IN-UNITS KEYWORD::KILOMETERS)
(DECLARE-UNIT WF::BORDER-LENGTH)
(ASSERTION WF::BORDER-LENGTH WORKS-LIKE PROTOTYPICAL-SLOT)
(ASSERTION WF::BORDER-LENGTH MUST-BE NUMBERP)
(ASSERTION WF::BORDER-LENGTH MAKES-SENSE-FOR WF::BORDER-DESCRIPTIONS)
(DECLARE-UNIT WF::LAND-BORDER)
(ASSERTION WF::LAND-BORDER WORKS-LIKE PROTOTYPICAL-STRING-EXTRACTION)
(ASSERTION WF::LAND-BORDER PATTERN-STRING (WF::? "km" *))
(ASSERTION WF::LAND-BORDER SOURCE-SLOT WF::|Land boundaries|)
(ASSERTION WF::LAND-BORDER MEASURED-IN-UNITS KEYWORD::KILOMETERS)
(ASSERTION WF::LAND-BORDER EXTRACTION-PARSER READ-ENGLISH-NUMBER)
(DECLARE-UNIT WF::POPULATION)
(ASSERTION WF::POPULATION WORKS-LIKE PROTOTYPICAL-STRING-EXTRACTION)
(ASSERTION WF::POPULATION PATTERN-STRING (WF::? " "))
(ASSERTION WF::POPULATION SOURCE-SLOT WF::|Population|)
(ASSERTION WF::POPULATION EXTRACTION-PARSER READ-ENGLISH-NUMBER)
(DECLARE-UNIT WF::POPULATION-GROWTH)
(ASSERTION WF::POPULATION-GROWTH WORKS-LIKE PROTOTYPICAL-STRING-EXTRACTION)
(ASSERTION WF::POPULATION-GROWTH PATTERN-STRING (* "growth rate " WF::? "%"))
(ASSERTION WF::POPULATION-GROWTH SOURCE-SLOT WF::|Population|)
(ASSERTION WF::POPULATION-GROWTH EXTRACTION-PARSER READ-ENGLISH-NUMBER)
(DECLARE-UNIT WF::FEDERAL-REVENUES)
(ASSERTION WF::FEDERAL-REVENUES WORKS-LIKE PROTOTYPICAL-STRING-EXTRACTION)
(ASSERTION WF::FEDERAL-REVENUES PATTERN-STRING (* "revenues $" WF::? ";" *))
(ASSERTION WF::FEDERAL-REVENUES SOURCE-SLOT WF::|Budget|)
(ASSERTION WF::FEDERAL-REVENUES EXTRACTION-PARSER READ-ENGLISH-NUMBER)
(DECLARE-UNIT WF::FEDERAL-EXPENDITURES)
(ASSERTION WF::FEDERAL-EXPENDITURES WORKS-LIKE PROTOTYPICAL-STRING-EXTRACTION)
(ASSERTION WF::FEDERAL-EXPENDITURES PATTERN-STRING (* "expenditures $" WF::? ";" *))
(ASSERTION WF::FEDERAL-EXPENDITURES PATTERN-STRING (* "expenditures $" WF::? ", " *))
(ASSERTION WF::FEDERAL-EXPENDITURES PATTERN-STRING (* "expenditures $" WF::? ",
" *))
(ASSERTION WF::FEDERAL-EXPENDITURES SOURCE-SLOT WF::|Budget|)
(ASSERTION WF::FEDERAL-EXPENDITURES EXTRACTION-PARSER READ-ENGLISH-NUMBER)
(DECLARE-UNIT WF::CAPITAL-EXPENDITURES)
(ASSERTION WF::CAPITAL-EXPENDITURES WORKS-LIKE PROTOTYPICAL-STRING-EXTRACTION)
(ASSERTION WF::CAPITAL-EXPENDITURES PATTERN-STRING (* "including capital expenditures of $" WF::? ";" *))
(ASSERTION WF::CAPITAL-EXPENDITURES SOURCE-SLOT WF::|Budget|)
(ASSERTION WF::CAPITAL-EXPENDITURES EXTRACTION-PARSER READ-ENGLISH-NUMBER)
(DECLARE-UNIT WF::MILITARY-EXPENDITURES)
(ASSERTION WF::MILITARY-EXPENDITURES WORKS-LIKE PROTOTYPICAL-STRING-EXTRACTION)
(ASSERTION WF::MILITARY-EXPENDITURES PATTERN-STRING (* "$" WF::? ";" *))
(ASSERTION WF::MILITARY-EXPENDITURES SOURCE-SLOT WF::|Military budget|)
(ASSERTION WF::MILITARY-EXPENDITURES EXTRACTION-PARSER READ-ENGLISH-NUMBER)
(DECLARE-UNIT WF::ELECTRICAL-CAPACITY)
(ASSERTION WF::ELECTRICAL-CAPACITY WORKS-LIKE PROTOTYPICAL-STRING-EXTRACTION)
(ASSERTION WF::ELECTRICAL-CAPACITY PATTERN-STRING (WF::? "kW capacity;" *))
(ASSERTION WF::ELECTRICAL-CAPACITY SOURCE-SLOT WF::|Electricity|)
(ASSERTION WF::ELECTRICAL-CAPACITY EXTRACTION-PARSER READ-ENGLISH-NUMBER)
(DECLARE-UNIT WF::ELECTRICAL-PRODUCTION)
(ASSERTION WF::ELECTRICAL-PRODUCTION WORKS-LIKE PROTOTYPICAL-STRING-EXTRACTION)
(ASSERTION WF::ELECTRICAL-PRODUCTION PATTERN-STRING (* ";" WF::? "KWH produced" *))
(ASSERTION WF::ELECTRICAL-PRODUCTION SOURCE-SLOT WF::|Electricity|)
(ASSERTION WF::ELECTRICAL-PRODUCTION EXTRACTION-PARSER READ-ENGLISH-NUMBER)
(DECLARE-UNIT WF::EXCHANGE-RATE)
(ASSERTION WF::EXCHANGE-RATE WORKS-LIKE PROTOTYPICAL-STRING-EXTRACTION)
(ASSERTION WF::EXCHANGE-RATE PATTERN-STRING (* "per US$1--" WF::? " ,"))
(ASSERTION WF::EXCHANGE-RATE PATTERN-STRING (* "per US$1--" WF::? " ("))
(ASSERTION WF::EXCHANGE-RATE PATTERN-STRING (* "per US$1--" WF::? " ;"))
(ASSERTION WF::EXCHANGE-RATE SOURCE-SLOT WF::|Exchange rates|)
(ASSERTION WF::EXCHANGE-RATE EXTRACTION-PARSER READ-ENGLISH-NUMBER)
(DECLARE-UNIT WF::UNEMPLOYMENT-RATE)
(ASSERTION WF::UNEMPLOYMENT-RATE WORKS-LIKE PROTOTYPICAL-STRING-EXTRACTION)
(ASSERTION WF::UNEMPLOYMENT-RATE PATTERN-STRING (WF::? "%"))
(ASSERTION WF::UNEMPLOYMENT-RATE SOURCE-SLOT WF::|Unemployment rate|)
(ASSERTION WF::UNEMPLOYMENT-RATE EXTRACTION-PARSER READ-ENGLISH-NUMBER)
(DECLARE-UNIT WF::CONSUMER-INFLATION)
(ASSERTION WF::CONSUMER-INFLATION WORKS-LIKE PROTOTYPICAL-STRING-EXTRACTION)
(ASSERTION WF::CONSUMER-INFLATION PATTERN-STRING (WF::? "%"))
(ASSERTION WF::CONSUMER-INFLATION SOURCE-SLOT WF::|Inflation rate (consumer prices)|)
(ASSERTION WF::CONSUMER-INFLATION EXTRACTION-PARSER READ-ENGLISH-NUMBER)
(DECLARE-UNIT WF::MALE-LIFE-EXPECTANCY)
(ASSERTION WF::MALE-LIFE-EXPECTANCY WORKS-LIKE PROTOTYPICAL-STRING-EXTRACTION)
(ASSERTION WF::MALE-LIFE-EXPECTANCY PATTERN-STRING (WF::? " years male"))
(ASSERTION WF::MALE-LIFE-EXPECTANCY SOURCE-SLOT WF::|Life expectancy at birth|)
(ASSERTION WF::MALE-LIFE-EXPECTANCY EXTRACTION-PARSER READ-ENGLISH-NUMBER)
(DECLARE-UNIT WF::FEMALE-LIFE-EXPECTANCY)
(ASSERTION WF::FEMALE-LIFE-EXPECTANCY WORKS-LIKE PROTOTYPICAL-STRING-EXTRACTION)
(ASSERTION WF::FEMALE-LIFE-EXPECTANCY PATTERN-STRING (* "male" WF::? " years female"))
(ASSERTION WF::FEMALE-LIFE-EXPECTANCY SOURCE-SLOT WF::|Life expectancy at birth|)
(ASSERTION WF::FEMALE-LIFE-EXPECTANCY EXTRACTION-PARSER READ-ENGLISH-NUMBER)
(DECLARE-UNIT WF::SPECIAL-TRANSLATION)
(ASSERTION WF::SPECIAL-TRANSLATION MEMBER-OF SINGLE-VALUED-SLOTS)
(DECLARE-UNIT WF::FIND-REFERENT)
(ASSERTION WF::FIND-REFERENT LAMBDA-DEFINITION (LAMBDA (WF::WORD-LIST &OPTIONAL (WF::SLOPPY T)) (IF WF::SLOPPY (LET ((WF::NAME (INTERN (LISP:FORMAT () "~A~{.~A~}" (CAR WF::WORD-LIST) (CDR WF::WORD-LIST)) 'WF::WF))) (OR (GET-VALUE WF::NAME 'WF::SPECIAL-TRANSLATION) WF::NAME)) (AND (FIND-SYMBOL (LISP:FORMAT () "~A~{.~A~}" (CAR WF::WORD-LIST) (CDR WF::WORD-LIST)) 'WF::WF) (LET ((WF::NAME (INTERN (LISP:FORMAT () "~A~{.~A~}" (CAR WF::WORD-LIST) (CDR WF::WORD-LIST)) 'WF::WF))) (OR (GET WF::NAME 'WF::SPECIAL-TRANSLATION) WF::NAME))))))
(ASSERTION WF::THE.USSR WF::SPECIAL-TRANSLATION WF::SOVIET.UNION)
(ASSERTION WF::USSR WF::SPECIAL-TRANSLATION WF::SOVIET.UNION)
(ASSERTION WF::US WF::SPECIAL-TRANSLATION WF::UNITED.STATES)
(ASSERTION WF::FRG WF::SPECIAL-TRANSLATION WF::FEDERAL.REPUBLIC.OF.GERMANY)
(ASSERTION WF::GDR WF::SPECIAL-TRANSLATION WF::GERMAN.DEMOCRATIC.REPUBLIC)
(DECLARE-UNIT WF::DISPUTE-DESCRIPTIONS)
(ASSERTION WF::DISPUTE-DESCRIPTIONS MEMBER-OF COLLECTIONS)
(DECLARE-UNIT WF::DISPUTES)
(ASSERTION WF::DISPUTES WORKS-LIKE PROTOTYPICAL-CACHED-SLOT)
(DECLARE-UNIT WF::LIST-OF.1)
(ASSERTION WF::DISPUTES MUST-BE WF::LIST-OF.1)
(ASSERTION WF::DISPUTES TO-COMPUTE-VALUE WF::COMPUTE-DISPUTES)
(DECLARE-UNIT WF::DISPUTANTS)
(ASSERTION WF::DISPUTANTS WORKS-LIKE PROTOTYPICAL-BAG-SLOT)
(DECLARE-UNIT WF::DISPUTATION-OVER)
(ASSERTION WF::DISPUTATION-OVER WORKS-LIKE PROTOTYPICAL-SLOT)
(ASSERTION WF::DISPUTATION-OVER MAKES-SENSE-FOR WF::DISPUTE-DESCRIPTIONS)
(DECLARE-UNIT WF::COMPUTE-DISPUTES)
(ASSERTION WF::COMPUTE-DISPUTES LAMBDA-DEFINITION (LAMBDA (UNIT WF::SLOT) "Computes a list of dispute descriptions for UNIT." (DECLARE (IGNORE WF::SLOT)) (LET* ((WF::ENGLISH (GET-VALUE UNIT 'WF::|Disputes|))) (DO ((WF::LEFT 0 WF::RIGHT) (WF::RIGHT (POSITION #\; WF::ENGLISH) (AND WF::RIGHT (POSITION #\; WF::ENGLISH KEYWORD::START (1+ WF::RIGHT)))) (WF::ITEMS '() (CONS (STRING-TRIM " ;" (SUBSEQ WF::ENGLISH WF::LEFT WF::RIGHT)) WF::ITEMS))) ((NULL WF::LEFT) (FLET ((WF::MAPAPPEND (WF::F WF::L) (APPLY (FUNCTION APPEND) (MAPCAR WF::F WF::L)))) (WF::MAPAPPEND (FUNCTION WF::PARSE-DISPUTE) WF::ITEMS)))))))
(DECLARE-UNIT WF::DESCRIBE-DISPUTE)
(ASSERTION WF::DESCRIBE-DISPUTE LAMBDA-DEFINITION (LAMBDA (WF::PLACE WF::PARTIES WF::DISPUTE) (LET* ((WF::PLACE-NAME (IF (SYMBOLP WF::PLACE) WF::PLACE (INTERN (LISP:FORMAT () "~A~{.~A~}" (CAR WF::PLACE) (CDR WF::PLACE)) 'WF::WF))) (WF::DISPUTE-NAME (LISP:FORMAT () "DISPUTE-OVER-~A" WF::PLACE-NAME)) (WF::DISAMBIGUATED-NAME (IF (NOT (FIND-SYMBOL WF::DISPUTE-NAME 'WF::WF)) WF::DISPUTE-NAME (LET ((WF::OTHER-PARTIES (GET-VALUE (FIND-SYMBOL WF::DISPUTE-NAME 'WF::WF) 'WF::DISPUTANTS))) (IF (AND (= (LENGTH WF::PARTIES) (LENGTH WF::OTHER-PARTIES)) (EVERY (FUNCTION (LAMBDA (WF::X) (MEMBER WF::X WF::OTHER-PARTIES))) WF::PARTIES)) WF::DISPUTE-NAME (LISP:FORMAT () "~A-~D" WF::DISPUTE-NAME (INCF WF::*DISPUTE-COUNT*))))))) (LET ((WF::DD (MAKE-UNIT (INTERN WF::DISAMBIGUATED-NAME 'WF::WF) (MEMBER-OF 'WF::DISPUTE-DESCRIPTIONS) (ENGLISH-DESCRIPTION WF::DISPUTE) (WF::DISPUTATION-OVER WF::PLACE-NAME)))) (DOLIST (WF::PARTY WF::PARTIES) (ASSERT-VALUE WF::DD 'WF::DISPUTANTS WF::PARTY)) WF::DD))))
(DECLARE-UNIT WF::PARSE-DISPUTE)
(ASSERTION WF::PARSE-DISPUTE LAMBDA-DEFINITION (LAMBDA (WF::DISPUTE) (LET* ((WF::PLACES-AND-OTHERS (HUH::PARSE (STRIP-PARENTHETICAL-COMMENTS WF::DISPUTE) 'WF::DISPUTE))) (IF (NULL WF::PLACES-AND-OTHERS) (PROGN (LISP:FORMAT T "~&; ! Couldn't parse ~S" WF::DISPUTE) (LIST (NEW-UNIT WF::DISPUTE-DESCRIPTIONS (ENGLISH-DESCRIPTION WF::DISPUTE)))) (MAPCAR (FUNCTION (LAMBDA (WF::PLACE) (WF::DESCRIBE-DISPUTE WF::PLACE (CADR WF::PLACES-AND-OTHERS) WF::DISPUTE))) (CAR WF::PLACES-AND-OTHERS))))))
(DECLARE-UNIT WF::COMMA-LIST-NO-AND)
(ASSERTION WF::COMMA-LIST-NO-AND LAMBDA-DEFINITION (LAMBDA (HUH::SENTENCE) (MACROLET ((HUH::NOISE-WORD (&REST HUH::WORDS) "Returns the first word if it is in words and 'NONE otherwise." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'IF (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::WORDS) '(KEYWORD::TEST 'HUH::SAME-WORD-P)) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE)) (VALUES 'HUH::NONE HUH::SENTENCE)))) (HUH::PARSE-EVAL (HUH::FORM) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'VALUES HUH::FORM '(HUH::SENTENCE))) (HUH::THE-REST-OF-THE-SENTENCE () '(VALUES HUH::SENTENCE ())) (HUH::THE-END-OF-THE-SENTENCE (&REST HUH::PUNCTUATIONS) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'IF (LUCID-RUNTIME-SUPPORT::BQ-LIST 'OR '(NULL HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'EVERY (LUCID-RUNTIME-SUPPORT::BQ-LIST 'FUNCTION (LUCID-RUNTIME-SUPPORT::BQ-LIST 'LAMBDA '(HUH::X) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER 'HUH::X (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PUNCTUATIONS) '(KEYWORD::TEST 'HUH::SAME-WORD-P)))) '(HUH::SENTENCE))) '((VALUES T ()) (VALUES () HUH::SENTENCE)))) (HUH::UP-TILL-OR-END (&REST THINGS) "A parser macro which returns true if the first word is one of MEMBERS." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'LET (LUCID-RUNTIME-SUPPORT::BQ-LIST (LUCID-RUNTIME-SUPPORT::BQ-LIST 'HUH::LOC (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'POSITION-IF (LUCID-RUNTIME-SUPPORT::BQ-LIST 'FUNCTION (LUCID-RUNTIME-SUPPORT::BQ-LIST 'LAMBDA '(HUH::X) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER 'HUH::X (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND THINGS)) '(KEYWORD::TEST 'HUH::SAME-WORD-P)))) '(HUH::SENTENCE)))) '((IF HUH::LOC (VALUES (SUBSEQ HUH::SENTENCE 0 HUH::LOC) (SUBSEQ HUH::SENTENCE (1+ HUH::LOC))) (VALUES HUH::SENTENCE ()))))) (HUH::UP-TILL (&REST THINGS) "A parser macro which returns true if the first word is one of MEMBERS." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'LET (LUCID-RUNTIME-SUPPORT::BQ-LIST (LUCID-RUNTIME-SUPPORT::BQ-LIST 'HUH::LOC (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'POSITION-IF (LUCID-RUNTIME-SUPPORT::BQ-LIST 'FUNCTION (LUCID-RUNTIME-SUPPORT::BQ-LIST 'LAMBDA '(HUH::X) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER 'HUH::X (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND THINGS)) '(KEYWORD::TEST 'HUH::SAME-WORD-P)))) '(HUH::SENTENCE)))) '((AND HUH::LOC (VALUES (SUBSEQ HUH::SENTENCE 0 HUH::LOC) (SUBSEQ HUH::SENTENCE (1+ HUH::LOC))))))) (HUH::EXACTLY-MATCHES (&REST HUH::WORDS) "A parser macro which returns true if words occur in sequence at this point in the sentence." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'DO (LUCID-RUNTIME-SUPPORT::BQ-LIST '(HUH::INPUT HUH::SENTENCE (CDR HUH::INPUT)) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'HUH::PATTERN (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND HUH::WORDS)) '((CDR HUH::PATTERN)))) '(((OR (NULL HUH::PATTERN) (NOT (HUH::SAME-WORD-P (CAR HUH::PATTERN) (CAR HUH::INPUT)))) (IF (NULL HUH::PATTERN) (VALUES 'T HUH::INPUT)))))) (HUH::IS-EXACTLY-ONE-OF (&REST MEMBERS) "A parser macro which returns true if the first word is one of MEMBERS." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND MEMBERS)) '(KEYWORD::TEST 'HUH::SAME-WORD-P)) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE))))) (SATISFIES (FCN &REST HUH::ARGS) "A parser macro which returns true if FCN <first word> . ARGS is true." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST* FCN '(FIRST HUH::SENTENCE) HUH::ARGS) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE))))) (HUH::INTERPRETATION (HUH::PROP) "A parser macro which PROP  of the first word in the sentence and NIL otherwise." (LET ((HUH::PROP (INTERN (FORMAT () "~A-INTERPRETATION" HUH::PROP) 'HUH::HUH))) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST 'GET '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PROP)) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'VALUES (LUCID-RUNTIME-SUPPORT::BQ-LIST 'GET '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PROP)) '((REST HUH::SENTENCE)))))) (HUH::HAS-PROP (HUH::PROP) "A parser macro which returns the first word in the sentence if it has PROP and NIL otherwise." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST 'GET '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PROP)) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE)))))) (MULTIPLE-VALUE-BIND (HUH::RESULT HUH::NEW-SENTENCE) (HUH::THE-REST-OF-THE-SENTENCE) (WHEN HUH::*PARSER-TRACE-STREAM* (WHEN HUH::RESULT (HUH::PARSER-TRACE "Successfully applied ~S to ~S" '(HUH::THE-REST-OF-THE-SENTENCE) HUH::SENTENCE) (HUH::PARSER-TRACE "Yielding ~S and ~S" HUH::RESULT HUH::NEW-SENTENCE)) (UNLESS HUH::RESULT (HUH::PARSER-TRACE "Failed in applying ~S to ~S" '(HUH::THE-REST-OF-THE-SENTENCE) HUH::SENTENCE))) (LET ((HUH::SENTENCE HUH::NEW-SENTENCE) (WF::THE-REST HUH::RESULT)) (IF WF::THE-REST (VALUES (PROGN (LIST WF::THE-REST)) HUH::SENTENCE)))))))
(DECLARE-UNIT WF::COMMA-LIST-TERMINUS)
(ASSERTION WF::COMMA-LIST-TERMINUS LAMBDA-DEFINITION (LAMBDA (HUH::SENTENCE) (MACROLET ((HUH::NOISE-WORD (&REST HUH::WORDS) "Returns the first word if it is in words and 'NONE otherwise." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'IF (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::WORDS) '(KEYWORD::TEST 'HUH::SAME-WORD-P)) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE)) (VALUES 'HUH::NONE HUH::SENTENCE)))) (HUH::PARSE-EVAL (HUH::FORM) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'VALUES HUH::FORM '(HUH::SENTENCE))) (HUH::THE-REST-OF-THE-SENTENCE () '(VALUES HUH::SENTENCE ())) (HUH::THE-END-OF-THE-SENTENCE (&REST HUH::PUNCTUATIONS) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'IF (LUCID-RUNTIME-SUPPORT::BQ-LIST 'OR '(NULL HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'EVERY (LUCID-RUNTIME-SUPPORT::BQ-LIST 'FUNCTION (LUCID-RUNTIME-SUPPORT::BQ-LIST 'LAMBDA '(HUH::X) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER 'HUH::X (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PUNCTUATIONS) '(KEYWORD::TEST 'HUH::SAME-WORD-P)))) '(HUH::SENTENCE))) '((VALUES T ()) (VALUES () HUH::SENTENCE)))) (HUH::UP-TILL-OR-END (&REST THINGS) "A parser macro which returns true if the first word is one of MEMBERS." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'LET (LUCID-RUNTIME-SUPPORT::BQ-LIST (LUCID-RUNTIME-SUPPORT::BQ-LIST 'HUH::LOC (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'POSITION-IF (LUCID-RUNTIME-SUPPORT::BQ-LIST 'FUNCTION (LUCID-RUNTIME-SUPPORT::BQ-LIST 'LAMBDA '(HUH::X) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER 'HUH::X (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND THINGS)) '(KEYWORD::TEST 'HUH::SAME-WORD-P)))) '(HUH::SENTENCE)))) '((IF HUH::LOC (VALUES (SUBSEQ HUH::SENTENCE 0 HUH::LOC) (SUBSEQ HUH::SENTENCE (1+ HUH::LOC))) (VALUES HUH::SENTENCE ()))))) (HUH::UP-TILL (&REST THINGS) "A parser macro which returns true if the first word is one of MEMBERS." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'LET (LUCID-RUNTIME-SUPPORT::BQ-LIST (LUCID-RUNTIME-SUPPORT::BQ-LIST 'HUH::LOC (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'POSITION-IF (LUCID-RUNTIME-SUPPORT::BQ-LIST 'FUNCTION (LUCID-RUNTIME-SUPPORT::BQ-LIST 'LAMBDA '(HUH::X) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER 'HUH::X (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND THINGS)) '(KEYWORD::TEST 'HUH::SAME-WORD-P)))) '(HUH::SENTENCE)))) '((AND HUH::LOC (VALUES (SUBSEQ HUH::SENTENCE 0 HUH::LOC) (SUBSEQ HUH::SENTENCE (1+ HUH::LOC))))))) (HUH::EXACTLY-MATCHES (&REST HUH::WORDS) "A parser macro which returns true if words occur in sequence at this point in the sentence." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'DO (LUCID-RUNTIME-SUPPORT::BQ-LIST '(HUH::INPUT HUH::SENTENCE (CDR HUH::INPUT)) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'HUH::PATTERN (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND HUH::WORDS)) '((CDR HUH::PATTERN)))) '(((OR (NULL HUH::PATTERN) (NOT (HUH::SAME-WORD-P (CAR HUH::PATTERN) (CAR HUH::INPUT)))) (IF (NULL HUH::PATTERN) (VALUES 'T HUH::INPUT)))))) (HUH::IS-EXACTLY-ONE-OF (&REST MEMBERS) "A parser macro which returns true if the first word is one of MEMBERS." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND MEMBERS)) '(KEYWORD::TEST 'HUH::SAME-WORD-P)) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE))))) (SATISFIES (FCN &REST HUH::ARGS) "A parser macro which returns true if FCN <first word> . ARGS is true." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST* FCN '(FIRST HUH::SENTENCE) HUH::ARGS) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE))))) (HUH::INTERPRETATION (HUH::PROP) "A parser macro which PROP  of the first word in the sentence and NIL otherwise." (LET ((HUH::PROP (INTERN (FORMAT () "~A-INTERPRETATION" HUH::PROP) 'HUH::HUH))) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST 'GET '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PROP)) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'VALUES (LUCID-RUNTIME-SUPPORT::BQ-LIST 'GET '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PROP)) '((REST HUH::SENTENCE)))))) (HUH::HAS-PROP (HUH::PROP) "A parser macro which returns the first word in the sentence if it has PROP and NIL otherwise." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST 'GET '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PROP)) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE)))))) (MULTIPLE-VALUE-BIND (HUH::RESULT HUH::NEW-SENTENCE) (HUH::EXACTLY-MATCHES AND) (WHEN HUH::*PARSER-TRACE-STREAM* (WHEN HUH::RESULT (HUH::PARSER-TRACE "Successfully applied ~S to ~S" '(HUH::EXACTLY-MATCHES AND) HUH::SENTENCE) (HUH::PARSER-TRACE "Yielding ~S and ~S" HUH::RESULT HUH::NEW-SENTENCE)) (UNLESS HUH::RESULT (HUH::PARSER-TRACE "Failed in applying ~S to ~S" '(HUH::EXACTLY-MATCHES AND) HUH::SENTENCE))) (LET ((HUH::SENTENCE HUH::NEW-SENTENCE) (WF::CONNECTIVE HUH::RESULT)) (IF WF::CONNECTIVE (MULTIPLE-VALUE-BIND (HUH::RESULT HUH::NEW-SENTENCE) (HUH::THE-REST-OF-THE-SENTENCE) (WHEN HUH::*PARSER-TRACE-STREAM* (WHEN HUH::RESULT (HUH::PARSER-TRACE "Successfully applied ~S to ~S" '(HUH::THE-REST-OF-THE-SENTENCE) HUH::SENTENCE) (HUH::PARSER-TRACE "Yielding ~S and ~S" HUH::RESULT HUH::NEW-SENTENCE)) (UNLESS HUH::RESULT (HUH::PARSER-TRACE "Failed in applying ~S to ~S" '(HUH::THE-REST-OF-THE-SENTENCE) HUH::SENTENCE))) (LET ((HUH::SENTENCE HUH::NEW-SENTENCE) (WF::THE-REST HUH::RESULT)) (IF WF::THE-REST (VALUES (PROGN (LIST WF::THE-REST)) HUH::SENTENCE))))))))))
(DECLARE-UNIT WF::COMMA-LIST-HEADER)
(ASSERTION WF::COMMA-LIST-HEADER LAMBDA-DEFINITION (LAMBDA (HUH::SENTENCE) (MACROLET ((HUH::NOISE-WORD (&REST HUH::WORDS) "Returns the first word if it is in words and 'NONE otherwise." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'IF (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::WORDS) '(KEYWORD::TEST 'HUH::SAME-WORD-P)) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE)) (VALUES 'HUH::NONE HUH::SENTENCE)))) (HUH::PARSE-EVAL (HUH::FORM) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'VALUES HUH::FORM '(HUH::SENTENCE))) (HUH::THE-REST-OF-THE-SENTENCE () '(VALUES HUH::SENTENCE ())) (HUH::THE-END-OF-THE-SENTENCE (&REST HUH::PUNCTUATIONS) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'IF (LUCID-RUNTIME-SUPPORT::BQ-LIST 'OR '(NULL HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'EVERY (LUCID-RUNTIME-SUPPORT::BQ-LIST 'FUNCTION (LUCID-RUNTIME-SUPPORT::BQ-LIST 'LAMBDA '(HUH::X) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER 'HUH::X (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PUNCTUATIONS) '(KEYWORD::TEST 'HUH::SAME-WORD-P)))) '(HUH::SENTENCE))) '((VALUES T ()) (VALUES () HUH::SENTENCE)))) (HUH::UP-TILL-OR-END (&REST THINGS) "A parser macro which returns true if the first word is one of MEMBERS." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'LET (LUCID-RUNTIME-SUPPORT::BQ-LIST (LUCID-RUNTIME-SUPPORT::BQ-LIST 'HUH::LOC (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'POSITION-IF (LUCID-RUNTIME-SUPPORT::BQ-LIST 'FUNCTION (LUCID-RUNTIME-SUPPORT::BQ-LIST 'LAMBDA '(HUH::X) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER 'HUH::X (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND THINGS)) '(KEYWORD::TEST 'HUH::SAME-WORD-P)))) '(HUH::SENTENCE)))) '((IF HUH::LOC (VALUES (SUBSEQ HUH::SENTENCE 0 HUH::LOC) (SUBSEQ HUH::SENTENCE (1+ HUH::LOC))) (VALUES HUH::SENTENCE ()))))) (HUH::UP-TILL (&REST THINGS) "A parser macro which returns true if the first word is one of MEMBERS." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'LET (LUCID-RUNTIME-SUPPORT::BQ-LIST (LUCID-RUNTIME-SUPPORT::BQ-LIST 'HUH::LOC (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'POSITION-IF (LUCID-RUNTIME-SUPPORT::BQ-LIST 'FUNCTION (LUCID-RUNTIME-SUPPORT::BQ-LIST 'LAMBDA '(HUH::X) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER 'HUH::X (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND THINGS)) '(KEYWORD::TEST 'HUH::SAME-WORD-P)))) '(HUH::SENTENCE)))) '((AND HUH::LOC (VALUES (SUBSEQ HUH::SENTENCE 0 HUH::LOC) (SUBSEQ HUH::SENTENCE (1+ HUH::LOC))))))) (HUH::EXACTLY-MATCHES (&REST HUH::WORDS) "A parser macro which returns true if words occur in sequence at this point in the sentence." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'DO (LUCID-RUNTIME-SUPPORT::BQ-LIST '(HUH::INPUT HUH::SENTENCE (CDR HUH::INPUT)) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'HUH::PATTERN (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND HUH::WORDS)) '((CDR HUH::PATTERN)))) '(((OR (NULL HUH::PATTERN) (NOT (HUH::SAME-WORD-P (CAR HUH::PATTERN) (CAR HUH::INPUT)))) (IF (NULL HUH::PATTERN) (VALUES 'T HUH::INPUT)))))) (HUH::IS-EXACTLY-ONE-OF (&REST MEMBERS) "A parser macro which returns true if the first word is one of MEMBERS." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND MEMBERS)) '(KEYWORD::TEST 'HUH::SAME-WORD-P)) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE))))) (SATISFIES (FCN &REST HUH::ARGS) "A parser macro which returns true if FCN <first word> . ARGS is true." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST* FCN '(FIRST HUH::SENTENCE) HUH::ARGS) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE))))) (HUH::INTERPRETATION (HUH::PROP) "A parser macro which PROP  of the first word in the sentence and NIL otherwise." (LET ((HUH::PROP (INTERN (FORMAT () "~A-INTERPRETATION" HUH::PROP) 'HUH::HUH))) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST 'GET '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PROP)) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'VALUES (LUCID-RUNTIME-SUPPORT::BQ-LIST 'GET '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PROP)) '((REST HUH::SENTENCE)))))) (HUH::HAS-PROP (HUH::PROP) "A parser macro which returns the first word in the sentence if it has PROP and NIL otherwise." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST 'GET '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PROP)) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE)))))) (MULTIPLE-VALUE-BIND (HUH::RESULT HUH::NEW-SENTENCE) (HUH::UP-TILL WF::|,|) (WHEN HUH::*PARSER-TRACE-STREAM* (WHEN HUH::RESULT (HUH::PARSER-TRACE "Successfully applied ~S to ~S" '(HUH::UP-TILL WF::|,|) HUH::SENTENCE) (HUH::PARSER-TRACE "Yielding ~S and ~S" HUH::RESULT HUH::NEW-SENTENCE)) (UNLESS HUH::RESULT (HUH::PARSER-TRACE "Failed in applying ~S to ~S" '(HUH::UP-TILL WF::|,|) HUH::SENTENCE))) (LET ((HUH::SENTENCE HUH::NEW-SENTENCE) (WF::HEADER HUH::RESULT)) (IF WF::HEADER (MULTIPLE-VALUE-BIND (WF::THE-REST HUH::SENTENCE) (HUH::PARSE HUH::SENTENCE 'WF::COMMA-LIST) (IF WF::THE-REST (VALUES (PROGN (CONS WF::HEADER WF::THE-REST)) HUH::SENTENCE)))))))))
(DECLARE-UNIT WF::DISPUTE-OTHER-CENTERED)
(ASSERTION WF::DISPUTE-OTHER-CENTERED LAMBDA-DEFINITION (LAMBDA (HUH::SENTENCE) (MACROLET ((HUH::NOISE-WORD (&REST HUH::WORDS) "Returns the first word if it is in words and 'NONE otherwise." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'IF (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::WORDS) '(KEYWORD::TEST 'HUH::SAME-WORD-P)) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE)) (VALUES 'HUH::NONE HUH::SENTENCE)))) (HUH::PARSE-EVAL (HUH::FORM) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'VALUES HUH::FORM '(HUH::SENTENCE))) (HUH::THE-REST-OF-THE-SENTENCE () '(VALUES HUH::SENTENCE ())) (HUH::THE-END-OF-THE-SENTENCE (&REST HUH::PUNCTUATIONS) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'IF (LUCID-RUNTIME-SUPPORT::BQ-LIST 'OR '(NULL HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'EVERY (LUCID-RUNTIME-SUPPORT::BQ-LIST 'FUNCTION (LUCID-RUNTIME-SUPPORT::BQ-LIST 'LAMBDA '(HUH::X) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER 'HUH::X (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PUNCTUATIONS) '(KEYWORD::TEST 'HUH::SAME-WORD-P)))) '(HUH::SENTENCE))) '((VALUES T ()) (VALUES () HUH::SENTENCE)))) (HUH::UP-TILL-OR-END (&REST THINGS) "A parser macro which returns true if the first word is one of MEMBERS." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'LET (LUCID-RUNTIME-SUPPORT::BQ-LIST (LUCID-RUNTIME-SUPPORT::BQ-LIST 'HUH::LOC (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'POSITION-IF (LUCID-RUNTIME-SUPPORT::BQ-LIST 'FUNCTION (LUCID-RUNTIME-SUPPORT::BQ-LIST 'LAMBDA '(HUH::X) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER 'HUH::X (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND THINGS)) '(KEYWORD::TEST 'HUH::SAME-WORD-P)))) '(HUH::SENTENCE)))) '((IF HUH::LOC (VALUES (SUBSEQ HUH::SENTENCE 0 HUH::LOC) (SUBSEQ HUH::SENTENCE (1+ HUH::LOC))) (VALUES HUH::SENTENCE ()))))) (HUH::UP-TILL (&REST THINGS) "A parser macro which returns true if the first word is one of MEMBERS." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'LET (LUCID-RUNTIME-SUPPORT::BQ-LIST (LUCID-RUNTIME-SUPPORT::BQ-LIST 'HUH::LOC (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'POSITION-IF (LUCID-RUNTIME-SUPPORT::BQ-LIST 'FUNCTION (LUCID-RUNTIME-SUPPORT::BQ-LIST 'LAMBDA '(HUH::X) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER 'HUH::X (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND THINGS)) '(KEYWORD::TEST 'HUH::SAME-WORD-P)))) '(HUH::SENTENCE)))) '((AND HUH::LOC (VALUES (SUBSEQ HUH::SENTENCE 0 HUH::LOC) (SUBSEQ HUH::SENTENCE (1+ HUH::LOC))))))) (HUH::EXACTLY-MATCHES (&REST HUH::WORDS) "A parser macro which returns true if words occur in sequence at this point in the sentence." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'DO (LUCID-RUNTIME-SUPPORT::BQ-LIST '(HUH::INPUT HUH::SENTENCE (CDR HUH::INPUT)) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'HUH::PATTERN (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND HUH::WORDS)) '((CDR HUH::PATTERN)))) '(((OR (NULL HUH::PATTERN) (NOT (HUH::SAME-WORD-P (CAR HUH::PATTERN) (CAR HUH::INPUT)))) (IF (NULL HUH::PATTERN) (VALUES 'T HUH::INPUT)))))) (HUH::IS-EXACTLY-ONE-OF (&REST MEMBERS) "A parser macro which returns true if the first word is one of MEMBERS." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND MEMBERS)) '(KEYWORD::TEST 'HUH::SAME-WORD-P)) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE))))) (SATISFIES (FCN &REST HUH::ARGS) "A parser macro which returns true if FCN <first word> . ARGS is true." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST* FCN '(FIRST HUH::SENTENCE) HUH::ARGS) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE))))) (HUH::INTERPRETATION (HUH::PROP) "A parser macro which PROP  of the first word in the sentence and NIL otherwise." (LET ((HUH::PROP (INTERN (FORMAT () "~A-INTERPRETATION" HUH::PROP) 'HUH::HUH))) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST 'GET '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PROP)) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'VALUES (LUCID-RUNTIME-SUPPORT::BQ-LIST 'GET '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PROP)) '((REST HUH::SENTENCE)))))) (HUH::HAS-PROP (HUH::PROP) "A parser macro which returns the first word in the sentence if it has PROP and NIL otherwise." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST 'GET '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PROP)) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE)))))) (MULTIPLE-VALUE-BIND (HUH::RESULT HUH::NEW-SENTENCE) (HUH::UP-TILL WF::CLAIMS WF::CLAIM) (WHEN HUH::*PARSER-TRACE-STREAM* (WHEN HUH::RESULT (HUH::PARSER-TRACE "Successfully applied ~S to ~S" '(HUH::UP-TILL WF::CLAIMS WF::CLAIM) HUH::SENTENCE) (HUH::PARSER-TRACE "Yielding ~S and ~S" HUH::RESULT HUH::NEW-SENTENCE)) (UNLESS HUH::RESULT (HUH::PARSER-TRACE "Failed in applying ~S to ~S" '(HUH::UP-TILL WF::CLAIMS WF::CLAIM) HUH::SENTENCE))) (LET ((HUH::SENTENCE HUH::NEW-SENTENCE) (WF::OTHER-SEGMENT HUH::RESULT)) (IF WF::OTHER-SEGMENT (MULTIPLE-VALUE-BIND (HUH::RESULT HUH::NEW-SENTENCE) (HUH::PARSE-EVAL (HUH::PARSE WF::OTHER-SEGMENT 'WF::COMMA-LIST)) (WHEN HUH::*PARSER-TRACE-STREAM* (WHEN HUH::RESULT (HUH::PARSER-TRACE "Successfully applied ~S to ~S" '(HUH::PARSE-EVAL (HUH::PARSE WF::OTHER-SEGMENT 'WF::COMMA-LIST)) HUH::SENTENCE) (HUH::PARSER-TRACE "Yielding ~S and ~S" HUH::RESULT HUH::NEW-SENTENCE)) (UNLESS HUH::RESULT (HUH::PARSER-TRACE "Failed in applying ~S to ~S" '(HUH::PARSE-EVAL (HUH::PARSE WF::OTHER-SEGMENT 'WF::COMMA-LIST)) HUH::SENTENCE))) (LET ((HUH::SENTENCE HUH::NEW-SENTENCE) (WF::OTHER-SEGMENTED HUH::RESULT)) (IF WF::OTHER-SEGMENTED (MULTIPLE-VALUE-BIND (HUH::RESULT HUH::NEW-SENTENCE) (HUH::PARSE-EVAL (MAPCAR (FUNCTION (LAMBDA (WF::X) (WF::FIND-REFERENT WF::X ()))) WF::OTHER-SEGMENTED)) (WHEN HUH::*PARSER-TRACE-STREAM* (WHEN HUH::RESULT (HUH::PARSER-TRACE "Successfully applied ~S to ~S" '(HUH::PARSE-EVAL (MAPCAR (FUNCTION (LAMBDA (WF::X) (WF::FIND-REFERENT WF::X ()))) WF::OTHER-SEGMENTED)) HUH::SENTENCE) (HUH::PARSER-TRACE "Yielding ~S and ~S" HUH::RESULT HUH::NEW-SENTENCE)) (UNLESS HUH::RESULT (HUH::PARSER-TRACE "Failed in applying ~S to ~S" '(HUH::PARSE-EVAL (MAPCAR (FUNCTION (LAMBDA (WF::X) (WF::FIND-REFERENT WF::X ()))) WF::OTHER-SEGMENTED)) HUH::SENTENCE))) (LET ((HUH::SENTENCE HUH::NEW-SENTENCE) (WF::OTHER HUH::RESULT)) (IF WF::OTHER (MULTIPLE-VALUE-BIND (HUH::RESULT HUH::NEW-SENTENCE) (HUH::PARSE-EVAL (EVERY 'IDENTITY WF::OTHER)) (WHEN HUH::*PARSER-TRACE-STREAM* (WHEN HUH::RESULT (HUH::PARSER-TRACE "Successfully applied ~S to ~S" '(HUH::PARSE-EVAL (EVERY 'IDENTITY WF::OTHER)) HUH::SENTENCE) (HUH::PARSER-TRACE "Yielding ~S and ~S" HUH::RESULT HUH::NEW-SENTENCE)) (UNLESS HUH::RESULT (HUH::PARSER-TRACE "Failed in applying ~S to ~S" '(HUH::PARSE-EVAL (EVERY 'IDENTITY WF::OTHER)) HUH::SENTENCE))) (LET ((HUH::SENTENCE HUH::NEW-SENTENCE) (WF::ALL-REFERENTS HUH::RESULT)) (IF WF::ALL-REFERENTS (MULTIPLE-VALUE-BIND (WF::PLACE HUH::SENTENCE) (HUH::PARSE HUH::SENTENCE 'WF::COMMA-LIST) (IF WF::PLACE (VALUES (PROGN (LIST (MAPCAR (FUNCTION WF::FIND-REFERENT) WF::PLACE) WF::OTHER)) HUH::SENTENCE))))))))))))))))))
(DECLARE-UNIT WF::DISPUTE-WITH-FORM)
(ASSERTION WF::DISPUTE-WITH-FORM LAMBDA-DEFINITION (LAMBDA (HUH::SENTENCE) (MACROLET ((HUH::NOISE-WORD (&REST HUH::WORDS) "Returns the first word if it is in words and 'NONE otherwise." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'IF (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::WORDS) '(KEYWORD::TEST 'HUH::SAME-WORD-P)) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE)) (VALUES 'HUH::NONE HUH::SENTENCE)))) (HUH::PARSE-EVAL (HUH::FORM) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'VALUES HUH::FORM '(HUH::SENTENCE))) (HUH::THE-REST-OF-THE-SENTENCE () '(VALUES HUH::SENTENCE ())) (HUH::THE-END-OF-THE-SENTENCE (&REST HUH::PUNCTUATIONS) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'IF (LUCID-RUNTIME-SUPPORT::BQ-LIST 'OR '(NULL HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'EVERY (LUCID-RUNTIME-SUPPORT::BQ-LIST 'FUNCTION (LUCID-RUNTIME-SUPPORT::BQ-LIST 'LAMBDA '(HUH::X) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER 'HUH::X (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PUNCTUATIONS) '(KEYWORD::TEST 'HUH::SAME-WORD-P)))) '(HUH::SENTENCE))) '((VALUES T ()) (VALUES () HUH::SENTENCE)))) (HUH::UP-TILL-OR-END (&REST THINGS) "A parser macro which returns true if the first word is one of MEMBERS." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'LET (LUCID-RUNTIME-SUPPORT::BQ-LIST (LUCID-RUNTIME-SUPPORT::BQ-LIST 'HUH::LOC (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'POSITION-IF (LUCID-RUNTIME-SUPPORT::BQ-LIST 'FUNCTION (LUCID-RUNTIME-SUPPORT::BQ-LIST 'LAMBDA '(HUH::X) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER 'HUH::X (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND THINGS)) '(KEYWORD::TEST 'HUH::SAME-WORD-P)))) '(HUH::SENTENCE)))) '((IF HUH::LOC (VALUES (SUBSEQ HUH::SENTENCE 0 HUH::LOC) (SUBSEQ HUH::SENTENCE (1+ HUH::LOC))) (VALUES HUH::SENTENCE ()))))) (HUH::UP-TILL (&REST THINGS) "A parser macro which returns true if the first word is one of MEMBERS." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'LET (LUCID-RUNTIME-SUPPORT::BQ-LIST (LUCID-RUNTIME-SUPPORT::BQ-LIST 'HUH::LOC (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'POSITION-IF (LUCID-RUNTIME-SUPPORT::BQ-LIST 'FUNCTION (LUCID-RUNTIME-SUPPORT::BQ-LIST 'LAMBDA '(HUH::X) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER 'HUH::X (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND THINGS)) '(KEYWORD::TEST 'HUH::SAME-WORD-P)))) '(HUH::SENTENCE)))) '((AND HUH::LOC (VALUES (SUBSEQ HUH::SENTENCE 0 HUH::LOC) (SUBSEQ HUH::SENTENCE (1+ HUH::LOC))))))) (HUH::EXACTLY-MATCHES (&REST HUH::WORDS) "A parser macro which returns true if words occur in sequence at this point in the sentence." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'DO (LUCID-RUNTIME-SUPPORT::BQ-LIST '(HUH::INPUT HUH::SENTENCE (CDR HUH::INPUT)) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'HUH::PATTERN (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND HUH::WORDS)) '((CDR HUH::PATTERN)))) '(((OR (NULL HUH::PATTERN) (NOT (HUH::SAME-WORD-P (CAR HUH::PATTERN) (CAR HUH::INPUT)))) (IF (NULL HUH::PATTERN) (VALUES 'T HUH::INPUT)))))) (HUH::IS-EXACTLY-ONE-OF (&REST MEMBERS) "A parser macro which returns true if the first word is one of MEMBERS." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND MEMBERS)) '(KEYWORD::TEST 'HUH::SAME-WORD-P)) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE))))) (SATISFIES (FCN &REST HUH::ARGS) "A parser macro which returns true if FCN <first word> . ARGS is true." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST* FCN '(FIRST HUH::SENTENCE) HUH::ARGS) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE))))) (HUH::INTERPRETATION (HUH::PROP) "A parser macro which PROP  of the first word in the sentence and NIL otherwise." (LET ((HUH::PROP (INTERN (FORMAT () "~A-INTERPRETATION" HUH::PROP) 'HUH::HUH))) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST 'GET '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PROP)) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'VALUES (LUCID-RUNTIME-SUPPORT::BQ-LIST 'GET '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PROP)) '((REST HUH::SENTENCE)))))) (HUH::HAS-PROP (HUH::PROP) "A parser macro which returns the first word in the sentence if it has PROP and NIL otherwise." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST 'GET '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PROP)) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE)))))) (MULTIPLE-VALUE-BIND (HUH::RESULT HUH::NEW-SENTENCE) (HUH::UP-TILL WF::WITH) (WHEN HUH::*PARSER-TRACE-STREAM* (WHEN HUH::RESULT (HUH::PARSER-TRACE "Successfully applied ~S to ~S" '(HUH::UP-TILL WF::WITH) HUH::SENTENCE) (HUH::PARSER-TRACE "Yielding ~S and ~S" HUH::RESULT HUH::NEW-SENTENCE)) (UNLESS HUH::RESULT (HUH::PARSER-TRACE "Failed in applying ~S to ~S" '(HUH::UP-TILL WF::WITH) HUH::SENTENCE))) (LET ((HUH::SENTENCE HUH::NEW-SENTENCE) (WF::PLACE HUH::RESULT)) (IF WF::PLACE (MULTIPLE-VALUE-BIND (WF::OTHERS-LIST HUH::SENTENCE) (HUH::PARSE HUH::SENTENCE 'WF::COMMA-LIST) (IF WF::OTHERS-LIST (MULTIPLE-VALUE-BIND (HUH::RESULT HUH::NEW-SENTENCE) (HUH::PARSE-EVAL (MAPCAR (FUNCTION (LAMBDA (WF::X) (WF::FIND-REFERENT WF::X ()))) WF::OTHERS-LIST)) (WHEN HUH::*PARSER-TRACE-STREAM* (WHEN HUH::RESULT (HUH::PARSER-TRACE "Successfully applied ~S to ~S" '(HUH::PARSE-EVAL (MAPCAR (FUNCTION (LAMBDA (WF::X) (WF::FIND-REFERENT WF::X ()))) WF::OTHERS-LIST)) HUH::SENTENCE) (HUH::PARSER-TRACE "Yielding ~S and ~S" HUH::RESULT HUH::NEW-SENTENCE)) (UNLESS HUH::RESULT (HUH::PARSER-TRACE "Failed in applying ~S to ~S" '(HUH::PARSE-EVAL (MAPCAR (FUNCTION (LAMBDA (WF::X) (WF::FIND-REFERENT WF::X ()))) WF::OTHERS-LIST)) HUH::SENTENCE))) (LET ((HUH::SENTENCE HUH::NEW-SENTENCE) (WF::OTHERS HUH::RESULT)) (IF WF::OTHERS (MULTIPLE-VALUE-BIND (HUH::RESULT HUH::NEW-SENTENCE) (HUH::PARSE-EVAL (EVERY 'IDENTITY WF::OTHERS)) (WHEN HUH::*PARSER-TRACE-STREAM* (WHEN HUH::RESULT (HUH::PARSER-TRACE "Successfully applied ~S to ~S" '(HUH::PARSE-EVAL (EVERY 'IDENTITY WF::OTHERS)) HUH::SENTENCE) (HUH::PARSER-TRACE "Yielding ~S and ~S" HUH::RESULT HUH::NEW-SENTENCE)) (UNLESS HUH::RESULT (HUH::PARSER-TRACE "Failed in applying ~S to ~S" '(HUH::PARSE-EVAL (EVERY 'IDENTITY WF::OTHERS)) HUH::SENTENCE))) (LET ((HUH::SENTENCE HUH::NEW-SENTENCE) (WF::OTHERS-OK HUH::RESULT)) (IF WF::OTHERS-OK (VALUES (PROGN (LIST (LIST (WF::FIND-REFERENT WF::PLACE)) WF::OTHERS)) HUH::SENTENCE)))))))))))))))
(DECLARE-UNIT WF::DISPUTE-QUESTION-FORM)
(ASSERTION WF::DISPUTE-QUESTION-FORM LAMBDA-DEFINITION (LAMBDA (HUH::SENTENCE) (MACROLET ((HUH::NOISE-WORD (&REST HUH::WORDS) "Returns the first word if it is in words and 'NONE otherwise." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'IF (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::WORDS) '(KEYWORD::TEST 'HUH::SAME-WORD-P)) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE)) (VALUES 'HUH::NONE HUH::SENTENCE)))) (HUH::PARSE-EVAL (HUH::FORM) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'VALUES HUH::FORM '(HUH::SENTENCE))) (HUH::THE-REST-OF-THE-SENTENCE () '(VALUES HUH::SENTENCE ())) (HUH::THE-END-OF-THE-SENTENCE (&REST HUH::PUNCTUATIONS) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'IF (LUCID-RUNTIME-SUPPORT::BQ-LIST 'OR '(NULL HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'EVERY (LUCID-RUNTIME-SUPPORT::BQ-LIST 'FUNCTION (LUCID-RUNTIME-SUPPORT::BQ-LIST 'LAMBDA '(HUH::X) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER 'HUH::X (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PUNCTUATIONS) '(KEYWORD::TEST 'HUH::SAME-WORD-P)))) '(HUH::SENTENCE))) '((VALUES T ()) (VALUES () HUH::SENTENCE)))) (HUH::UP-TILL-OR-END (&REST THINGS) "A parser macro which returns true if the first word is one of MEMBERS." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'LET (LUCID-RUNTIME-SUPPORT::BQ-LIST (LUCID-RUNTIME-SUPPORT::BQ-LIST 'HUH::LOC (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'POSITION-IF (LUCID-RUNTIME-SUPPORT::BQ-LIST 'FUNCTION (LUCID-RUNTIME-SUPPORT::BQ-LIST 'LAMBDA '(HUH::X) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER 'HUH::X (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND THINGS)) '(KEYWORD::TEST 'HUH::SAME-WORD-P)))) '(HUH::SENTENCE)))) '((IF HUH::LOC (VALUES (SUBSEQ HUH::SENTENCE 0 HUH::LOC) (SUBSEQ HUH::SENTENCE (1+ HUH::LOC))) (VALUES HUH::SENTENCE ()))))) (HUH::UP-TILL (&REST THINGS) "A parser macro which returns true if the first word is one of MEMBERS." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'LET (LUCID-RUNTIME-SUPPORT::BQ-LIST (LUCID-RUNTIME-SUPPORT::BQ-LIST 'HUH::LOC (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'POSITION-IF (LUCID-RUNTIME-SUPPORT::BQ-LIST 'FUNCTION (LUCID-RUNTIME-SUPPORT::BQ-LIST 'LAMBDA '(HUH::X) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER 'HUH::X (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND THINGS)) '(KEYWORD::TEST 'HUH::SAME-WORD-P)))) '(HUH::SENTENCE)))) '((AND HUH::LOC (VALUES (SUBSEQ HUH::SENTENCE 0 HUH::LOC) (SUBSEQ HUH::SENTENCE (1+ HUH::LOC))))))) (HUH::EXACTLY-MATCHES (&REST HUH::WORDS) "A parser macro which returns true if words occur in sequence at this point in the sentence." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'DO (LUCID-RUNTIME-SUPPORT::BQ-LIST '(HUH::INPUT HUH::SENTENCE (CDR HUH::INPUT)) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'HUH::PATTERN (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND HUH::WORDS)) '((CDR HUH::PATTERN)))) '(((OR (NULL HUH::PATTERN) (NOT (HUH::SAME-WORD-P (CAR HUH::PATTERN) (CAR HUH::INPUT)))) (IF (NULL HUH::PATTERN) (VALUES 'T HUH::INPUT)))))) (HUH::IS-EXACTLY-ONE-OF (&REST MEMBERS) "A parser macro which returns true if the first word is one of MEMBERS." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND MEMBERS)) '(KEYWORD::TEST 'HUH::SAME-WORD-P)) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE))))) (SATISFIES (FCN &REST HUH::ARGS) "A parser macro which returns true if FCN <first word> . ARGS is true." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST* FCN '(FIRST HUH::SENTENCE) HUH::ARGS) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE))))) (HUH::INTERPRETATION (HUH::PROP) "A parser macro which PROP  of the first word in the sentence and NIL otherwise." (LET ((HUH::PROP (INTERN (FORMAT () "~A-INTERPRETATION" HUH::PROP) 'HUH::HUH))) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST 'GET '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PROP)) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'VALUES (LUCID-RUNTIME-SUPPORT::BQ-LIST 'GET '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PROP)) '((REST HUH::SENTENCE)))))) (HUH::HAS-PROP (HUH::PROP) "A parser macro which returns the first word in the sentence if it has PROP and NIL otherwise." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST 'GET '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PROP)) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE)))))) (MULTIPLE-VALUE-BIND (HUH::RESULT HUH::NEW-SENTENCE) (HUH::UP-TILL WF::QUESTION WF::DISPUTE WF::QUESTIONS WF::DISPUTES WF::ISSUE WF::ISSUES) (WHEN HUH::*PARSER-TRACE-STREAM* (WHEN HUH::RESULT (HUH::PARSER-TRACE "Successfully applied ~S to ~S" '(HUH::UP-TILL WF::QUESTION WF::DISPUTE WF::QUESTIONS WF::DISPUTES WF::ISSUE WF::ISSUES) HUH::SENTENCE) (HUH::PARSER-TRACE "Yielding ~S and ~S" HUH::RESULT HUH::NEW-SENTENCE)) (UNLESS HUH::RESULT (HUH::PARSER-TRACE "Failed in applying ~S to ~S" '(HUH::UP-TILL WF::QUESTION WF::DISPUTE WF::QUESTIONS WF::DISPUTES WF::ISSUE WF::ISSUES) HUH::SENTENCE))) (LET ((HUH::SENTENCE HUH::NEW-SENTENCE) (WF::PLACE HUH::RESULT)) (IF WF::PLACE (MULTIPLE-VALUE-BIND (HUH::RESULT HUH::NEW-SENTENCE) (HUH::IS-EXACTLY-ONE-OF WF::WITH WF::INVOLVING WF::AMONG) (WHEN HUH::*PARSER-TRACE-STREAM* (WHEN HUH::RESULT (HUH::PARSER-TRACE "Successfully applied ~S to ~S" '(HUH::IS-EXACTLY-ONE-OF WF::WITH WF::INVOLVING WF::AMONG) HUH::SENTENCE) (HUH::PARSER-TRACE "Yielding ~S and ~S" HUH::RESULT HUH::NEW-SENTENCE)) (UNLESS HUH::RESULT (HUH::PARSER-TRACE "Failed in applying ~S to ~S" '(HUH::IS-EXACTLY-ONE-OF WF::WITH WF::INVOLVING WF::AMONG) HUH::SENTENCE))) (LET ((HUH::SENTENCE HUH::NEW-SENTENCE) (WF::CONNECTIVE HUH::RESULT)) (IF WF::CONNECTIVE (MULTIPLE-VALUE-BIND (WF::OTHERS HUH::SENTENCE) (HUH::PARSE HUH::SENTENCE 'WF::COMMA-LIST) (IF WF::OTHERS (VALUES (PROGN (LIST (LIST (WF::FIND-REFERENT WF::PLACE)) (MAPCAR (FUNCTION WF::FIND-REFERENT) WF::OTHERS))) HUH::SENTENCE))))))))))))
(DECLARE-UNIT WF::DISPUTE-PERIODIC-FORM)
(ASSERTION WF::DISPUTE-PERIODIC-FORM LAMBDA-DEFINITION (LAMBDA (HUH::SENTENCE) (MACROLET ((HUH::NOISE-WORD (&REST HUH::WORDS) "Returns the first word if it is in words and 'NONE otherwise." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'IF (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::WORDS) '(KEYWORD::TEST 'HUH::SAME-WORD-P)) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE)) (VALUES 'HUH::NONE HUH::SENTENCE)))) (HUH::PARSE-EVAL (HUH::FORM) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'VALUES HUH::FORM '(HUH::SENTENCE))) (HUH::THE-REST-OF-THE-SENTENCE () '(VALUES HUH::SENTENCE ())) (HUH::THE-END-OF-THE-SENTENCE (&REST HUH::PUNCTUATIONS) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'IF (LUCID-RUNTIME-SUPPORT::BQ-LIST 'OR '(NULL HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'EVERY (LUCID-RUNTIME-SUPPORT::BQ-LIST 'FUNCTION (LUCID-RUNTIME-SUPPORT::BQ-LIST 'LAMBDA '(HUH::X) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER 'HUH::X (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PUNCTUATIONS) '(KEYWORD::TEST 'HUH::SAME-WORD-P)))) '(HUH::SENTENCE))) '((VALUES T ()) (VALUES () HUH::SENTENCE)))) (HUH::UP-TILL-OR-END (&REST THINGS) "A parser macro which returns true if the first word is one of MEMBERS." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'LET (LUCID-RUNTIME-SUPPORT::BQ-LIST (LUCID-RUNTIME-SUPPORT::BQ-LIST 'HUH::LOC (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'POSITION-IF (LUCID-RUNTIME-SUPPORT::BQ-LIST 'FUNCTION (LUCID-RUNTIME-SUPPORT::BQ-LIST 'LAMBDA '(HUH::X) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER 'HUH::X (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND THINGS)) '(KEYWORD::TEST 'HUH::SAME-WORD-P)))) '(HUH::SENTENCE)))) '((IF HUH::LOC (VALUES (SUBSEQ HUH::SENTENCE 0 HUH::LOC) (SUBSEQ HUH::SENTENCE (1+ HUH::LOC))) (VALUES HUH::SENTENCE ()))))) (HUH::UP-TILL (&REST THINGS) "A parser macro which returns true if the first word is one of MEMBERS." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'LET (LUCID-RUNTIME-SUPPORT::BQ-LIST (LUCID-RUNTIME-SUPPORT::BQ-LIST 'HUH::LOC (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'POSITION-IF (LUCID-RUNTIME-SUPPORT::BQ-LIST 'FUNCTION (LUCID-RUNTIME-SUPPORT::BQ-LIST 'LAMBDA '(HUH::X) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER 'HUH::X (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND THINGS)) '(KEYWORD::TEST 'HUH::SAME-WORD-P)))) '(HUH::SENTENCE)))) '((AND HUH::LOC (VALUES (SUBSEQ HUH::SENTENCE 0 HUH::LOC) (SUBSEQ HUH::SENTENCE (1+ HUH::LOC))))))) (HUH::EXACTLY-MATCHES (&REST HUH::WORDS) "A parser macro which returns true if words occur in sequence at this point in the sentence." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'DO (LUCID-RUNTIME-SUPPORT::BQ-LIST '(HUH::INPUT HUH::SENTENCE (CDR HUH::INPUT)) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'HUH::PATTERN (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND HUH::WORDS)) '((CDR HUH::PATTERN)))) '(((OR (NULL HUH::PATTERN) (NOT (HUH::SAME-WORD-P (CAR HUH::PATTERN) (CAR HUH::INPUT)))) (IF (NULL HUH::PATTERN) (VALUES 'T HUH::INPUT)))))) (HUH::IS-EXACTLY-ONE-OF (&REST MEMBERS) "A parser macro which returns true if the first word is one of MEMBERS." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND MEMBERS)) '(KEYWORD::TEST 'HUH::SAME-WORD-P)) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE))))) (SATISFIES (FCN &REST HUH::ARGS) "A parser macro which returns true if FCN <first word> . ARGS is true." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST* FCN '(FIRST HUH::SENTENCE) HUH::ARGS) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE))))) (HUH::INTERPRETATION (HUH::PROP) "A parser macro which PROP  of the first word in the sentence and NIL otherwise." (LET ((HUH::PROP (INTERN (FORMAT () "~A-INTERPRETATION" HUH::PROP) 'HUH::HUH))) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST 'GET '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PROP)) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'VALUES (LUCID-RUNTIME-SUPPORT::BQ-LIST 'GET '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PROP)) '((REST HUH::SENTENCE)))))) (HUH::HAS-PROP (HUH::PROP) "A parser macro which returns the first word in the sentence if it has PROP and NIL otherwise." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST 'GET '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PROP)) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE)))))) (MULTIPLE-VALUE-BIND (HUH::RESULT HUH::NEW-SENTENCE) (HUH::NOISE-WORD WF::PERIODIC) (WHEN HUH::*PARSER-TRACE-STREAM* (WHEN HUH::RESULT (HUH::PARSER-TRACE "Successfully applied ~S to ~S" '(HUH::NOISE-WORD WF::PERIODIC) HUH::SENTENCE) (HUH::PARSER-TRACE "Yielding ~S and ~S" HUH::RESULT HUH::NEW-SENTENCE)) (UNLESS HUH::RESULT (HUH::PARSER-TRACE "Failed in applying ~S to ~S" '(HUH::NOISE-WORD WF::PERIODIC) HUH::SENTENCE))) (LET ((HUH::SENTENCE HUH::NEW-SENTENCE) (WF::PERIODIC HUH::RESULT)) (IF WF::PERIODIC (MULTIPLE-VALUE-BIND (HUH::RESULT HUH::NEW-SENTENCE) (HUH::EXACTLY-MATCHES WF::DISPUTES WF::WITH) (WHEN HUH::*PARSER-TRACE-STREAM* (WHEN HUH::RESULT (HUH::PARSER-TRACE "Successfully applied ~S to ~S" '(HUH::EXACTLY-MATCHES WF::DISPUTES WF::WITH) HUH::SENTENCE) (HUH::PARSER-TRACE "Yielding ~S and ~S" HUH::RESULT HUH::NEW-SENTENCE)) (UNLESS HUH::RESULT (HUH::PARSER-TRACE "Failed in applying ~S to ~S" '(HUH::EXACTLY-MATCHES WF::DISPUTES WF::WITH) HUH::SENTENCE))) (LET ((HUH::SENTENCE HUH::NEW-SENTENCE) (WF::CONNECTIVE HUH::RESULT)) (IF WF::CONNECTIVE (MULTIPLE-VALUE-BIND (HUH::RESULT HUH::NEW-SENTENCE) (HUH::UP-TILL WF::OVER) (WHEN HUH::*PARSER-TRACE-STREAM* (WHEN HUH::RESULT (HUH::PARSER-TRACE "Successfully applied ~S to ~S" '(HUH::UP-TILL WF::OVER) HUH::SENTENCE) (HUH::PARSER-TRACE "Yielding ~S and ~S" HUH::RESULT HUH::NEW-SENTENCE)) (UNLESS HUH::RESULT (HUH::PARSER-TRACE "Failed in applying ~S to ~S" '(HUH::UP-TILL WF::OVER) HUH::SENTENCE))) (LET ((HUH::SENTENCE HUH::NEW-SENTENCE) (WF::OTHERS HUH::RESULT)) (IF WF::OTHERS (MULTIPLE-VALUE-BIND (PLACES HUH::SENTENCE) (HUH::PARSE HUH::SENTENCE 'WF::COMMA-LIST) (IF PLACES (VALUES (PROGN (LIST (MAPCAR (FUNCTION WF::FIND-REFERENT) PLACES) (MAPCAR (FUNCTION WF::FIND-REFERENT) (HUH::PARSE WF::OTHERS 'WF::COMMA-LIST)))) HUH::SENTENCE)))))))))))))))
(DECLARE-UNIT WF::DISPUTE-OCCUPIES-FORM)
(ASSERTION WF::DISPUTE-OCCUPIES-FORM LAMBDA-DEFINITION (LAMBDA (HUH::SENTENCE) (MACROLET ((HUH::NOISE-WORD (&REST HUH::WORDS) "Returns the first word if it is in words and 'NONE otherwise." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'IF (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::WORDS) '(KEYWORD::TEST 'HUH::SAME-WORD-P)) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE)) (VALUES 'HUH::NONE HUH::SENTENCE)))) (HUH::PARSE-EVAL (HUH::FORM) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'VALUES HUH::FORM '(HUH::SENTENCE))) (HUH::THE-REST-OF-THE-SENTENCE () '(VALUES HUH::SENTENCE ())) (HUH::THE-END-OF-THE-SENTENCE (&REST HUH::PUNCTUATIONS) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'IF (LUCID-RUNTIME-SUPPORT::BQ-LIST 'OR '(NULL HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'EVERY (LUCID-RUNTIME-SUPPORT::BQ-LIST 'FUNCTION (LUCID-RUNTIME-SUPPORT::BQ-LIST 'LAMBDA '(HUH::X) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER 'HUH::X (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PUNCTUATIONS) '(KEYWORD::TEST 'HUH::SAME-WORD-P)))) '(HUH::SENTENCE))) '((VALUES T ()) (VALUES () HUH::SENTENCE)))) (HUH::UP-TILL-OR-END (&REST THINGS) "A parser macro which returns true if the first word is one of MEMBERS." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'LET (LUCID-RUNTIME-SUPPORT::BQ-LIST (LUCID-RUNTIME-SUPPORT::BQ-LIST 'HUH::LOC (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'POSITION-IF (LUCID-RUNTIME-SUPPORT::BQ-LIST 'FUNCTION (LUCID-RUNTIME-SUPPORT::BQ-LIST 'LAMBDA '(HUH::X) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER 'HUH::X (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND THINGS)) '(KEYWORD::TEST 'HUH::SAME-WORD-P)))) '(HUH::SENTENCE)))) '((IF HUH::LOC (VALUES (SUBSEQ HUH::SENTENCE 0 HUH::LOC) (SUBSEQ HUH::SENTENCE (1+ HUH::LOC))) (VALUES HUH::SENTENCE ()))))) (HUH::UP-TILL (&REST THINGS) "A parser macro which returns true if the first word is one of MEMBERS." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'LET (LUCID-RUNTIME-SUPPORT::BQ-LIST (LUCID-RUNTIME-SUPPORT::BQ-LIST 'HUH::LOC (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'POSITION-IF (LUCID-RUNTIME-SUPPORT::BQ-LIST 'FUNCTION (LUCID-RUNTIME-SUPPORT::BQ-LIST 'LAMBDA '(HUH::X) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER 'HUH::X (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND THINGS)) '(KEYWORD::TEST 'HUH::SAME-WORD-P)))) '(HUH::SENTENCE)))) '((AND HUH::LOC (VALUES (SUBSEQ HUH::SENTENCE 0 HUH::LOC) (SUBSEQ HUH::SENTENCE (1+ HUH::LOC))))))) (HUH::EXACTLY-MATCHES (&REST HUH::WORDS) "A parser macro which returns true if words occur in sequence at this point in the sentence." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'DO (LUCID-RUNTIME-SUPPORT::BQ-LIST '(HUH::INPUT HUH::SENTENCE (CDR HUH::INPUT)) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'HUH::PATTERN (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND HUH::WORDS)) '((CDR HUH::PATTERN)))) '(((OR (NULL HUH::PATTERN) (NOT (HUH::SAME-WORD-P (CAR HUH::PATTERN) (CAR HUH::INPUT)))) (IF (NULL HUH::PATTERN) (VALUES 'T HUH::INPUT)))))) (HUH::IS-EXACTLY-ONE-OF (&REST MEMBERS) "A parser macro which returns true if the first word is one of MEMBERS." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'MEMBER '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE (LUCID-RUNTIME-SUPPORT::BQ-APPEND MEMBERS)) '(KEYWORD::TEST 'HUH::SAME-WORD-P)) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE))))) (SATISFIES (FCN &REST HUH::ARGS) "A parser macro which returns true if FCN <first word> . ARGS is true." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST* FCN '(FIRST HUH::SENTENCE) HUH::ARGS) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE))))) (HUH::INTERPRETATION (HUH::PROP) "A parser macro which PROP  of the first word in the sentence and NIL otherwise." (LET ((HUH::PROP (INTERN (FORMAT () "~A-INTERPRETATION" HUH::PROP) 'HUH::HUH))) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST 'GET '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PROP)) (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'VALUES (LUCID-RUNTIME-SUPPORT::BQ-LIST 'GET '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PROP)) '((REST HUH::SENTENCE)))))) (HUH::HAS-PROP (HUH::PROP) "A parser macro which returns the first word in the sentence if it has PROP and NIL otherwise." (LUCID-RUNTIME-SUPPORT::BQ-LIST* 'AND (LUCID-RUNTIME-SUPPORT::BQ-LIST 'GET '(FIRST HUH::SENTENCE) (LUCID-RUNTIME-SUPPORT::BQ-LIST 'QUOTE HUH::PROP)) '((VALUES (FIRST HUH::SENTENCE) (REST HUH::SENTENCE)))))) (MULTIPLE-VALUE-BIND (HUH::RESULT HUH::NEW-SENTENCE) (HUH::EXACTLY-MATCHES WF::OCCUPIES) (WHEN HUH::*PARSER-TRACE-STREAM* (WHEN HUH::RESULT (HUH::PARSER-TRACE "Successfully applied ~S to ~S" '(HUH::EXACTLY-MATCHES WF::OCCUPIES) HUH::SENTENCE) (HUH::PARSER-TRACE "Yielding ~S and ~S" HUH::RESULT HUH::NEW-SENTENCE)) (UNLESS HUH::RESULT (HUH::PARSER-TRACE "Failed in applying ~S to ~S" '(HUH::EXACTLY-MATCHES WF::OCCUPIES) HUH::SENTENCE))) (LET ((HUH::SENTENCE HUH::NEW-SENTENCE) (WF::PERIODIC HUH::RESULT)) (IF WF::PERIODIC (MULTIPLE-VALUE-BIND (HUH::RESULT HUH::NEW-SENTENCE) (HUH::UP-TILL WF::CLAIMED) (WHEN HUH::*PARSER-TRACE-STREAM* (WHEN HUH::RESULT (HUH::PARSER-TRACE "Successfully applied ~S to ~S" '(HUH::UP-TILL WF::CLAIMED) HUH::SENTENCE) (HUH::PARSER-TRACE "Yielding ~S and ~S" HUH::RESULT HUH::NEW-SENTENCE)) (UNLESS HUH::RESULT (HUH::PARSER-TRACE "Failed in applying ~S to ~S" '(HUH::UP-TILL WF::CLAIMED) HUH::SENTENCE))) (LET ((HUH::SENTENCE HUH::NEW-SENTENCE) (WF::PLACE HUH::RESULT)) (IF WF::PLACE (MULTIPLE-VALUE-BIND (HUH::RESULT HUH::NEW-SENTENCE) (HUH::EXACTLY-MATCHES WF::BY) (WHEN HUH::*PARSER-TRACE-STREAM* (WHEN HUH::RESULT (HUH::PARSER-TRACE "Successfully applied ~S to ~S" '(HUH::EXACTLY-MATCHES WF::BY) HUH::SENTENCE) (HUH::PARSER-TRACE "Yielding ~S and ~S" HUH::RESULT HUH::NEW-SENTENCE)) (UNLESS HUH::RESULT (HUH::PARSER-TRACE "Failed in applying ~S to ~S" '(HUH::EXACTLY-MATCHES WF::BY) HUH::SENTENCE))) (LET ((HUH::SENTENCE HUH::NEW-SENTENCE) (WF::CONNECTIVE HUH::RESULT)) (IF WF::CONNECTIVE (MULTIPLE-VALUE-BIND (HUH::RESULT HUH::NEW-SENTENCE) (HUH::UP-TILL-OR-END WF::|(|) (WHEN HUH::*PARSER-TRACE-STREAM* (WHEN HUH::RESULT (HUH::PARSER-TRACE "Successfully applied ~S to ~S" '(HUH::UP-TILL-OR-END WF::|(|) HUH::SENTENCE) (HUH::PARSER-TRACE "Yielding ~S and ~S" HUH::RESULT HUH::NEW-SENTENCE)) (UNLESS HUH::RESULT (HUH::PARSER-TRACE "Failed in applying ~S to ~S" '(HUH::UP-TILL-OR-END WF::|(|) HUH::SENTENCE))) (LET ((HUH::SENTENCE HUH::NEW-SENTENCE) (WF::OTHERS HUH::RESULT)) (IF WF::OTHERS (VALUES (PROGN (LIST (MAPCAR (FUNCTION WF::FIND-REFERENT) (LIST WF::PLACE)) (MAPCAR (FUNCTION WF::FIND-REFERENT) (HUH::PARSE WF::OTHERS 'WF::COMMA-LIST)))) HUH::SENTENCE))))))))))))))))
(DECLARE-UNIT WF::BORDER-DESCRIPTIONS)
(ASSERTION WF::BORDER-DESCRIPTIONS MEMBER-OF COLLECTIONS)
(DECLARE-UNIT WF::BORDERS)
(ASSERTION WF::BORDERS WORKS-LIKE PROTOTYPICAL-CACHED-SLOT)
(DECLARE-UNIT WF::LIST-OF.2)
(ASSERTION WF::BORDERS MUST-BE WF::LIST-OF.2)
(ASSERTION WF::BORDERS TO-COMPUTE-VALUE WF::COMPUTE-BORDERS)
(DECLARE-UNIT WF::BORDER-BETWEEN)
(ASSERTION WF::BORDER-BETWEEN WORKS-LIKE PROTOTYPICAL-BAG-SLOT)
(DECLARE-UNIT WF::COMPUTE-BORDERS)
(ASSERTION WF::COMPUTE-BORDERS LAMBDA-DEFINITION (LAMBDA (UNIT WF::SLOT) "Computes a list of border descriptions for UNIT." (DECLARE (IGNORE WF::SLOT)) (LET* ((WF::FIRST-TRY (GET-VALUE UNIT 'WF::|Land boundaries|)) (WF::SLOT-VALUE (IF (FAILUREP WF::FIRST-TRY) (GET-VALUE UNIT 'WF::|Land boundary|) WF::FIRST-TRY))) (IF (OR (FAILUREP WF::SLOT-VALUE) (EQUAL WF::SLOT-VALUE "None")) '() (LET* ((WF::INDIVIDUALS-BEGIN (OR (POSITION #\; WF::SLOT-VALUE) -1)) (WF::SPECIFIC-BORDERS (SUBSEQ WF::SLOT-VALUE (1+ WF::INDIVIDUALS-BEGIN)))) (DO ((WF::LEFT 0 WF::RIGHT) (WF::RIGHT (OR (SEARCH ", " WF::SPECIFIC-BORDERS) (SEARCH (COERCE (LIST #\, #\Newline) 'STRING) WF::SPECIFIC-BORDERS)) (AND WF::RIGHT (OR (SEARCH ", " WF::SPECIFIC-BORDERS KEYWORD::START2 (1+ WF::RIGHT)) (SEARCH (COERCE (LIST #\, #\Newline) 'STRING) WF::SPECIFIC-BORDERS KEYWORD::START2 (1+ WF::RIGHT))))) (WF::ITEMS '() (CONS (STRING-TRIM '(#\, #\Newline #\Space) (SUBSEQ WF::SPECIFIC-BORDERS WF::LEFT WF::RIGHT)) WF::ITEMS))) ((NULL WF::LEFT) (MAPCAR (FUNCTION (LAMBDA (WF::ITEM) (WF::PARSE-BORDER UNIT WF::ITEM))) WF::ITEMS))))))))
(DECLARE-UNIT WF::SPLIT-BORDER)
(ASSERTION WF::SPLIT-BORDER LAMBDA-DEFINITION (LAMBDA (STRING) (LET ((WF::WITH (SEARCH "with" STRING))) (IF WF::WITH (VALUES (SUBSEQ STRING (+ WF::WITH 4)) (SUBSEQ STRING 0 WF::WITH)) (VALUES (SUBSEQ STRING 0 (- (POSITION-IF 'DIGIT-CHAR-P STRING) 1)) (SUBSEQ STRING (- (POSITION-IF 'DIGIT-CHAR-P STRING) 1)))))))
(DECLARE-UNIT WF::PARSE-BORDER)
(ASSERTION WF::PARSE-BORDER LAMBDA-DEFINITION (LAMBDA (UNIT STRING) (MULTIPLE-VALUE-BIND (WF::COUNTRY LENGTH) (WF::SPLIT-BORDER (STRIP-PARENTHETICAL-COMMENTS STRING)) (LET ((WF::WITH (WF::FIND-REFERENT (HUH::READ-TEXT-FROM-STRING WF::COUNTRY)))) (MAKE-UNIT (OR (FIND-SYMBOL (LISP:FORMAT () "~A-~A-BORDER" UNIT WF::WITH) 'WF::WF) (FIND-SYMBOL (LISP:FORMAT () "~A-~A-BORDER" WF::WITH UNIT) 'WF::WF) (INTERN (LISP:FORMAT () "~A-~A-BORDER" UNIT WF::WITH) 'WF::WF)) (MEMBER-OF 'WF::BORDER-DESCRIPTIONS) (ENGLISH-DESCRIPTION STRING) (WF::BORDER-BETWEEN WF::WITH) (WF::BORDER-BETWEEN UNIT) (WF::BORDER-LENGTH (READ-ENGLISH-NUMBER (SUBSEQ LENGTH 0 (SEARCH "km" LENGTH)))))))))
(EXPORT WF::|AFGHANISTAN| KEYWORD::WF)
(EXPORT WF::|ALBANIA| KEYWORD::WF)
(EXPORT WF::|ALGERIA| KEYWORD::WF)
(EXPORT WF::|AMERICAN.SAMOA| KEYWORD::WF)
(EXPORT WF::|ANDORRA| KEYWORD::WF)
(EXPORT WF::|ANGOLA| KEYWORD::WF)
(EXPORT WF::|ANGUILLA| KEYWORD::WF)
(EXPORT WF::|ANTARCTICA| KEYWORD::WF)
(EXPORT WF::|ANTIGUA.AND.BARBUDA| KEYWORD::WF)
(EXPORT WF::|ARCTIC.OCEAN| KEYWORD::WF)
(EXPORT WF::|ARGENTINA| KEYWORD::WF)
(EXPORT WF::|ARUBA| KEYWORD::WF)
(EXPORT WF::|ASHMORE.AND.CARTIER.ISLANDS| KEYWORD::WF)
(EXPORT WF::|AUSTRALIA| KEYWORD::WF)
(EXPORT WF::|AUSTRIA| KEYWORD::WF)
(EXPORT WF::|BAHRAIN| KEYWORD::WF)
(EXPORT WF::|BAKER.ISLAND| KEYWORD::WF)
(EXPORT WF::|BANGLADESH| KEYWORD::WF)
(EXPORT WF::|BARBADOS| KEYWORD::WF)
(EXPORT WF::|BASSAS.DA.INDIA| KEYWORD::WF)
(EXPORT WF::|BELGIUM| KEYWORD::WF)
(EXPORT WF::|BELIZE| KEYWORD::WF)
(EXPORT WF::|BENIN| KEYWORD::WF)
(EXPORT WF::|BERMUDA| KEYWORD::WF)
(EXPORT WF::|BHUTAN| KEYWORD::WF)
(EXPORT WF::|BOLIVIA| KEYWORD::WF)
(EXPORT WF::|BOTSWANA| KEYWORD::WF)
(EXPORT WF::|BOUVET.ISLAND| KEYWORD::WF)
(EXPORT WF::|BRAZIL| KEYWORD::WF)
(EXPORT WF::|BRITISH.INDIAN.OCEAN.TERRITORY| KEYWORD::WF)
(EXPORT WF::|BRITISH.VIRGIN.ISLANDS| KEYWORD::WF)
(EXPORT WF::|BRUNEI| KEYWORD::WF)
(EXPORT WF::|BULGARIA| KEYWORD::WF)
(EXPORT WF::|BURKINA| KEYWORD::WF)
(EXPORT WF::|BURMA| KEYWORD::WF)
(EXPORT WF::|BURUNDI| KEYWORD::WF)
(EXPORT WF::|CAMBODIA| KEYWORD::WF)
(EXPORT WF::|CAMEROON| KEYWORD::WF)
(EXPORT WF::|CANADA| KEYWORD::WF)
(EXPORT WF::|CAPE.VERDE| KEYWORD::WF)
(EXPORT WF::|CAYMAN.ISLANDS| KEYWORD::WF)
(EXPORT WF::|CENTRAL.AFRICAN.REPUBLIC| KEYWORD::WF)
(EXPORT WF::|CHAD| KEYWORD::WF)
(EXPORT WF::|CHILE| KEYWORD::WF)
(EXPORT WF::|CHINA| KEYWORD::WF)
(EXPORT WF::|CHRISTMAS.ISLAND| KEYWORD::WF)
(EXPORT WF::|CLIPPERTON.ISLAND| KEYWORD::WF)
(EXPORT WF::|COCOS.(KEELING).ISLANDS| KEYWORD::WF)
(EXPORT WF::|COLOMBIA| KEYWORD::WF)
(EXPORT WF::|COMOROS| KEYWORD::WF)
(EXPORT WF::|CONGO| KEYWORD::WF)
(EXPORT WF::|COOK.ISLANDS| KEYWORD::WF)
(EXPORT WF::|CORAL.SEA.ISLANDS| KEYWORD::WF)
(EXPORT WF::|COSTA.RICA| KEYWORD::WF)
(EXPORT WF::|CUBA| KEYWORD::WF)
(EXPORT WF::|CYPRUS| KEYWORD::WF)
(EXPORT WF::|CZECHOSLOVAKIA| KEYWORD::WF)
(EXPORT WF::|DENMARK| KEYWORD::WF)
(EXPORT WF::|DJIBOUTI| KEYWORD::WF)
(EXPORT WF::|DOMINICA| KEYWORD::WF)
(EXPORT WF::|DOMINICAN.REPUBLIC| KEYWORD::WF)
(EXPORT WF::|ECUADOR| KEYWORD::WF)
(EXPORT WF::|EGYPT| KEYWORD::WF)
(EXPORT WF::|EL.SALVADOR| KEYWORD::WF)
(EXPORT WF::|EQUATORIAL.GUINEA| KEYWORD::WF)
(EXPORT WF::|ETHIOPIA| KEYWORD::WF)
(EXPORT WF::|EUROPA.ISLAND| KEYWORD::WF)
(EXPORT WF::|FALKLAND.ISLANDS.(ISLAS.MALVINAS)| KEYWORD::WF)
(EXPORT WF::|FAROE.ISLANDS| KEYWORD::WF)
(EXPORT WF::|FEDERAL.REPUBLIC.OF.GERMANY| KEYWORD::WF)
(EXPORT WF::|FEDERATED.STATES.OF.MICRONESIA| KEYWORD::WF)
(EXPORT WF::|FIJI| KEYWORD::WF)
(EXPORT WF::|FINLAND| KEYWORD::WF)
(EXPORT WF::|FRANCE| KEYWORD::WF)
(EXPORT WF::|FRENCH.GUIANA| KEYWORD::WF)
(EXPORT WF::|FRENCH.POLYNESIA| KEYWORD::WF)
(EXPORT WF::|FRENCH.SOUTHERN.AND.ANTARCTIC.LANDS| KEYWORD::WF)
(EXPORT WF::|GABON| KEYWORD::WF)
(EXPORT WF::|GAZA.STRIP| KEYWORD::WF)
(EXPORT WF::|GERMAN.DEMOCRATIC.REPUBLIC| KEYWORD::WF)
(EXPORT WF::|GHANA| KEYWORD::WF)
(EXPORT WF::|GIBRALTAR| KEYWORD::WF)
(EXPORT WF::|GLORIOSO.ISLANDS| KEYWORD::WF)
(EXPORT WF::|GREECE| KEYWORD::WF)
(EXPORT WF::|GREENLAND| KEYWORD::WF)
(EXPORT WF::|GRENADA| KEYWORD::WF)
(EXPORT WF::|GUAM| KEYWORD::WF)
(EXPORT WF::|GUERNSEY| KEYWORD::WF)
(EXPORT WF::|GUINEA| KEYWORD::WF)
(EXPORT WF::|GUINEA-BISSAU| KEYWORD::WF)
(EXPORT WF::|GUYANA| KEYWORD::WF)
(EXPORT WF::|HAITI| KEYWORD::WF)
(EXPORT WF::|HEARD.ISLAND.AND.MCDONALD.ISLANDS| KEYWORD::WF)
(EXPORT WF::|HONDURAS| KEYWORD::WF)
(EXPORT WF::|HONG.KONG| KEYWORD::WF)
(EXPORT WF::|HOWLAND.ISLAND| KEYWORD::WF)
(EXPORT WF::|HUNGARY| KEYWORD::WF)
(EXPORT WF::|ICELAND| KEYWORD::WF)
(EXPORT WF::|INDIA| KEYWORD::WF)
(EXPORT WF::|INDIAN.OCEAN| KEYWORD::WF)
(EXPORT WF::|INDONESIA| KEYWORD::WF)
(EXPORT WF::|IRAN| KEYWORD::WF)
(EXPORT WF::|IRAQ| KEYWORD::WF)
(EXPORT WF::|IRAQ.-.SAUDI.ARABIA.NEUTRAL.ZONE| KEYWORD::WF)
(EXPORT WF::|IRELAND| KEYWORD::WF)
(EXPORT WF::|ISLE.OF.MAN| KEYWORD::WF)
(EXPORT WF::|ISRAEL| KEYWORD::WF)
(EXPORT WF::|ITALY| KEYWORD::WF)
(EXPORT WF::|IVORY.COAST| KEYWORD::WF)
(EXPORT WF::|JAMAICA| KEYWORD::WF)
(EXPORT WF::|JAN.MAYEN| KEYWORD::WF)
(EXPORT WF::|JAPAN| KEYWORD::WF)
(EXPORT WF::|JARVIS.ISLAND| KEYWORD::WF)
(EXPORT WF::|JERSEY| KEYWORD::WF)
(EXPORT WF::|JOHNSTON.ATOLL| KEYWORD::WF)
(EXPORT WF::|JORDAN| KEYWORD::WF)
(EXPORT WF::|JUAN.DE.NOVA.ISLAND| KEYWORD::WF)
(EXPORT WF::|KENYA| KEYWORD::WF)
(EXPORT WF::|KINGMAN.REEF| KEYWORD::WF)
(EXPORT WF::|KIRIBATI| KEYWORD::WF)
(EXPORT WF::|KUWAIT| KEYWORD::WF)
(EXPORT WF::|LAOS| KEYWORD::WF)
(EXPORT WF::|LEBANON| KEYWORD::WF)
(EXPORT WF::|LESOTHO| KEYWORD::WF)
(EXPORT WF::|LIBERIA| KEYWORD::WF)
(EXPORT WF::|LIBYA| KEYWORD::WF)
(EXPORT WF::|LIECHTENSTEIN| KEYWORD::WF)
(EXPORT WF::|LUXEMBOURG| KEYWORD::WF)
(EXPORT WF::|MACAU| KEYWORD::WF)
(EXPORT WF::|MADAGASCAR| KEYWORD::WF)
(EXPORT WF::|MALAWI| KEYWORD::WF)
(EXPORT WF::|MALAYSIA| KEYWORD::WF)
(EXPORT WF::|MALDIVES| KEYWORD::WF)
(EXPORT WF::|MALI| KEYWORD::WF)
(EXPORT WF::|MALTA| KEYWORD::WF)
(EXPORT WF::|MARSHALL.ISLANDS| KEYWORD::WF)
(EXPORT WF::|MARTINIQUE| KEYWORD::WF)
(EXPORT WF::|MAURITANIA| KEYWORD::WF)
(EXPORT WF::|MAURITIUS| KEYWORD::WF)
(EXPORT WF::|MAYOTTE| KEYWORD::WF)
(EXPORT WF::|MEXICO| KEYWORD::WF)
(EXPORT WF::|MIDWAY.ISLANDS| KEYWORD::WF)
(EXPORT WF::|MONACO| KEYWORD::WF)
(EXPORT WF::|MONGOLIA| KEYWORD::WF)
(EXPORT WF::|MONTSERRAT| KEYWORD::WF)
(EXPORT WF::|MOROCCO| KEYWORD::WF)
(EXPORT WF::|MOZAMBIQUE| KEYWORD::WF)
(EXPORT WF::|NAMIBIA| KEYWORD::WF)
(EXPORT WF::|NAURU| KEYWORD::WF)
(EXPORT WF::|NAVASSA.ISLAND| KEYWORD::WF)
(EXPORT WF::|NEPAL| KEYWORD::WF)
(EXPORT WF::|NETHERLANDS| KEYWORD::WF)
(EXPORT WF::|NEW.CALEDONIA| KEYWORD::WF)
(EXPORT WF::|NEW.ZEALAND| KEYWORD::WF)
(EXPORT WF::|NICARAGUA| KEYWORD::WF)
(EXPORT WF::|NIGER| KEYWORD::WF)
(EXPORT WF::|NIGERIA| KEYWORD::WF)
(EXPORT WF::|NIUE| KEYWORD::WF)
(EXPORT WF::|NORFOLK.ISLAND| KEYWORD::WF)
(EXPORT WF::|NORTH.KOREA| KEYWORD::WF)
(EXPORT WF::|NORTHERN.MARIANA.ISLANDS| KEYWORD::WF)
(EXPORT WF::|NORWAY| KEYWORD::WF)
(EXPORT WF::|OMAN| KEYWORD::WF)
(EXPORT WF::|PACIFIC.OCEAN| KEYWORD::WF)
(EXPORT WF::|PAKISTAN| KEYWORD::WF)
(EXPORT WF::|PALMYRA.ATOLL| KEYWORD::WF)
(EXPORT WF::|PANAMA| KEYWORD::WF)
(EXPORT WF::|PAPUA.NEW.GUINEA| KEYWORD::WF)
(EXPORT WF::|PARACEL.ISLANDS| KEYWORD::WF)
(EXPORT WF::|PARAGUAY| KEYWORD::WF)
(EXPORT WF::|PEOPLE'S.DEMOCRATIC.REPUBLIC.OF.YEMEN| KEYWORD::WF)
(EXPORT WF::|PERU| KEYWORD::WF)
(EXPORT WF::|PHILIPPINES| KEYWORD::WF)
(EXPORT WF::|PITCAIRN.ISLANDS| KEYWORD::WF)
(EXPORT WF::|POLAND| KEYWORD::WF)
(EXPORT WF::|PORTUGAL| KEYWORD::WF)
(EXPORT WF::|PUERTO.RICO| KEYWORD::WF)
(EXPORT WF::|QATAR| KEYWORD::WF)
(EXPORT WF::|REUNION| KEYWORD::WF)
(EXPORT WF::|ROMANIA| KEYWORD::WF)
(EXPORT WF::|RWANDA| KEYWORD::WF)
(EXPORT WF::|SAN.MARINO| KEYWORD::WF)
(EXPORT WF::|SAO.TOME.AND.PRINCIPE| KEYWORD::WF)
(EXPORT WF::|SENEGAL| KEYWORD::WF)
(EXPORT WF::|SIERRA.LEONE| KEYWORD::WF)
(EXPORT WF::|SINGAPORE| KEYWORD::WF)
(EXPORT WF::|SOLOMON.ISLANDS| KEYWORD::WF)
(EXPORT WF::|SOMALIA| KEYWORD::WF)
(EXPORT WF::|SOUTH.AFRICA| KEYWORD::WF)
(EXPORT WF::|SOUTH.GEORGIA.AND.THE.SOUTH.SANDWICH.ISLANDS| KEYWORD::WF)
(EXPORT WF::|SOUTH.KOREA| KEYWORD::WF)
(EXPORT WF::|SOVIET.UNION| KEYWORD::WF)
(EXPORT WF::|SPAIN| KEYWORD::WF)
(EXPORT WF::|SPRATLY.ISLANDS| KEYWORD::WF)
(EXPORT WF::|SRI.LANKA| KEYWORD::WF)
(EXPORT WF::|ST..HELENA| KEYWORD::WF)
(EXPORT WF::|ST..KITTS.AND.NEVIS| KEYWORD::WF)
(EXPORT WF::|ST..LUCIA| KEYWORD::WF)
(EXPORT WF::|ST..PIERRE.AND.MIQUELON| KEYWORD::WF)
(EXPORT WF::|ST..VINCENT.AND.THE.GRENADINES| KEYWORD::WF)
(EXPORT WF::|SUDAN| KEYWORD::WF)
(EXPORT WF::|SURINAME| KEYWORD::WF)
(EXPORT WF::|SVALBARD| KEYWORD::WF)
(EXPORT WF::|SWAZILAND| KEYWORD::WF)
(EXPORT WF::|SWEDEN| KEYWORD::WF)
(EXPORT WF::|SWITZERLAND| KEYWORD::WF)
(EXPORT WF::|SYRIA| KEYWORD::WF)
(EXPORT WF::|TAIWAN| KEYWORD::WF)
(EXPORT WF::|TANZANIA| KEYWORD::WF)
(EXPORT WF::|THAILAND| KEYWORD::WF)
(EXPORT WF::|THE.BAHAMAS| KEYWORD::WF)
(EXPORT WF::|THE.GAMBIA| KEYWORD::WF)
(EXPORT WF::|TOGO| KEYWORD::WF)
(EXPORT WF::|TOKELAU| KEYWORD::WF)
(EXPORT WF::|TONGA| KEYWORD::WF)
(EXPORT WF::|TRINIDAD.AND.TOBAGO| KEYWORD::WF)
(EXPORT WF::|TROMELIN.ISLAND| KEYWORD::WF)
(EXPORT WF::|TRUST.TERRITORY.OF.THE.PACIFIC.ISLANDS| KEYWORD::WF)
(EXPORT WF::|TUNISIA| KEYWORD::WF)
(EXPORT WF::|TURKEY| KEYWORD::WF)
(EXPORT WF::|TURKS.AND.CAICOS.ISLANDS| KEYWORD::WF)
(EXPORT WF::|TUVALU| KEYWORD::WF)
(EXPORT WF::|UGANDA| KEYWORD::WF)
(EXPORT WF::|UNITED.ARAB.EMIRATES| KEYWORD::WF)
(EXPORT WF::|UNITED.KINGDOM| KEYWORD::WF)
(EXPORT WF::|UNITED.STATES| KEYWORD::WF)
(EXPORT WF::|URUGUAY| KEYWORD::WF)
(EXPORT WF::|VANUATU| KEYWORD::WF)
(EXPORT WF::|VATICAN.CITY| KEYWORD::WF)
(EXPORT WF::|VENEZUELA| KEYWORD::WF)
(EXPORT WF::|VIETNAM| KEYWORD::WF)
(EXPORT WF::|VIRGIN.ISLANDS| KEYWORD::WF)
(EXPORT WF::|WAKE.ISLAND| KEYWORD::WF)
(EXPORT WF::|WALLIS.AND.FUTUNA| KEYWORD::WF)
(EXPORT WF::|WEST.BANK| KEYWORD::WF)
(EXPORT WF::|WESTERN.SAHARA| KEYWORD::WF)
(EXPORT WF::|WESTERN.SAMOA| KEYWORD::WF)
(EXPORT WF::|WORLD| KEYWORD::WF)
(EXPORT WF::|YEMEN.ARAB.REPUBLIC| KEYWORD::WF)
(EXPORT WF::|YUGOSLAVIA| KEYWORD::WF)
(EXPORT WF::|ZAIRE| KEYWORD::WF)
(EXPORT WF::|ZAMBIA| KEYWORD::WF)
(EXPORT WF::|ZIMBABWE| KEYWORD::WF)
(USE-PACKAGE KEYWORD::WF KEYWORD::USER)