Skip to content

Latest commit

 

History

History
2671 lines (1791 loc) · 114 KB

README.md

File metadata and controls

2671 lines (1791 loc) · 114 KB

Installation

Using SWI-Prolog 7.1 or later:

?- pack_install(logicmoo_nlu).

Starting

nlutest@gitlab:~$ swipl
Welcome to SWI-Prolog (threaded, 64 bits, version 8.1.20)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.

For online help and background, visit https://www.swi-prolog.org
For built-in help, use ?- help(Topic). or ?- apropos(Word).

?- ensure_loaded(library(logicmoo_nlu)).
Installed packages (11):

i dictoo@1.2.111            - Dict-like OO Syntax
i eggdrop@1.2.111           - Hook up to an existing IRC Client called an Eggdrop
i gvar_syntax@1.2.111       - Global Variable Syntax
i instant_prolog_docs@1.2.111 - Magically document prolog source files based on predicate and variable naming conventions
i logicmoo_base@1.2.111     - LogicMOO - Extends Prolog Programming to support Dynamic Epistemic Logic (DEL) with Constraints
i logicmoo_nlu@1.2.111      - Various English to Logic Converters - warning: HUGE amount of lexical and test data
i logicmoo_utils@1.2.111    - Common predicates that are used throughout LogicMOO Software
i multimodal_dcg@1.2.111    - Reduce floundering of DCGs by constraining and narrowing search
i pfc@1.2.111               - Pfc -- a package for forward chaining in Prolog
i predicate_streams@1.2.111 - Implement your own Abstract Predicate Streams
i s_expression@1.2.111      - Utilities for Handling of S-Expression Lisp/Scheme-Like forms and parsing of KIF, GDL, PDDL, CLIF
% /home/nlutest/.local/share/swi-prolog/pack/logicmoo_base/prolog/logicmoo_lib.pl:88
% SET TOPLEVEL OPTIONS
% /home/nlutest/.local/share/swi-prolog/pack/logicmoo_base/prolog/logicmoo_lib.pl:118
% SETUP KB EXTENSIONS
% /home/nlutest/.local/share/swi-prolog/pack/logicmoo_base/prolog/logicmoo_lib.pl:130
% PACK LOADER
% /home/nlutest/.local/share/swi-prolog/pack/logicmoo_base/prolog/logicmoo_packs.pl:21
% AUTOLOAD PACKAGES
% /home/nlutest/.local/share/swi-prolog/pack/logicmoo_base/prolog/logicmoo_lib.pl:137
% AUTOLOAD PACKAGES
% /home/nlutest/.local/share/swi-prolog/pack/logicmoo_base/prolog/logicmoo_lib.pl:171
% SETTING DEFAULT ARGV!!!!
% /home/nlutest/.local/share/swi-prolog/pack/logicmoo_base/prolog/logicmoo_lib.pl:177
% LOAD PARTS OF SYSTEM EARLY
% /home/nlutest/.local/share/swi-prolog/pack/logicmoo_base/prolog/logicmoo_swilib.pl:135
% Loading logtalk
% /home/nlutest/.local/share/swi-prolog/pack/logicmoo_base/prolog/logicmoo_swilib.pl:136
% Skipping logtalk
% /home/nlutest/.local/share/swi-prolog/pack/logicmoo_base/prolog/logicmoo_swilib.pl:137
% Skipping logtalk
% /home/nlutest/.local/share/swi-prolog/pack/logicmoo_base/prolog/logicmoo_lib.pl:201
% SETUP LOGICMOO OPERATORS
% /home/nlutest/.local/share/swi-prolog/pack/logicmoo_base/prolog/logicmoo_lib.pl:223
% SETUP PATHS FOR PROLOGMUD/LOGICMOO
% /home/nlutest/.local/share/swi-prolog/pack/logicmoo_base/prolog/logicmoo_lib.pl:236
% LOAD LOGICMOO UTILS
% /home/nlutest/.local/share/swi-prolog/pack/logicmoo_base/prolog/logicmoo_lib.pl:251
% LOGICMOO/CYC Alignment util
% /home/nlutest/.local/share/swi-prolog/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_cyc_rewriting.pl:1815
% I am here
% /home/nlutest/.local/share/swi-prolog/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_cyc_rewriting.pl:1882
% no need to makeRenames!?
% /home/nlutest/.local/share/swi-prolog/pack/logicmoo_base/prolog/logicmoo_lib.pl:269
% [Required] Load the Logicmoo Type System
% dot_cfg:using_dot_type(gvar_syntax,baseKB)
% dot_cfg:using_dot_type(core,baseKB)
% /home/nlutest/.local/share/swi-prolog/pack/pfc/prolog/pfc_lib_2_0.pl:141
% SCAN AUTOLOADING PACKAGES...
% /home/nlutest/.local/share/swi-prolog/pack/pfc/prolog/pfc_lib_2_0.pl:0
% .. SCAN AUTOLOADING COMPLETE
% /home/nlutest/.local/share/swi-prolog/pack/pfc/prolog/pfc_lib_2_0.pl:162
% cannot_write_autoload_dir('/usr/lib/swi-prolog/library/').
% created_library_index_for('/home/nlutest/.local/share/swi-prolog/pack/logicmoo_utils/prolog/').
% created_library_index_for('/home/nlutest/.local/share/swi-prolog/pack/predicate_streams/prolog/').
% /home/nlutest/.local/share/swi-prolog/pack/pfc/prolog/pfclib/system_base.pfc.pl:60
% '$def_modules'([clause_expansion/2], [system-[clause_expansion/2]]).

Quite a bit more output about 123 seconds later will see something like...

% List of possible data transformations
% /home/nlutest/.local/share/swi-prolog/pack/logicmoo_nlu/prolog/logicmoo_nlu/nl_pipeline.pl:592
% installed_converter(parser_all, input_to_acetext(+input, -acetext)).
% installed_converter(parser_all, tokens_to_acetext(+tokens, -acetext)).
% installed_converter(get_ape_results, ace_to_pkif(+acetext, -kif(p))).
% installed_converter(ace_to_drs, call_tokenizer(+acetext, guess+on, -sentences:set, -sentencesToParse)).
% installed_converter(ace_to_drs, paragraphs_to_drs(+sentences:list, guess+on, catch+off, startID+1, -sentences, -syntaxTrees, -drs0, -messages, -time)).
% installed_converter(ace_to_drs, call_parser(+sentences:list, startID+1, -syntaxtrees, -drs0:reversed_set)).
% installed_converter(ace_to_drs, acetext_to_drs(+acetext, -sentences:set, -syntaxTrees, -drs0, -messages)).
% installed_converter(tokenizer, tokenize(+input, -tokens)).
% installed_converter(tokens_to_sentences, tokens_to_sentences(+tokens:set, -sentences:set)).
% installed_converter(tokens_to_sentences, tokens_to_paragraphs(+tokens:set, -sentences:set)).
% installed_converter(drs_fol_pnf, drs_pnf(+drs, -fol)).
% installed_converter(drs_fol_pnf, drs_fol(+drs, -pnf)).
% installed_converter(get_ape_results, fol_to_pkif(+pnf, -kif(p))).
% installed_converter(get_ape_results, fol_to_pkif(+fol, -kif(f))).
% installed_converter(get_ape_results, fol_to_pkif(+drs, -kif(d))).
% installed_converter(get_ape_results, fol_to_pkif(+sdrs, -kif(s))).
% installed_converter(drs_to_ace, drs_to_ace(+drs0, -paraphrase:set)).
% installed_converter(drs_to_drslist, drslist_to_ace(+drs0:list, -paraphrase:set)).
% installed_converter(drs_to_drslist, drs_to_drslist(+drs0, -drs:set)).
% installed_converter(drs_to_sdrs, drs_to_sdrs(+drs, -sdrs)).
% installed_converter(parser_chat80, into_text80(+tokens, -text80)).
% installed_converter(parser_chat80, sent_to_parsed(+text80, -syntaxTree80)).
% installed_converter(parser_chat80, i_sentence(+syntaxTree80, -i_sentence)).
% installed_converter(parser_chat80, clausify80(+i_sentence, -clausify80)).
% installed_converter(parser_chat80, simplify80(+clausify80, -simplify80)).
% installed_converter(parser_chat80, qplan(+simplify80, -qplan)).
% installed_converter(parser_chat80, results80(+qplan, -results80)).
% /home/nlutest/.local/share/swi-prolog/pack/logicmoo_nlu/prolog/logicmoo_nlu/nl_pipeline.pl:595
% parser_all_complete.......
chat80("Which countries have a population exceeding 10 million?").
chat80("Which countries contain a city?").
chat80("Which countries contain 2 cities?").
chat80("Which countries contain 3 cities?").
chat80("Which countries contain more than 3 cities?").
chat80("Which countries contain more than 2 cities?").
chat80("Which continents contain more than 4 cities?").
chat80("Which asian countries have a population exceeding 10 million?").
chat80("What is the average area of the countries in each continent?").
chat80("What is a river?").
chat80("What is a river that is in asia?").
chat80("Which rivers are not in asia?").
chat80("What is a river that is not happy?").
chat80("does afghanistan border china?").
chat80("what is the capital of upper_volta?").
chat80("where is the largest country?").
chat80("which countries are european?").
chat80("which country's capital is london?").
chat80("which is the largest african country?").
chat80("how large is the smallest american country?").
chat80("what is the ocean that borders african countries and that borders asian countries?").
chat80("what are the capitals of the countries bordering the baltic?").
chat80("how many countries does the danube flow through?").
chat80("what is the total area of countries south of the equator and not in australasia?").
chat80("what is the average area of the countries in each continent?").
chat80("is there more than one country in each continent?").
chat80("is there some ocean that does not border any country? ").
chat80("what are the countries from which a river flows into the black_sea?").
chat80("what are the continents no country in which contains more than two cities whose population exceeds 1 million? ").
chat80("which country bordering the mediterranean borders a country that is bordered by a country whose population exceeds the population of india?").
chat80("which countries have a population exceeding 10 million?").
chat80("which countries with a population exceeding 10 million border the atlantic?").
chat80("what percentage of countries border each ocean?").
chat80("what countries are there in europe?").
chat80([which, is, the, largest, african, country, ?]).
chat80("which countries are bordered by two seas?", [[egypt, iran, israel, saudi_arabia, turkey]]).
chat80("How many rivers are not in asia?", 25).
chat80("How many rivers are in asia?", 16).
chat80("How many asian countries have a population exceeding 10 million?", 20).
chat80("How many countries have a population exceeding 10 million?", 50).
chat80("What are the continents in which no country contains more than 3 cities?", [africa, antarctica, australasia, europe]).
chat80("What are the continents not containing a country?", [antarctica]).
chat80("What are the continents no country in which contains more than two cities whose population exceeds 1 million ?", [africa, antarctica, australasia]).
chat80("What are the continents in which no country contains more than two cities whose population exceeds 1 million?", [africa, antarctica, australasia]).
chat80("What are the continents containing a country in which contains more than two cities whose population exceeds 1 million?", [america, asia, europe]).

true.

[debug]  ?-

You can use one of the canned queries from above

Running


[debug]  ?- chat80("how large is the smallest american country?").

% ============================================BEGIN=============================================================

%                       [how,large,is,the,smallest,american,country,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+sg, np_head(det(the(sg)), [sup(most, adj(small)), adj(american)], country), []), verb(be, active, pres+fin, [], pos(B)), [varg(pred, value(adj(large), wh(A)))], [])) :-
    whq(A,
        s(np(3+sg,
             np_head(det(the(sg)),
                     [sup(most, adj(small)), adj(american)],
                     country),
             []),
          verb(be, active, pres+fin, [], pos(B)),
          [varg(pred, value(adj(large), wh(A)))],
          [])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([B]):-C^(D^(setof(E:F,(country(F),areaOf(F,E),american(F)),D),aggregate80(min,D,C)),areaOf(C,B))


Reply:(report4) 0.002999999999985903 sec(s).
[[--(0.133,ksqmiles)]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [how,large,is,the,smallest,american,country,?]

% ============================================END=============================================================
~n~n
true.

[debug]  ?- chat80("what is the smallest american country?").

% ============================================BEGIN=============================================================

%                       [what,is,the,smallest,american,country,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+sg, wh(A), []), verb(be, active, pres+fin, [], pos(B)), [varg(dir, np(3+sg, np_head(det(the(sg)), [sup(most, adj(small)), adj(american)], country), []))], [])) :-
    whq(A,
        s(np(3+sg, wh(A), []),
          verb(be, active, pres+fin, [], pos(B)),

          [ varg(dir,
                 np(3+sg,
                    np_head(det(the(sg)),
                            [sup(most, adj(small)), adj(american)],
                            country),
                    []))
          ],
          [])).


iSemantics:(report4) 0.0 sec(s).
answer80([B]):-C^(setof(D:E,(country(E),areaOf(E,D),american(E)),C),aggregate80(min,C,B))


Reply:(report4) 0.0030000000000143245 sec(s).
[[grenada]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [what,is,the,smallest,american,country,?]

% ============================================END=============================================================
~n~n
true.

[debug]  ?-

Source code available and pull requests accepted at https://github.com/logicmoo/logicmoo_nlu

Initial starter Docs https://github.com/logicmoo/PrologMUD/wiki

Installation see.. https://docs.google.com/document/d/1fkOxnmI1LqxadvZuCRS-fGIEweIKyPn6AVGp5Yjse1I/edit

The MUD_PDDL repository is now both Planning and NLU/NLG code.. The NLTK of Prolog!

It is very bothersome that with all the cool NLU demos out there there is that is like GATE or even a Blackboard system

This NLU/NLG ToolKit uses the following projects into a usable pipeline

TALK UGOT WP3 task 3.1 implementation accompanying D3.1 Extended Information State Modelling -- Stina Ericsson, 19th January, 2006

The Attempto Parsing Engine (APE) translates ACE texts unambiguously into discourse representation structures (DRS) that use a variant of the language of first-order logic.[2] A DRS can be further translated into other formal languages, for instance AceRules with various semantics,[3] OWL,[4] and SWRL. Translating an ACE text into (a fragment of) first-order logic allows users to reason about the text, for instance to verify, to validate, and to query it.

TALK

GULP

CHAT80


% ============================================BEGIN=============================================================

%                       [what,rivers,are,there,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0 sec(s).
whq(A, s(np(3+pl, np_head(int_det(A), [], river), []), verb(be, active, pres+fin, [], pos(B)), [void(there)], [])) :-
    whq(A,
        s(np(3+pl, np_head(int_det(A), [], river), []),
          verb(be, active, pres+fin, [], pos(B)),
          [void(there)],
          [])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([B]):-river(B),B^true


Reply:(report4) 0.0030000000000143245 sec(s).
[[amazon,amu_darya,amur,brahmaputra,colorado,congo_river,cubango,danube,don,elbe,euphrates,ganges,hwang_ho,indus,irrawaddy,lena,limpopo,mackenzie,mekong,mississippi,murray,niger_river,nile,ob,oder,orange,orinoco,parana,rhine,rhone,rio_grande,salween,senegal_river,tagus,vistula,volga,volta,yangtze,yenisei,yukon,zambesi]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [what,rivers,are,there,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [what,countries,are,there,in,europe,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0 sec(s).
whq(A, s(np(3+pl, np_head(int_det(A), [], country), []), verb(be, active, pres+fin, [], pos(B)), [void(there)], [pp(prep(in), np(3+sg, nameOf(europe), []))])) :-
    whq(A,
        s(np(3+pl, np_head(int_det(A), [], country), []),
          verb(be, active, pres+fin, [], pos(B)),
          [void(there)],
          [pp(prep(in), np(3+sg, nameOf(europe), []))])).


iSemantics:(report4) 0.0 sec(s).
answer80([B]):-country(B),in_ploc(B,europe)


Reply:(report4) 0.00899999999998613 sec(s).
[[albania,andorra,austria,belgium,bulgaria,cyprus,czechoslovakia,denmark,east_germany,eire,finland,france,greece,hungary,iceland,italy,liechtenstein,luxembourg,malta,monaco,netherlands,norway,poland,portugal,romania,san_marino,spain,sweden,switzerland,united_kingdom,west_germany,yugoslavia]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [what,countries,are,there,in,europe,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [which,country,'\'',s,capital,is,london,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+sg, np_head(det(the(sg)), [], capital), [pp(poss, np(3+sg, np_head(int_det(A), [], country), []))]), verb(be, active, pres+fin, [], pos(B)), [varg(dir, np(3+sg, nameOf(london), []))], [])) :-
    whq(A,
        s(np(3+sg,
             np_head(det(the(sg)), [], capital),
             [pp(poss, np(3+sg, np_head(int_det(A), [], country), []))]),
          verb(be, active, pres+fin, [], pos(B)),
          [varg(dir, np(3+sg, nameOf(london), []))],
          [])).


iSemantics:(report4) 0.0 sec(s).
answer80([B]):-country(B),capital(B,london)


actPlanning:(report4) 0.0010000000000047748 sec(s).
answer80([B]):-capital(B,london),{country(B)}


Reply:(report4) 0.0 sec(s).
[[united_kingdom]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [which,country,'\'',s,capital,is,london,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [what,is,the,total,area,of,countries,south,of,the,equator,and,not,in,australasia,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+sg, wh(A), []), verb(be, active, pres+fin, [], pos(D)), [varg(dir, np(3+sg, np_head(det(the(sg)), [adj(total)], area), [pp(prep(of), np(3+pl, np_head(generic, [], country), [conj(and, reduced_rel(B, s(np(3+pl, wh(B), []), verb(be, active, pres+fin, [], pos(E)), [varg(pred, pp(prep(southof), np(3+sg, nameOf(equator), [])))], [])), reduced_rel(C, s(np(3+pl, wh(C), []), verb(be, active, pres+fin, [], neg(not)), [varg(pred, pp(prep(in), np(3+sg, nameOf(australasia), [])))], [])))]))]))], [])) :-
    whq(A,
        s(np(3+sg, wh(A), []),
          verb(be, active, pres+fin, [], pos(D)),

          [ varg(dir,
                 np(3+sg,
                    np_head(det(the(sg)), [adj(total)], area),

                    [ pp(prep(of),
                         np(3+pl,
                            np_head(generic, [], country),

                            [ conj(and,
                                   reduced_rel(B,
                                               s(np(3+pl, wh(B), []),
                                                 verb(be,
                                                      active,
                                                      pres+fin,
                                                      [],
                                                      pos(E)),

                                                 [ varg(pred,
                                                        pp(prep(southof),
                                                           np(3+sg,
                                                              nameOf(equator),
                                                              [])))
                                                 ],
                                                 [])),
                                   reduced_rel(C,
                                               s(np(3+pl, wh(C), []),
                                                 verb(be,
                                                      active,
                                                      pres+fin,
                                                      [],
                                                      neg(not)),

                                                 [ varg(pred,
                                                        pp(prep(in),
                                                           np(3+sg,
                                                              nameOf(australasia),
                                                              [])))
                                                 ],
                                                 [])))
                            ]))
                    ]))
          ],
          [])).


iSemantics:(report4) 0.0009999999999763531 sec(s).
answer80([B]):-C^(setof(D:[E],(areaOf(E,D),country(E),southof(E,equator),\+in_ploc(E,australasia)),C),aggregate80(total,C,B))


Reply:(report4) 0.019000000000005457 sec(s).
[[--(10239.035000000003,ksqmiles)]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [what,is,the,total,area,of,countries,south,of,the,equator,and,not,in,australasia,?]

% ============================================END=============================================================
~n~n
true.

baseKB:  ?-   test_chat80_regressions.

% ============================================BEGIN=============================================================

%                       [what,rivers,are,there,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0009999999999763531 sec(s).
whq(A, s(np(3+pl, np_head(int_det(A), [], river), []), verb(be, active, pres+fin, [], pos(B)), [void(there)], [])) :-
    whq(A,
        s(np(3+pl, np_head(int_det(A), [], river), []),
          verb(be, active, pres+fin, [], pos(B)),
          [void(there)],
          [])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([B]):-river(B),B^true


Reply:(report4) 0.0020000000000095497 sec(s).
[[amazon,amu_darya,amur,brahmaputra,colorado,congo_river,cubango,danube,don,elbe,euphrates,ganges,hwang_ho,indus,irrawaddy,lena,limpopo,mackenzie,mekong,mississippi,murray,niger_river,nile,ob,oder,orange,orinoco,parana,rhine,rhone,rio_grande,salween,senegal_river,tagus,vistula,volga,volta,yangtze,yenisei,yukon,zambesi]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [what,rivers,are,there,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [what,countries,are,there,in,europe,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0 sec(s).
whq(A, s(np(3+pl, np_head(int_det(A), [], country), []), verb(be, active, pres+fin, [], pos(B)), [void(there)], [pp(prep(in), np(3+sg, nameOf(europe), []))])) :-
    whq(A,
        s(np(3+pl, np_head(int_det(A), [], country), []),
          verb(be, active, pres+fin, [], pos(B)),
          [void(there)],
          [pp(prep(in), np(3+sg, nameOf(europe), []))])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([B]):-country(B),in_ploc(B,europe)


Reply:(report4) 0.015999999999991132 sec(s).
[[albania,andorra,austria,belgium,bulgaria,cyprus,czechoslovakia,denmark,east_germany,eire,finland,france,greece,hungary,iceland,italy,liechtenstein,luxembourg,malta,monaco,netherlands,norway,poland,portugal,romania,san_marino,spain,sweden,switzerland,united_kingdom,west_germany,yugoslavia]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [what,countries,are,there,in,europe,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [which,country,'\'',s,capital,is,london,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0009999999999763531 sec(s).
whq(A, s(np(3+sg, np_head(det(the(sg)), [], capital), [pp(poss, np(3+sg, np_head(int_det(A), [], country), []))]), verb(be, active, pres+fin, [], pos(B)), [varg(dir, np(3+sg, nameOf(london), []))], [])) :-
    whq(A,
        s(np(3+sg,
             np_head(det(the(sg)), [], capital),
             [pp(poss, np(3+sg, np_head(int_det(A), [], country), []))]),
          verb(be, active, pres+fin, [], pos(B)),
          [varg(dir, np(3+sg, nameOf(london), []))],
          [])).


iSemantics:(report4) 0.0 sec(s).
answer80([B]):-country(B),capital(B,london)


actPlanning:(report4) 0.0 sec(s).
answer80([B]):-capital(B,london),{country(B)}


Reply:(report4) 0.0010000000000047748 sec(s).
[[united_kingdom]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [which,country,'\'',s,capital,is,london,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [what,is,the,total,area,of,countries,south,of,the,equator,and,not,in,australasia,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+sg, wh(A), []), verb(be, active, pres+fin, [], pos(D)), [varg(dir, np(3+sg, np_head(det(the(sg)), [adj(total)], area), [pp(prep(of), np(3+pl, np_head(generic, [], country), [conj(and, reduced_rel(B, s(np(3+pl, wh(B), []), verb(be, active, pres+fin, [], pos(E)), [varg(pred, pp(prep(southof), np(3+sg, nameOf(equator), [])))], [])), reduced_rel(C, s(np(3+pl, wh(C), []), verb(be, active, pres+fin, [], neg(not)), [varg(pred, pp(prep(in), np(3+sg, nameOf(australasia), [])))], [])))]))]))], [])) :-
    whq(A,
        s(np(3+sg, wh(A), []),
          verb(be, active, pres+fin, [], pos(D)),

          [ varg(dir,
                 np(3+sg,
                    np_head(det(the(sg)), [adj(total)], area),

                    [ pp(prep(of),
                         np(3+pl,
                            np_head(generic, [], country),

                            [ conj(and,
                                   reduced_rel(B,
                                               s(np(3+pl, wh(B), []),
                                                 verb(be,
                                                      active,
                                                      pres+fin,
                                                      [],
                                                      pos(E)),

                                                 [ varg(pred,
                                                        pp(prep(southof),
                                                           np(3+sg,
                                                              nameOf(equator),
                                                              [])))
                                                 ],
                                                 [])),
                                   reduced_rel(C,
                                               s(np(3+pl, wh(C), []),
                                                 verb(be,
                                                      active,
                                                      pres+fin,
                                                      [],
                                                      neg(not)),

                                                 [ varg(pred,
                                                        pp(prep(in),
                                                           np(3+sg,
                                                              nameOf(australasia),
                                                              [])))
                                                 ],
                                                 [])))
                            ]))
                    ]))
          ],
          [])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([B]):-C^(setof(D:[E],(areaOf(E,D),country(E),southof(E,equator),\+in_ploc(E,australasia)),C),aggregate80(total,C,B))


Reply:(report4) 0.019000000000005457 sec(s).
[[--(10239.035000000003,ksqmiles)]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [what,is,the,total,area,of,countries,south,of,the,equator,and,not,in,australasia,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [does,afghanistan,border,china,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0009999999999763531 sec(s).
q(s(np(3+sg, nameOf(afghanistan), []), verb(border, active, pres+fin, [], pos(A)), [varg(dir, np(3+sg, nameOf(china), []))], [])) :-
    q(s(np(3+sg, nameOf(afghanistan), []),
        verb(border, active, pres+fin, [], pos(A)),
        [varg(dir, np(3+sg, nameOf(china), []))],
        [])).


iSemantics:(report4) 0.0 sec(s).
answer80([]):-borders(afghanistan,china)


actPlanning:(report4) 0.0 sec(s).
answer80([]):-{borders(afghanistan,china)}


Reply:(report4) 0.0010000000000047748 sec(s).
[[true]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [does,afghanistan,border,china,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [what,is,the,capital,of,upper_volta,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+sg, wh(A), []), verb(be, active, pres+fin, [], pos(B)), [varg(dir, np(3+sg, np_head(det(the(sg)), [], capital), [pp(prep(of), np(3+sg, nameOf(upper_volta), []))]))], [])) :-
    whq(A,
        s(np(3+sg, wh(A), []),
          verb(be, active, pres+fin, [], pos(B)),

          [ varg(dir,
                 np(3+sg,
                    np_head(det(the(sg)), [], capital),
                    [pp(prep(of), np(3+sg, nameOf(upper_volta), []))]))
          ],
          [])).


iSemantics:(report4) 0.0 sec(s).
answer80([B]):-capital(upper_volta,B)


Reply:(report4) 0.0 sec(s).
[[ouagadougou]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [what,is,the,capital,of,upper_volta,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [where,is,the,largest,country,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0 sec(s).
whq(A, s(np(3+sg, np_head(det(the(sg)), [sup(most, adj(large))], country), []), verb(be, active, pres+fin, [], pos(B)), [varg(pred, pp(prep(in), np(C, np_head(int_det(A), [], place), [])))], [])) :-
    whq(A,
        s(np(3+sg, np_head(det(the(sg)), [sup(most, adj(large))], country), []),
          verb(be, active, pres+fin, [], pos(B)),

          [ varg(pred,
                 pp(prep(in),
                    np(C, np_head(int_det(A), [], place), [])))
          ],
          [])).


iSemantics:(report4) 0.0 sec(s).
answer80([B]):-C^(D^(setof(E:F,(country(F),areaOf(F,E)),D),aggregate80(max,D,C)),place(B),in_ploc(C,B))


Reply:(report4) 0.038000000000010914 sec(s).
[[asia,northern_asia]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [where,is,the,largest,country,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [which,countries,are,european,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+pl, np_head(int_det(A), [], country), []), verb(be, active, pres+fin, [], pos(B)), [varg(pred, adj(european))], [])) :-
    whq(A,
        s(np(3+pl, np_head(int_det(A), [], country), []),
          verb(be, active, pres+fin, [], pos(B)),
          [varg(pred, adj(european))],
          [])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([B]):-country(B),european(B)


actPlanning:(report4) 0.0 sec(s).
answer80([B]):-european(B),{country(B)}


Reply:(report4) 0.006000000000000227 sec(s).
[[albania,andorra,austria,belgium,bulgaria,cyprus,czechoslovakia,denmark,east_germany,eire,finland,france,greece,hungary,iceland,italy,liechtenstein,luxembourg,malta,monaco,netherlands,norway,poland,portugal,romania,san_marino,spain,sweden,switzerland,united_kingdom,west_germany,yugoslavia]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [which,countries,are,european,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [which,is,the,largest,african,country,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+sg, wh(A), []), verb(be, active, pres+fin, [], pos(B)), [varg(dir, np(3+sg, np_head(det(the(sg)), [sup(most, adj(large)), adj(african)], country), []))], [])) :-
    whq(A,
        s(np(3+sg, wh(A), []),
          verb(be, active, pres+fin, [], pos(B)),

          [ varg(dir,
                 np(3+sg,
                    np_head(det(the(sg)),
                            [sup(most, adj(large)), adj(african)],
                            country),
                    []))
          ],
          [])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([B]):-C^(setof(D:E,(country(E),areaOf(E,D),african(E)),C),aggregate80(max,C,B))


Reply:(report4) 0.018000000000000682 sec(s).
[[sudan]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [which,is,the,largest,african,country,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [how,large,is,the,smallest,american,country,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0 sec(s).
whq(A, s(np(3+sg, np_head(det(the(sg)), [sup(most, adj(small)), adj(american)], country), []), verb(be, active, pres+fin, [], pos(B)), [varg(pred, value(adj(large), wh(A)))], [])) :-
    whq(A,
        s(np(3+sg,
             np_head(det(the(sg)),
                     [sup(most, adj(small)), adj(american)],
                     country),
             []),
          verb(be, active, pres+fin, [], pos(B)),
          [varg(pred, value(adj(large), wh(A)))],
          [])).


iSemantics:(report4) 0.0 sec(s).
answer80([B]):-C^(D^(setof(E:F,(country(F),areaOf(F,E),american(F)),D),aggregate80(min,D,C)),areaOf(C,B))


Reply:(report4) 0.018000000000000682 sec(s).
[[--(0.133,ksqmiles)]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [how,large,is,the,smallest,american,country,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [what,is,the,ocean,that,borders,african,countries,and,that,borders,asian,countries,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0009999999999763531 sec(s).
whq(A, s(np(3+sg, wh(A), []), verb(be, active, pres+fin, [], pos(D)), [varg(dir, np(3+sg, np_head(det(the(sg)), [], ocean), [conj(and, rel(B, s(np(3+sg, wh(B), []), verb(border, active, pres+fin, [], pos(E)), [varg(dir, np(3+pl, np_head(generic, [adj(african)], country), []))], [])), rel(C, s(np(3+sg, wh(C), []), verb(border, active, pres+fin, [], pos(F)), [varg(dir, np(3+pl, np_head(generic, [adj(asian)], country), []))], [])))]))], [])) :-
    whq(A,
        s(np(3+sg, wh(A), []),
          verb(be, active, pres+fin, [], pos(D)),

          [ varg(dir,
                 np(3+sg,
                    np_head(det(the(sg)), [], ocean),

                    [ conj(and,
                           rel(B,
                               s(np(3+sg, wh(B), []),
                                 verb(border, active, pres+fin, [], pos(E)),

                                 [ varg(dir,
                                        np(3+pl,
                                           np_head(generic,
                                                   [adj(african)],
                                                   country),
                                           []))
                                 ],
                                 [])),
                           rel(C,
                               s(np(3+sg, wh(C), []),
                                 verb(border, active, pres+fin, [], pos(F)),

                                 [ varg(dir,
                                        np(3+pl,
                                           np_head(generic,
                                                   [adj(asian)],
                                                   country),
                                           []))
                                 ],
                                 [])))
                    ]))
          ],
          [])).


iSemantics:(report4) 0.0020000000000095497 sec(s).
answer80([B]):-ocean(B),C^(country(C),african(C),borders(B,C)),D^(country(D),asian(D),borders(B,D))


actPlanning:(report4) 0.0 sec(s).
answer80([B]):-C^D^(ocean(B),{borders(B,C),{african(C)},{country(C)}},{borders(B,D),{asian(D)},{country(D)}})


Reply:(report4) 0.012000000000000455 sec(s).
[[indian_ocean]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [what,is,the,ocean,that,borders,african,countries,and,that,borders,asian,countries,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [what,are,the,capitals,of,the,countries,bordering,the,baltic,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+pl, wh(A), []), verb(be, active, pres+fin, [], pos(C)), [varg(dir, np(3+pl, np_head(det(the(pl)), [], capital), [pp(prep(of), np(3+pl, np_head(det(the(pl)), [], country), [reduced_rel(B, s(np(3+pl, wh(B), []), verb(border, active, inf, [prog], pos(D)), [varg(dir, np(3+sg, nameOf(baltic), []))], []))]))]))], [])) :-
    whq(A,
        s(np(3+pl, wh(A), []),
          verb(be, active, pres+fin, [], pos(C)),

          [ varg(dir,
                 np(3+pl,
                    np_head(det(the(pl)), [], capital),

                    [ pp(prep(of),
                         np(3+pl,
                            np_head(det(the(pl)), [], country),

                            [ reduced_rel(B,
                                          s(np(3+pl, wh(B), []),
                                            verb(border,
                                                 active,
                                                 inf,
                                                 [prog],
                                                 pos(D)),

                                            [ varg(dir,
                                                   np(3+sg, nameOf(baltic), []))
                                            ],
                                            []))
                            ]))
                    ]))
          ],
          [])).


iSemantics:(report4) 0.0020000000000095497 sec(s).
answer80([B]):-setof([C]:D,(country(C),borders(C,baltic),setof(E,capital(C,E),D)),B)


Reply:(report4) 0.010000000000019327 sec(s).
[[[[denmark]:[copenhagen],[east_germany]:[east_berlin],[finland]:[helsinki],[poland]:[warsaw],[soviet_union]:[moscow],[sweden]:[stockholm],[west_germany]:[bonn]]]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [what,are,the,capitals,of,the,countries,bordering,the,baltic,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [which,countries,are,bordered,by,two,seas,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+pl, np_head(int_det(A), [], country), []), verb(border, passive, pres+fin, [], pos(B)), [], [pp(prep(by), np(3+pl, np_head(quant(same, nquant(2)), [], sea), []))])) :-
    whq(A,
        s(np(3+pl, np_head(int_det(A), [], country), []),
          verb(border, passive, pres+fin, [], pos(B)),
          [],
          [pp(prep(by), np(3+pl, np_head(quant(same, nquant(2)), [], sea), []))])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([B]):-country(B),numberof(C,(sea(C),borders(C,B)),2)


actPlanning:(report4) 0.0 sec(s).
answer80([B]):-numberof(C,(sea(C),borders(C,B)),2),{country(B)}


Reply:(report4) 0.0010000000000047748 sec(s).
[[egypt,iran,israel,saudi_arabia,turkey]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [which,countries,are,bordered,by,two,seas,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [how,many,countries,does,the,danube,flow,through,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+sg, nameOf(danube), []), verb(flow, active, pres+fin, [], pos(B)), [], [pp(prep(through), np(3+pl, np_head(quant(same, wh(A)), [], country), []))])) :-
    whq(A,
        s(np(3+sg, nameOf(danube), []),
          verb(flow, active, pres+fin, [], pos(B)),
          [],

          [ pp(prep(through),
               np(3+pl, np_head(quant(same, wh(A)), [], country), []))
          ])).


iSemantics:(report4) 0.0 sec(s).
answer80([B]):-numberof(C,(country(C),flows(danube,C)),B)


actPlanning:(report4) 0.0 sec(s).
answer80([B]):-numberof(C,(flows(danube,C),{country(C)}),B)


Reply:(report4) 0.0009999999999763531 sec(s).
[[6]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [how,many,countries,does,the,danube,flow,through,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [what,is,the,average,area,of,the,countries,in,each,continent,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+sg, wh(A), []), verb(be, active, pres+fin, [], pos(B)), [varg(dir, np(3+sg, np_head(det(the(sg)), [adj(average)], area), [pp(prep(of), np(3+pl, np_head(det(the(pl)), [], country), [pp(prep(in), np(3+sg, np_head(det(each), [], continent), []))]))]))], [])) :-
    whq(A,
        s(np(3+sg, wh(A), []),
          verb(be, active, pres+fin, [], pos(B)),

          [ varg(dir,
                 np(3+sg,
                    np_head(det(the(sg)), [adj(average)], area),

                    [ pp(prep(of),
                         np(3+pl,
                            np_head(det(the(pl)), [], country),

                            [ pp(prep(in),
                                 np(3+sg, np_head(det(each), [], continent), []))
                            ]))
                    ]))
          ],
          [])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([B,C]):-continent(B),D^(setof(E:[F],(areaOf(F,E),country(F),in_ploc(F,B)),D),aggregate80(average,D,C))


Reply:(report4) 0.12899999999999068 sec(s).
[[[europe,--(58.808937500000006,ksqmiles)]]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [what,is,the,average,area,of,the,countries,in,each,continent,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [is,there,more,than,one,country,in,each,continent,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
q(s(there, verb(be, active, pres+fin, [], pos(A)), [varg(dir, np(3+sg, np_head(quant(more, nquant(1)), [], country), [pp(prep(in), np(3+sg, np_head(det(each), [], continent), []))]))], [])) :-
    q(s(there,
        verb(be, active, pres+fin, [], pos(A)),

        [ varg(dir,
               np(3+sg,
                  np_head(quant(more, nquant(1)), [], country),
                  [pp(prep(in), np(3+sg, np_head(det(each), [], continent), []))]))
        ],
        [])).


iSemantics:(report4) 0.0 sec(s).
answer80([]):- \+B^(continent(B),\+C^(numberof(D,(country(D),in_ploc(D,B)),C),C>1))


Reply:(report4) 0.027000000000015234 sec(s).
[[false]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [is,there,more,than,one,country,in,each,continent,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [is,there,some,ocean,that,does,not,border,any,country,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
q(s(there, verb(be, active, pres+fin, [], pos(B)), [varg(dir, np(3+sg, np_head(det(some), [], ocean), [rel(A, s(np(3+sg, wh(A), []), verb(border, active, pres+fin, [], neg(not)), [varg(dir, np(3+sg, np_head(det(any), [], country), []))], []))]))], [])) :-
    q(s(there,
        verb(be, active, pres+fin, [], pos(B)),

        [ varg(dir,
               np(3+sg,
                  np_head(det(some), [], ocean),

                  [ rel(A,
                        s(np(3+sg, wh(A), []),
                          verb(border, active, pres+fin, [], neg(not)),
                          [varg(dir, np(3+sg, np_head(det(any), [], country), []))],
                          []))
                  ]))
        ],
        [])).


iSemantics:(report4) 0.0009999999999763531 sec(s).
answer80([]):-B^(ocean(B),\+C^(country(C),borders(B,C)))


actPlanning:(report4) 0.0 sec(s).
answer80([]):-B^{ocean(B),{\+C^(borders(B,C),{country(C)})}}


Reply:(report4) 0.0020000000000095497 sec(s).
[[true]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [is,there,some,ocean,that,does,not,border,any,country,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [what,are,the,countries,from,which,a,river,flows,into,the,black_sea,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+pl, wh(A), []), verb(be, active, pres+fin, [], pos(C)), [varg(dir, np(3+pl, np_head(det(the(pl)), [], country), [rel(B, s(np(3+sg, np_head(det(a), [], river), []), verb(flow, active, pres+fin, [], pos(D)), [], [pp(prep(from), np(3+pl, wh(B), [])), pp(prep(into), np(3+sg, nameOf(black_sea), []))]))]))], [])) :-
    whq(A,
        s(np(3+pl, wh(A), []),
          verb(be, active, pres+fin, [], pos(C)),

          [ varg(dir,
                 np(3+pl,
                    np_head(det(the(pl)), [], country),

                    [ rel(B,
                          s(np(3+sg, np_head(det(a), [], river), []),
                            verb(flow, active, pres+fin, [], pos(D)),
                            [],

                            [ pp(prep(from), np(3+pl, wh(B), [])),
                              pp(prep(into), np(3+sg, nameOf(black_sea), []))
                            ]))
                    ]))
          ],
          [])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([B]):-setof(C,(country(C),D^(river(D),flows(D,C,black_sea))),B)


Reply:(report4) 0.38900000000001 sec(s).
[[[romania]]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [what,are,the,countries,from,which,a,river,flows,into,the,black_sea,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [what,percentage,of,countries,border,each,ocean,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+pl, np_head(int_det(A), [], percentage), [pp(prep(of), np(3+pl, np_head(generic, [], country), []))]), verb(border, active, pres+fin, [], pos(B)), [varg(dir, np(3+sg, np_head(det(each), [], ocean), []))], [])) :-
    whq(A,
        s(np(3+pl,
             np_head(int_det(A), [], percentage),
             [pp(prep(of), np(3+pl, np_head(generic, [], country), []))]),
          verb(border, active, pres+fin, [], pos(B)),
          [varg(dir, np(3+sg, np_head(det(each), [], ocean), []))],
          [])).


iSemantics:(report4) 0.0 sec(s).
answer80([B,C]):-ocean(B),D^(setof(E,country(E),D),F^(numberof(G,(one_of(D,G),borders(G,B)),F),H^(card(D,H),ratio(F,H,C))))


Reply:(report4) 0.044999999999987494 sec(s).
[[[arctic_ocean,2.5641025641025643]]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [what,percentage,of,countries,border,each,ocean,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [what,are,the,continents,no,country,in,which,contains,more,than,two,cities,whose,population,exceeds,nquant(1),million,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0020000000000095497 sec(s).
whq(A, s(np(3+pl, wh(A), []), verb(be, active, pres+fin, [], pos(D)), [varg(dir, np(3+pl, np_head(det(the(pl)), [], continent), [rel(B, s(np(3+sg, np_head(det(no), [], country), [pp(prep(in), np(3+pl, wh(B), []))]), verb(contain, active, pres+fin, [], pos(E)), [varg(dir, np(3+pl, np_head(quant(more, nquant(2)), [], city), [rel(C, s(np(3+sg, np_head(det(the(sg)), [], population), [pp(poss, np(3+pl, wh(C), []))]), verb(exceed, active, pres+fin, [], pos(F)), [varg(dir, np(3+sg, np_head(quant(same, nquant(1)), [], million), []))], []))]))], []))]))], [])) :-
    whq(A,
        s(np(3+pl, wh(A), []),
          verb(be, active, pres+fin, [], pos(D)),

          [ varg(dir,
                 np(3+pl,
                    np_head(det(the(pl)), [], continent),

                    [ rel(B,
                          s(np(3+sg,
                               np_head(det(no), [], country),
                               [pp(prep(in), np(3+pl, wh(B), []))]),
                            verb(contain, active, pres+fin, [], pos(E)),

                            [ varg(dir,
                                   np(3+pl,
                                      np_head(quant(more, nquant(2)), [], city),

                                      [ rel(C,
                                            s(np(3+sg,
                                                 np_head(det(the(sg)),
                                                         [],
                                                         population),

                                                 [ pp(poss,
                                                      np(3+pl, wh(C), []))
                                                 ]),
                                              verb(exceed,
                                                   active,
                                                   pres+fin,
                                                   [],
                                                   pos(F)),

                                              [ varg(dir,
                                                     np(3+sg,
                                                        np_head(quant(same,
                                                                      nquant(1)),
                                                                [],
                                                                million),
                                                        []))
                                              ],
                                              []))
                                      ]))
                            ],
                            []))
                    ]))
          ],
          [])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([B]):-setof(C,(continent(C),\+D^(country(D),in_ploc(D,C),E^(numberof(F,(city(F),G^(population(F,G),exceeds(G,--(1,million))),in_ploc(F,D)),E),E>2))),B)


Reply:(report4) 2.2439999999999998 sec(s).
[[[africa,america,antarctica,asia,australasia,europe]]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [what,are,the,continents,no,country,in,which,contains,more,than,two,cities,whose,population,exceeds,nquant(1),million,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [which,country,bordering,the,mediterranean,borders,a,country,that,is,bordered,by,a,country,whose,population,exceeds,the,population,of,india,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0020000000000095497 sec(s).
whq(A, s(np(3+sg, np_head(int_det(A), [], country), [reduced_rel(B, s(np(3+sg, wh(B), []), verb(border, active, inf, [prog], pos(E)), [varg(dir, np(3+sg, nameOf(mediterranean), []))], []))]), verb(border, active, pres+fin, [], pos(F)), [varg(dir, np(3+sg, np_head(det(a), [], country), [rel(C, s(np(3+sg, wh(C), []), verb(border, passive, pres+fin, [], pos(G)), [], [pp(prep(by), np(3+sg, np_head(det(a), [], country), [rel(D, s(np(3+sg, np_head(det(the(sg)), [], population), [pp(poss, np(3+sg, wh(D), []))]), verb(exceed, active, pres+fin, [], pos(H)), [varg(dir, np(3+sg, np_head(det(the(sg)), [], population), [pp(prep(of), np(3+sg, nameOf(india), []))]))], []))]))]))]))], [])) :-
    whq(A,
        s(np(3+sg,
             np_head(int_det(A), [], country),

             [ reduced_rel(B,
                           s(np(3+sg, wh(B), []),
                             verb(border, active, inf, [prog], pos(E)),
                             [varg(dir, np(3+sg, nameOf(mediterranean), []))],
                             []))
             ]),
          verb(border, active, pres+fin, [], pos(F)),

          [ varg(dir,
                 np(3+sg,
                    np_head(det(a), [], country),

                    [ rel(C,
                          s(np(3+sg, wh(C), []),
                            verb(border, passive, pres+fin, [], pos(G)),
                            [],

                            [ pp(prep(by),
                                 np(3+sg,
                                    np_head(det(a), [], country),

                                    [ rel(D,
                                          s(np(3+sg,
                                               np_head(det(the(sg)),
                                                       [],
                                                       population),

                                               [ pp(poss,
                                                    np(3+sg, wh(D), []))
                                               ]),
                                            verb(exceed,
                                                 active,
                                                 pres+fin,
                                                 [],
                                                 pos(H)),

                                            [ varg(dir,
                                                   np(3+sg,
                                                      np_head(det(the(sg)),
                                                              [],
                                                              population),

                                                      [ pp(prep(of),
                                                           np(3+sg,
                                                              nameOf(india),
                                                              []))
                                                      ]))
                                            ],
                                            []))
                                    ]))
                            ]))
                    ]))
          ],
          [])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([B]):-country(B),borders(B,mediterranean),C^(country(C),D^(country(D),E^(population(D,E),F^(population(india,F),exceeds(E,F))),borders(D,C)),borders(B,C))


actPlanning:(report4) 0.0009999999999763531 sec(s).
answer80([B]):-C^D^E^F^(population(india,F),borders(B,mediterranean),{country(B)},{borders(B,C),{country(C)},{borders(D,C),{country(D)},{population(D,E),{exceeds(E,F)}}}})


Reply:(report4) 0.07699999999999818 sec(s).
[[turkey]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [which,country,bordering,the,mediterranean,borders,a,country,that,is,bordered,by,a,country,whose,population,exceeds,the,population,of,india,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [which,countries,have,a,population,exceeding,nquant(10),million,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+pl, np_head(int_det(A), [], country), []), verb(have, active, pres+fin, [], pos(C)), [varg(dir, np(3+sg, np_head(det(a), [], population), [reduced_rel(B, s(np(3+sg, wh(B), []), verb(exceed, active, inf, [prog], pos(D)), [varg(dir, np(3+pl, np_head(quant(same, nquant(10)), [], million), []))], []))]))], [])) :-
    whq(A,
        s(np(3+pl, np_head(int_det(A), [], country), []),
          verb(have, active, pres+fin, [], pos(C)),

          [ varg(dir,
                 np(3+sg,
                    np_head(det(a), [], population),

                    [ reduced_rel(B,
                                  s(np(3+sg, wh(B), []),
                                    verb(exceed,
                                         active,
                                         inf,
                                         [prog],
                                         pos(D)),

                                    [ varg(dir,
                                           np(3+pl,
                                              np_head(quant(same, nquant(10)),
                                                      [],
                                                      million),
                                              []))
                                    ],
                                    []))
                    ]))
          ],
          [])).


iSemantics:(report4) 0.0 sec(s).
answer80([B]):-country(B),C^(exceeds(C,--(10,million)),population(B,C))


actPlanning:(report4) 0.0 sec(s).
answer80([B]):-C^(country(B),{population(B,C),{exceeds(C,--(10,million))}})


Reply:(report4) 0.020000000000010232 sec(s).
[[malaysia,uganda]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [which,countries,have,a,population,exceeding,nquant(10),million,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [which,countries,with,a,population,exceeding,nquant(10),million,border,the,atlantic,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0009999999999763531 sec(s).
whq(A, s(np(3+pl, np_head(int_det(A), [], country), [pp(prep(with), np(3+sg, np_head(det(a), [], population), [reduced_rel(B, s(np(3+sg, wh(B), []), verb(exceed, active, inf, [prog], pos(C)), [varg(dir, np(3+pl, np_head(quant(same, nquant(10)), [], million), []))], []))]))]), verb(border, active, pres+fin, [], pos(D)), [varg(dir, np(3+sg, nameOf(atlantic), []))], [])) :-
    whq(A,
        s(np(3+pl,
             np_head(int_det(A), [], country),

             [ pp(prep(with),
                  np(3+sg,
                     np_head(det(a), [], population),

                     [ reduced_rel(B,
                                   s(np(3+sg, wh(B), []),
                                     verb(exceed,
                                          active,
                                          inf,
                                          [prog],
                                          pos(C)),

                                     [ varg(dir,
                                            np(3+pl,
                                               np_head(quant(same, nquant(10)),
                                                       [],
                                                       million),
                                               []))
                                     ],
                                     []))
                     ]))
             ]),
          verb(border, active, pres+fin, [], pos(D)),
          [varg(dir, np(3+sg, nameOf(atlantic), []))],
          [])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([B]):-C^(population(B,C),exceeds(C,--(10,million)),country(B)),borders(B,atlantic)


actPlanning:(report4) 0.0 sec(s).
answer80([B]):-C^(borders(B,atlantic),{population(B,C),{exceeds(C,--(10,million))}},{country(B)})


Reply:(report4) 0.007000000000005002 sec(s).
[[venezuela]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [which,countries,with,a,population,exceeding,nquant(10),million,border,the,atlantic,?]

% ============================================END=============================================================
~n~n
true.

baseKB:  ?- cls.
[Detaching after fork from child process 32196]
true.

baseKB:  ?- test_chat80_regressions.

% ============================================BEGIN=============================================================

%                       [what,rivers,are,there,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0009999999999763531 sec(s).
whq(A, s(np(3+pl, np_head(int_det(A), [], river), []), verb(be, active, pres+fin, [], pos(B)), [void(there)], [])) :-
    whq(A,
        s(np(3+pl, np_head(int_det(A), [], river), []),
          verb(be, active, pres+fin, [], pos(B)),
          [void(there)],
          [])).


iSemantics:(report4) 0.0 sec(s).
answer80([B]):-river(B),B^true


Reply:(report4) 0.0020000000000095497 sec(s).
[[amazon,amu_darya,amur,brahmaputra,colorado,congo_river,cubango,danube,don,elbe,euphrates,ganges,hwang_ho,indus,irrawaddy,lena,limpopo,mackenzie,mekong,mississippi,murray,niger_river,nile,ob,oder,orange,orinoco,parana,rhine,rhone,rio_grande,salween,senegal_river,tagus,vistula,volga,volta,yangtze,yenisei,yukon,zambesi]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [what,rivers,are,there,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [what,countries,are,there,in,europe,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0 sec(s).
whq(A, s(np(3+pl, np_head(int_det(A), [], country), []), verb(be, active, pres+fin, [], pos(B)), [void(there)], [pp(prep(in), np(3+sg, nameOf(europe), []))])) :-
    whq(A,
        s(np(3+pl, np_head(int_det(A), [], country), []),
          verb(be, active, pres+fin, [], pos(B)),
          [void(there)],
          [pp(prep(in), np(3+sg, nameOf(europe), []))])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([B]):-country(B),in_ploc(B,europe)


Reply:(report4) 0.019000000000005457 sec(s).
[[albania,andorra,austria,belgium,bulgaria,cyprus,czechoslovakia,denmark,east_germany,eire,finland,france,greece,hungary,iceland,italy,liechtenstein,luxembourg,malta,monaco,netherlands,norway,poland,portugal,romania,san_marino,spain,sweden,switzerland,united_kingdom,west_germany,yugoslavia]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [what,countries,are,there,in,europe,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [which,country,'\'',s,capital,is,london,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+sg, np_head(det(the(sg)), [], capital), [pp(poss, np(3+sg, np_head(int_det(A), [], country), []))]), verb(be, active, pres+fin, [], pos(B)), [varg(dir, np(3+sg, nameOf(london), []))], [])) :-
    whq(A,
        s(np(3+sg,
             np_head(det(the(sg)), [], capital),
             [pp(poss, np(3+sg, np_head(int_det(A), [], country), []))]),
          verb(be, active, pres+fin, [], pos(B)),
          [varg(dir, np(3+sg, nameOf(london), []))],
          [])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([B]):-country(B),capital(B,london)


actPlanning:(report4) 0.0 sec(s).
answer80([B]):-capital(B,london),{country(B)}


Reply:(report4) 0.0 sec(s).
[[united_kingdom]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [which,country,'\'',s,capital,is,london,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [what,is,the,total,area,of,countries,south,of,the,equator,and,not,in,australasia,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0009999999999763531 sec(s).
whq(A, s(np(3+sg, wh(A), []), verb(be, active, pres+fin, [], pos(D)), [varg(dir, np(3+sg, np_head(det(the(sg)), [adj(total)], area), [pp(prep(of), np(3+pl, np_head(generic, [], country), [conj(and, reduced_rel(B, s(np(3+pl, wh(B), []), verb(be, active, pres+fin, [], pos(E)), [varg(pred, pp(prep(southof), np(3+sg, nameOf(equator), [])))], [])), reduced_rel(C, s(np(3+pl, wh(C), []), verb(be, active, pres+fin, [], neg(not)), [varg(pred, pp(prep(in), np(3+sg, nameOf(australasia), [])))], [])))]))]))], [])) :-
    whq(A,
        s(np(3+sg, wh(A), []),
          verb(be, active, pres+fin, [], pos(D)),

          [ varg(dir,
                 np(3+sg,
                    np_head(det(the(sg)), [adj(total)], area),

                    [ pp(prep(of),
                         np(3+pl,
                            np_head(generic, [], country),

                            [ conj(and,
                                   reduced_rel(B,
                                               s(np(3+pl, wh(B), []),
                                                 verb(be,
                                                      active,
                                                      pres+fin,
                                                      [],
                                                      pos(E)),

                                                 [ varg(pred,
                                                        pp(prep(southof),
                                                           np(3+sg,
                                                              nameOf(equator),
                                                              [])))
                                                 ],
                                                 [])),
                                   reduced_rel(C,
                                               s(np(3+pl, wh(C), []),
                                                 verb(be,
                                                      active,
                                                      pres+fin,
                                                      [],
                                                      neg(not)),

                                                 [ varg(pred,
                                                        pp(prep(in),
                                                           np(3+sg,
                                                              nameOf(australasia),
                                                              [])))
                                                 ],
                                                 [])))
                            ]))
                    ]))
          ],
          [])).


iSemantics:(report4) 0.0020000000000095497 sec(s).
answer80([B]):-C^(setof(D:[E],(areaOf(E,D),country(E),southof(E,equator),\+in_ploc(E,australasia)),C),aggregate80(total,C,B))


Reply:(report4) 0.036000000000001364 sec(s).
[[--(10239.035000000003,ksqmiles)]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [what,is,the,total,area,of,countries,south,of,the,equator,and,not,in,australasia,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [does,afghanistan,border,china,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0009999999999763531 sec(s).
q(s(np(3+sg, nameOf(afghanistan), []), verb(border, active, pres+fin, [], pos(A)), [varg(dir, np(3+sg, nameOf(china), []))], [])) :-
    q(s(np(3+sg, nameOf(afghanistan), []),
        verb(border, active, pres+fin, [], pos(A)),
        [varg(dir, np(3+sg, nameOf(china), []))],
        [])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([]):-borders(afghanistan,china)


actPlanning:(report4) 0.0 sec(s).
answer80([]):-{borders(afghanistan,china)}


Reply:(report4) 0.0 sec(s).
[[true]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [does,afghanistan,border,china,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [what,is,the,capital,of,upper_volta,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+sg, wh(A), []), verb(be, active, pres+fin, [], pos(B)), [varg(dir, np(3+sg, np_head(det(the(sg)), [], capital), [pp(prep(of), np(3+sg, nameOf(upper_volta), []))]))], [])) :-
    whq(A,
        s(np(3+sg, wh(A), []),
          verb(be, active, pres+fin, [], pos(B)),

          [ varg(dir,
                 np(3+sg,
                    np_head(det(the(sg)), [], capital),
                    [pp(prep(of), np(3+sg, nameOf(upper_volta), []))]))
          ],
          [])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([B]):-capital(upper_volta,B)


Reply:(report4) 0.0 sec(s).
[[ouagadougou]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [what,is,the,capital,of,upper_volta,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [where,is,the,largest,country,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+sg, np_head(det(the(sg)), [sup(most, adj(large))], country), []), verb(be, active, pres+fin, [], pos(B)), [varg(pred, pp(prep(in), np(C, np_head(int_det(A), [], place), [])))], [])) :-
    whq(A,
        s(np(3+sg, np_head(det(the(sg)), [sup(most, adj(large))], country), []),
          verb(be, active, pres+fin, [], pos(B)),

          [ varg(pred,
                 pp(prep(in),
                    np(C, np_head(int_det(A), [], place), [])))
          ],
          [])).


iSemantics:(report4) 0.0 sec(s).
answer80([B]):-C^(D^(setof(E:F,(country(F),areaOf(F,E)),D),aggregate80(max,D,C)),place(B),in_ploc(C,B))


Reply:(report4) 0.02199999999999136 sec(s).
[[asia,northern_asia]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [where,is,the,largest,country,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [which,countries,are,european,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0009999999999763531 sec(s).
whq(A, s(np(3+pl, np_head(int_det(A), [], country), []), verb(be, active, pres+fin, [], pos(B)), [varg(pred, adj(european))], [])) :-
    whq(A,
        s(np(3+pl, np_head(int_det(A), [], country), []),
          verb(be, active, pres+fin, [], pos(B)),
          [varg(pred, adj(european))],
          [])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([B]):-country(B),european(B)


actPlanning:(report4) 0.0 sec(s).
answer80([B]):-european(B),{country(B)}


Reply:(report4) 0.003999999999990678 sec(s).
[[albania,andorra,austria,belgium,bulgaria,cyprus,czechoslovakia,denmark,east_germany,eire,finland,france,greece,hungary,iceland,italy,liechtenstein,luxembourg,malta,monaco,netherlands,norway,poland,portugal,romania,san_marino,spain,sweden,switzerland,united_kingdom,west_germany,yugoslavia]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [which,countries,are,european,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [which,is,the,largest,african,country,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+sg, wh(A), []), verb(be, active, pres+fin, [], pos(B)), [varg(dir, np(3+sg, np_head(det(the(sg)), [sup(most, adj(large)), adj(african)], country), []))], [])) :-
    whq(A,
        s(np(3+sg, wh(A), []),
          verb(be, active, pres+fin, [], pos(B)),

          [ varg(dir,
                 np(3+sg,
                    np_head(det(the(sg)),
                            [sup(most, adj(large)), adj(african)],
                            country),
                    []))
          ],
          [])).


iSemantics:(report4) 0.0 sec(s).
answer80([B]):-C^(setof(D:E,(country(E),areaOf(E,D),african(E)),C),aggregate80(max,C,B))


Reply:(report4) 0.02200000000001978 sec(s).
[[sudan]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [which,is,the,largest,african,country,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [how,large,is,the,smallest,american,country,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+sg, np_head(det(the(sg)), [sup(most, adj(small)), adj(american)], country), []), verb(be, active, pres+fin, [], pos(B)), [varg(pred, value(adj(large), wh(A)))], [])) :-
    whq(A,
        s(np(3+sg,
             np_head(det(the(sg)),
                     [sup(most, adj(small)), adj(american)],
                     country),
             []),
          verb(be, active, pres+fin, [], pos(B)),
          [varg(pred, value(adj(large), wh(A)))],
          [])).


iSemantics:(report4) 0.0 sec(s).
answer80([B]):-C^(D^(setof(E:F,(country(F),areaOf(F,E),american(F)),D),aggregate80(min,D,C)),areaOf(C,B))


Reply:(report4) 0.018000000000000682 sec(s).
[[--(0.133,ksqmiles)]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [how,large,is,the,smallest,american,country,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [what,is,the,ocean,that,borders,african,countries,and,that,borders,asian,countries,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+sg, wh(A), []), verb(be, active, pres+fin, [], pos(D)), [varg(dir, np(3+sg, np_head(det(the(sg)), [], ocean), [conj(and, rel(B, s(np(3+sg, wh(B), []), verb(border, active, pres+fin, [], pos(E)), [varg(dir, np(3+pl, np_head(generic, [adj(african)], country), []))], [])), rel(C, s(np(3+sg, wh(C), []), verb(border, active, pres+fin, [], pos(F)), [varg(dir, np(3+pl, np_head(generic, [adj(asian)], country), []))], [])))]))], [])) :-
    whq(A,
        s(np(3+sg, wh(A), []),
          verb(be, active, pres+fin, [], pos(D)),

          [ varg(dir,
                 np(3+sg,
                    np_head(det(the(sg)), [], ocean),

                    [ conj(and,
                           rel(B,
                               s(np(3+sg, wh(B), []),
                                 verb(border, active, pres+fin, [], pos(E)),

                                 [ varg(dir,
                                        np(3+pl,
                                           np_head(generic,
                                                   [adj(african)],
                                                   country),
                                           []))
                                 ],
                                 [])),
                           rel(C,
                               s(np(3+sg, wh(C), []),
                                 verb(border, active, pres+fin, [], pos(F)),

                                 [ varg(dir,
                                        np(3+pl,
                                           np_head(generic,
                                                   [adj(asian)],
                                                   country),
                                           []))
                                 ],
                                 [])))
                    ]))
          ],
          [])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([B]):-ocean(B),C^(country(C),african(C),borders(B,C)),D^(country(D),asian(D),borders(B,D))


actPlanning:(report4) 0.0010000000000047748 sec(s).
answer80([B]):-C^D^(ocean(B),{borders(B,C),{african(C)},{country(C)}},{borders(B,D),{asian(D)},{country(D)}})


Reply:(report4) 0.009999999999990905 sec(s).
[[indian_ocean]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [what,is,the,ocean,that,borders,african,countries,and,that,borders,asian,countries,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [what,are,the,capitals,of,the,countries,bordering,the,baltic,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+pl, wh(A), []), verb(be, active, pres+fin, [], pos(C)), [varg(dir, np(3+pl, np_head(det(the(pl)), [], capital), [pp(prep(of), np(3+pl, np_head(det(the(pl)), [], country), [reduced_rel(B, s(np(3+pl, wh(B), []), verb(border, active, inf, [prog], pos(D)), [varg(dir, np(3+sg, nameOf(baltic), []))], []))]))]))], [])) :-
    whq(A,
        s(np(3+pl, wh(A), []),
          verb(be, active, pres+fin, [], pos(C)),

          [ varg(dir,
                 np(3+pl,
                    np_head(det(the(pl)), [], capital),

                    [ pp(prep(of),
                         np(3+pl,
                            np_head(det(the(pl)), [], country),

                            [ reduced_rel(B,
                                          s(np(3+pl, wh(B), []),
                                            verb(border,
                                                 active,
                                                 inf,
                                                 [prog],
                                                 pos(D)),

                                            [ varg(dir,
                                                   np(3+sg, nameOf(baltic), []))
                                            ],
                                            []))
                            ]))
                    ]))
          ],
          [])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([B]):-setof([C]:D,(country(C),borders(C,baltic),setof(E,capital(C,E),D)),B)


Reply:(report4) 0.00899999999998613 sec(s).
[[[[denmark]:[copenhagen],[east_germany]:[east_berlin],[finland]:[helsinki],[poland]:[warsaw],[soviet_union]:[moscow],[sweden]:[stockholm],[west_germany]:[bonn]]]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [what,are,the,capitals,of,the,countries,bordering,the,baltic,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [which,countries,are,bordered,by,two,seas,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+pl, np_head(int_det(A), [], country), []), verb(border, passive, pres+fin, [], pos(B)), [], [pp(prep(by), np(3+pl, np_head(quant(same, nquant(2)), [], sea), []))])) :-
    whq(A,
        s(np(3+pl, np_head(int_det(A), [], country), []),
          verb(border, passive, pres+fin, [], pos(B)),
          [],
          [pp(prep(by), np(3+pl, np_head(quant(same, nquant(2)), [], sea), []))])).


iSemantics:(report4) 0.0 sec(s).
answer80([B]):-country(B),numberof(C,(sea(C),borders(C,B)),2)


actPlanning:(report4) 0.0 sec(s).
answer80([B]):-numberof(C,(sea(C),borders(C,B)),2),{country(B)}


Reply:(report4) 0.0010000000000047748 sec(s).
[[egypt,iran,israel,saudi_arabia,turkey]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [which,countries,are,bordered,by,two,seas,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [how,many,countries,does,the,danube,flow,through,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+sg, nameOf(danube), []), verb(flow, active, pres+fin, [], pos(B)), [], [pp(prep(through), np(3+pl, np_head(quant(same, wh(A)), [], country), []))])) :-
    whq(A,
        s(np(3+sg, nameOf(danube), []),
          verb(flow, active, pres+fin, [], pos(B)),
          [],

          [ pp(prep(through),
               np(3+pl, np_head(quant(same, wh(A)), [], country), []))
          ])).


iSemantics:(report4) 0.0 sec(s).
answer80([B]):-numberof(C,(country(C),flows(danube,C)),B)


actPlanning:(report4) 0.0 sec(s).
answer80([B]):-numberof(C,(flows(danube,C),{country(C)}),B)


Reply:(report4) 0.0009999999999763531 sec(s).
[[6]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [how,many,countries,does,the,danube,flow,through,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [what,is,the,average,area,of,the,countries,in,each,continent,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+sg, wh(A), []), verb(be, active, pres+fin, [], pos(B)), [varg(dir, np(3+sg, np_head(det(the(sg)), [adj(average)], area), [pp(prep(of), np(3+pl, np_head(det(the(pl)), [], country), [pp(prep(in), np(3+sg, np_head(det(each), [], continent), []))]))]))], [])) :-
    whq(A,
        s(np(3+sg, wh(A), []),
          verb(be, active, pres+fin, [], pos(B)),

          [ varg(dir,
                 np(3+sg,
                    np_head(det(the(sg)), [adj(average)], area),

                    [ pp(prep(of),
                         np(3+pl,
                            np_head(det(the(pl)), [], country),

                            [ pp(prep(in),
                                 np(3+sg, np_head(det(each), [], continent), []))
                            ]))
                    ]))
          ],
          [])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([B,C]):-continent(B),D^(setof(E:[F],(areaOf(F,E),country(F),in_ploc(F,B)),D),aggregate80(average,D,C))


Reply:(report4) 0.10300000000000864 sec(s).
[[[europe,--(58.808937500000006,ksqmiles)]]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [what,is,the,average,area,of,the,countries,in,each,continent,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [is,there,more,than,one,country,in,each,continent,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
q(s(there, verb(be, active, pres+fin, [], pos(A)), [varg(dir, np(3+sg, np_head(quant(more, nquant(1)), [], country), [pp(prep(in), np(3+sg, np_head(det(each), [], continent), []))]))], [])) :-
    q(s(there,
        verb(be, active, pres+fin, [], pos(A)),

        [ varg(dir,
               np(3+sg,
                  np_head(quant(more, nquant(1)), [], country),
                  [pp(prep(in), np(3+sg, np_head(det(each), [], continent), []))]))
        ],
        [])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([]):- \+B^(continent(B),\+C^(numberof(D,(country(D),in_ploc(D,B)),C),C>1))


Reply:(report4) 0.027000000000015234 sec(s).
[[false]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [is,there,more,than,one,country,in,each,continent,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [is,there,some,ocean,that,does,not,border,any,country,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
q(s(there, verb(be, active, pres+fin, [], pos(B)), [varg(dir, np(3+sg, np_head(det(some), [], ocean), [rel(A, s(np(3+sg, wh(A), []), verb(border, active, pres+fin, [], neg(not)), [varg(dir, np(3+sg, np_head(det(any), [], country), []))], []))]))], [])) :-
    q(s(there,
        verb(be, active, pres+fin, [], pos(B)),

        [ varg(dir,
               np(3+sg,
                  np_head(det(some), [], ocean),

                  [ rel(A,
                        s(np(3+sg, wh(A), []),
                          verb(border, active, pres+fin, [], neg(not)),
                          [varg(dir, np(3+sg, np_head(det(any), [], country), []))],
                          []))
                  ]))
        ],
        [])).


iSemantics:(report4) 0.0 sec(s).
answer80([]):-B^(ocean(B),\+C^(country(C),borders(B,C)))


actPlanning:(report4) 0.0 sec(s).
answer80([]):-B^{ocean(B),{\+C^(borders(B,C),{country(C)})}}


Reply:(report4) 0.0009999999999763531 sec(s).
[[true]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [is,there,some,ocean,that,does,not,border,any,country,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [what,are,the,countries,from,which,a,river,flows,into,the,black_sea,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0009999999999763531 sec(s).
whq(A, s(np(3+pl, wh(A), []), verb(be, active, pres+fin, [], pos(C)), [varg(dir, np(3+pl, np_head(det(the(pl)), [], country), [rel(B, s(np(3+sg, np_head(det(a), [], river), []), verb(flow, active, pres+fin, [], pos(D)), [], [pp(prep(from), np(3+pl, wh(B), [])), pp(prep(into), np(3+sg, nameOf(black_sea), []))]))]))], [])) :-
    whq(A,
        s(np(3+pl, wh(A), []),
          verb(be, active, pres+fin, [], pos(C)),

          [ varg(dir,
                 np(3+pl,
                    np_head(det(the(pl)), [], country),

                    [ rel(B,
                          s(np(3+sg, np_head(det(a), [], river), []),
                            verb(flow, active, pres+fin, [], pos(D)),
                            [],

                            [ pp(prep(from), np(3+pl, wh(B), [])),
                              pp(prep(into), np(3+sg, nameOf(black_sea), []))
                            ]))
                    ]))
          ],
          [])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([B]):-setof(C,(country(C),D^(river(D),flows(D,C,black_sea))),B)


Reply:(report4) 0.35900000000000887 sec(s).
[[[romania]]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [what,are,the,countries,from,which,a,river,flows,into,the,black_sea,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [what,percentage,of,countries,border,each,ocean,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+pl, np_head(int_det(A), [], percentage), [pp(prep(of), np(3+pl, np_head(generic, [], country), []))]), verb(border, active, pres+fin, [], pos(B)), [varg(dir, np(3+sg, np_head(det(each), [], ocean), []))], [])) :-
    whq(A,
        s(np(3+pl,
             np_head(int_det(A), [], percentage),
             [pp(prep(of), np(3+pl, np_head(generic, [], country), []))]),
          verb(border, active, pres+fin, [], pos(B)),
          [varg(dir, np(3+sg, np_head(det(each), [], ocean), []))],
          [])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([B,C]):-ocean(B),D^(setof(E,country(E),D),F^(numberof(G,(one_of(D,G),borders(G,B)),F),H^(card(D,H),ratio(F,H,C))))


Reply:(report4) 0.042999999999977945 sec(s).
[[[arctic_ocean,2.5641025641025643]]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [what,percentage,of,countries,border,each,ocean,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [what,are,the,continents,no,country,in,which,contains,more,than,two,cities,whose,population,exceeds,nquant(1),million,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0020000000000095497 sec(s).
whq(A, s(np(3+pl, wh(A), []), verb(be, active, pres+fin, [], pos(D)), [varg(dir, np(3+pl, np_head(det(the(pl)), [], continent), [rel(B, s(np(3+sg, np_head(det(no), [], country), [pp(prep(in), np(3+pl, wh(B), []))]), verb(contain, active, pres+fin, [], pos(E)), [varg(dir, np(3+pl, np_head(quant(more, nquant(2)), [], city), [rel(C, s(np(3+sg, np_head(det(the(sg)), [], population), [pp(poss, np(3+pl, wh(C), []))]), verb(exceed, active, pres+fin, [], pos(F)), [varg(dir, np(3+sg, np_head(quant(same, nquant(1)), [], million), []))], []))]))], []))]))], [])) :-
    whq(A,
        s(np(3+pl, wh(A), []),
          verb(be, active, pres+fin, [], pos(D)),

          [ varg(dir,
                 np(3+pl,
                    np_head(det(the(pl)), [], continent),

                    [ rel(B,
                          s(np(3+sg,
                               np_head(det(no), [], country),
                               [pp(prep(in), np(3+pl, wh(B), []))]),
                            verb(contain, active, pres+fin, [], pos(E)),

                            [ varg(dir,
                                   np(3+pl,
                                      np_head(quant(more, nquant(2)), [], city),

                                      [ rel(C,
                                            s(np(3+sg,
                                                 np_head(det(the(sg)),
                                                         [],
                                                         population),

                                                 [ pp(poss,
                                                      np(3+pl, wh(C), []))
                                                 ]),
                                              verb(exceed,
                                                   active,
                                                   pres+fin,
                                                   [],
                                                   pos(F)),

                                              [ varg(dir,
                                                     np(3+sg,
                                                        np_head(quant(same,
                                                                      nquant(1)),
                                                                [],
                                                                million),
                                                        []))
                                              ],
                                              []))
                                      ]))
                            ],
                            []))
                    ]))
          ],
          [])).


iSemantics:(report4) 0.0020000000000095497 sec(s).
answer80([B]):-setof(C,(continent(C),\+D^(country(D),in_ploc(D,C),E^(numberof(F,(city(F),G^(population(F,G),exceeds(G,--(1,million))),in_ploc(F,D)),E),E>2))),B)


Reply:(report4) 2.194000000000017 sec(s).
[[[africa,america,antarctica,asia,australasia,europe]]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [what,are,the,continents,no,country,in,which,contains,more,than,two,cities,whose,population,exceeds,nquant(1),million,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [which,country,bordering,the,mediterranean,borders,a,country,that,is,bordered,by,a,country,whose,population,exceeds,the,population,of,india,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0020000000000095497 sec(s).
whq(A, s(np(3+sg, np_head(int_det(A), [], country), [reduced_rel(B, s(np(3+sg, wh(B), []), verb(border, active, inf, [prog], pos(E)), [varg(dir, np(3+sg, nameOf(mediterranean), []))], []))]), verb(border, active, pres+fin, [], pos(F)), [varg(dir, np(3+sg, np_head(det(a), [], country), [rel(C, s(np(3+sg, wh(C), []), verb(border, passive, pres+fin, [], pos(G)), [], [pp(prep(by), np(3+sg, np_head(det(a), [], country), [rel(D, s(np(3+sg, np_head(det(the(sg)), [], population), [pp(poss, np(3+sg, wh(D), []))]), verb(exceed, active, pres+fin, [], pos(H)), [varg(dir, np(3+sg, np_head(det(the(sg)), [], population), [pp(prep(of), np(3+sg, nameOf(india), []))]))], []))]))]))]))], [])) :-
    whq(A,
        s(np(3+sg,
             np_head(int_det(A), [], country),

             [ reduced_rel(B,
                           s(np(3+sg, wh(B), []),
                             verb(border, active, inf, [prog], pos(E)),
                             [varg(dir, np(3+sg, nameOf(mediterranean), []))],
                             []))
             ]),
          verb(border, active, pres+fin, [], pos(F)),

          [ varg(dir,
                 np(3+sg,
                    np_head(det(a), [], country),

                    [ rel(C,
                          s(np(3+sg, wh(C), []),
                            verb(border, passive, pres+fin, [], pos(G)),
                            [],

                            [ pp(prep(by),
                                 np(3+sg,
                                    np_head(det(a), [], country),

                                    [ rel(D,
                                          s(np(3+sg,
                                               np_head(det(the(sg)),
                                                       [],
                                                       population),

                                               [ pp(poss,
                                                    np(3+sg, wh(D), []))
                                               ]),
                                            verb(exceed,
                                                 active,
                                                 pres+fin,
                                                 [],
                                                 pos(H)),

                                            [ varg(dir,
                                                   np(3+sg,
                                                      np_head(det(the(sg)),
                                                              [],
                                                              population),

                                                      [ pp(prep(of),
                                                           np(3+sg,
                                                              nameOf(india),
                                                              []))
                                                      ]))
                                            ],
                                            []))
                                    ]))
                            ]))
                    ]))
          ],
          [])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([B]):-country(B),borders(B,mediterranean),C^(country(C),D^(country(D),E^(population(D,E),F^(population(india,F),exceeds(E,F))),borders(D,C)),borders(B,C))


actPlanning:(report4) 0.0 sec(s).
answer80([B]):-C^D^E^F^(population(india,F),borders(B,mediterranean),{country(B)},{borders(B,C),{country(C)},{borders(D,C),{country(D)},{population(D,E),{exceeds(E,F)}}}})


Reply:(report4) 0.09899999999998954 sec(s).
[[turkey]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [which,country,bordering,the,mediterranean,borders,a,country,that,is,bordered,by,a,country,whose,population,exceeds,the,population,of,india,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [which,countries,have,a,population,exceeding,nquant(10),million,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0009999999999763531 sec(s).
whq(A, s(np(3+pl, np_head(int_det(A), [], country), []), verb(have, active, pres+fin, [], pos(C)), [varg(dir, np(3+sg, np_head(det(a), [], population), [reduced_rel(B, s(np(3+sg, wh(B), []), verb(exceed, active, inf, [prog], pos(D)), [varg(dir, np(3+pl, np_head(quant(same, nquant(10)), [], million), []))], []))]))], [])) :-
    whq(A,
        s(np(3+pl, np_head(int_det(A), [], country), []),
          verb(have, active, pres+fin, [], pos(C)),

          [ varg(dir,
                 np(3+sg,
                    np_head(det(a), [], population),

                    [ reduced_rel(B,
                                  s(np(3+sg, wh(B), []),
                                    verb(exceed,
                                         active,
                                         inf,
                                         [prog],
                                         pos(D)),

                                    [ varg(dir,
                                           np(3+pl,
                                              np_head(quant(same, nquant(10)),
                                                      [],
                                                      million),
                                              []))
                                    ],
                                    []))
                    ]))
          ],
          [])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([B]):-country(B),C^(exceeds(C,--(10,million)),population(B,C))


actPlanning:(report4) 0.0 sec(s).
answer80([B]):-C^(country(B),{population(B,C),{exceeds(C,--(10,million))}})


Reply:(report4) 0.016999999999995907 sec(s).
[[malaysia,uganda]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [which,countries,have,a,population,exceeding,nquant(10),million,?]

% ============================================END=============================================================
~n~n

% ============================================BEGIN=============================================================

%                       [which,countries,with,a,population,exceeding,nquant(10),million,border,the,atlantic,?]

% ---------------------------------------------------------------------------------------------------

Parse:(report4) 0.0010000000000047748 sec(s).
whq(A, s(np(3+pl, np_head(int_det(A), [], country), [pp(prep(with), np(3+sg, np_head(det(a), [], population), [reduced_rel(B, s(np(3+sg, wh(B), []), verb(exceed, active, inf, [prog], pos(C)), [varg(dir, np(3+pl, np_head(quant(same, nquant(10)), [], million), []))], []))]))]), verb(border, active, pres+fin, [], pos(D)), [varg(dir, np(3+sg, nameOf(atlantic), []))], [])) :-
    whq(A,
        s(np(3+pl,
             np_head(int_det(A), [], country),

             [ pp(prep(with),
                  np(3+sg,
                     np_head(det(a), [], population),

                     [ reduced_rel(B,
                                   s(np(3+sg, wh(B), []),
                                     verb(exceed,
                                          active,
                                          inf,
                                          [prog],
                                          pos(C)),

                                     [ varg(dir,
                                            np(3+pl,
                                               np_head(quant(same, nquant(10)),
                                                       [],
                                                       million),
                                               []))
                                     ],
                                     []))
                     ]))
             ]),
          verb(border, active, pres+fin, [], pos(D)),
          [varg(dir, np(3+sg, nameOf(atlantic), []))],
          [])).


iSemantics:(report4) 0.0010000000000047748 sec(s).
answer80([B]):-C^(population(B,C),exceeds(C,--(10,million)),country(B)),borders(B,atlantic)


actPlanning:(report4) 0.0 sec(s).
answer80([B]):-C^(borders(B,atlantic),{population(B,C),{exceeds(C,--(10,million))}},{country(B)})


Reply:(report4) 0.008000000000009777 sec(s).
[[venezuela]]


% ---------------------------------------------------------------------------------------------------

% ---------------------------------------------------------------------------------------------------

%                       [which,countries,with,a,population,exceeding,nquant(10),million,border,the,atlantic,?]

% ============================================END=============================================================
~n~n
true.

baseKB:  ?-

SIRIDUS

TrindiKit

GoDuS

BOXER

GATE's SUPPLE

BuChart 98

and about 10 more!