API tools faq
paste
logicmoo

Chat80

logicmoo
Jan 26th, 2020
539
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 103.06 KB | None | 0 0
raw download clone embed print report
  1. Initial starter Docs https://github.com/TeamSPoon/PrologMUD/wiki
  2.  
  3. Installation see.. https://docs.google.com/document/d/1fkOxnmI1LqxadvZuCRS-fGIEweIKyPn6AVGp5Yjse1I/edit
  4.  
  5.  
  6.  
  7.  
  8. The MUD_PDDL repository is now both Planning and NLU/NLG code.. The NLTK of Prolog!
  9.  
  10.  
  11.  
  12. It is very bothersome that with all the cool NLU demos out there there is  that is like GATE or even a Blackboard system
  13.  
  14.  
  15. This NLU/NLG ToolKit uses the following projects into a usable pipeline
  16.  
  17. TALK UGOT WP3 task 3.1 implementation accompanying D3.1
  18. Extended Information State Modelling  -- Stina Ericsson, 19th January, 2006
  19.  
  20. 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.
  21.  
  22. TALK
  23.  
  24. GULP
  25.  
  26. CHAT80
  27.  
  28. ````
  29.  
  30. % ============================================BEGIN=============================================================
  31.  
  32. %                       [what,rivers,are,there,?]
  33.  
  34. % ---------------------------------------------------------------------------------------------------
  35.  
  36. Parse:(report4) 0.0 sec(s).
  37. whq(A, s(np(3+pl, np_head(int_det(A), [], river), []), verb(be, active, pres+fin, [], pos(B)), [void(there)], [])) :-
  38.     whq(A,
  39.         s(np(3+pl, np_head(int_det(A), [], river), []),
  40.           verb(be, active, pres+fin, [], pos(B)),
  41.           [void(there)],
  42.           [])).
  43.  
  44.  
  45. iSemantics:(report4) 0.0010000000000047748 sec(s).
  46. answer80([B]):-river(B),B^true
  47.  
  48.  
  49. Reply:(report4) 0.0030000000000143245 sec(s).
  50. [[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]]
  51.  
  52.  
  53. % ---------------------------------------------------------------------------------------------------
  54.  
  55. % ---------------------------------------------------------------------------------------------------
  56.  
  57. %                       [what,rivers,are,there,?]
  58.  
  59. % ============================================END=============================================================
  60. ~n~n
  61.  
  62. % ============================================BEGIN=============================================================
  63.  
  64. %                       [what,countries,are,there,in,europe,?]
  65.  
  66. % ---------------------------------------------------------------------------------------------------
  67.  
  68. Parse:(report4) 0.0 sec(s).
  69. 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), []))])) :-
  70.     whq(A,
  71.         s(np(3+pl, np_head(int_det(A), [], country), []),
  72.           verb(be, active, pres+fin, [], pos(B)),
  73.           [void(there)],
  74.           [pp(prep(in), np(3+sg, nameOf(europe), []))])).
  75.  
  76.  
  77. iSemantics:(report4) 0.0 sec(s).
  78. answer80([B]):-country(B),in_ploc(B,europe)
  79.  
  80.  
  81. Reply:(report4) 0.00899999999998613 sec(s).
  82. [[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]]
  83.  
  84.  
  85. % ---------------------------------------------------------------------------------------------------
  86.  
  87. % ---------------------------------------------------------------------------------------------------
  88.  
  89. %                       [what,countries,are,there,in,europe,?]
  90.  
  91. % ============================================END=============================================================
  92. ~n~n
  93.  
  94. % ============================================BEGIN=============================================================
  95.  
  96. %                       [which,country,'\'',s,capital,is,london,?]
  97.  
  98. % ---------------------------------------------------------------------------------------------------
  99.  
  100. Parse:(report4) 0.0010000000000047748 sec(s).
  101. 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), []))], [])) :-
  102.     whq(A,
  103.         s(np(3+sg,
  104.              np_head(det(the(sg)), [], capital),
  105.              [pp(poss, np(3+sg, np_head(int_det(A), [], country), []))]),
  106.           verb(be, active, pres+fin, [], pos(B)),
  107.           [varg(dir, np(3+sg, nameOf(london), []))],
  108.           [])).
  109.  
  110.  
  111. iSemantics:(report4) 0.0 sec(s).
  112. answer80([B]):-country(B),capital(B,london)
  113.  
  114.  
  115. actPlanning:(report4) 0.0010000000000047748 sec(s).
  116. answer80([B]):-capital(B,london),{country(B)}
  117.  
  118.  
  119. Reply:(report4) 0.0 sec(s).
  120. [[united_kingdom]]
  121.  
  122.  
  123. % ---------------------------------------------------------------------------------------------------
  124.  
  125. % ---------------------------------------------------------------------------------------------------
  126.  
  127. %                       [which,country,'\'',s,capital,is,london,?]
  128.  
  129. % ============================================END=============================================================
  130. ~n~n
  131.  
  132. % ============================================BEGIN=============================================================
  133.  
  134. %                       [what,is,the,total,area,of,countries,south,of,the,equator,and,not,in,australasia,?]
  135.  
  136. % ---------------------------------------------------------------------------------------------------
  137.  
  138. Parse:(report4) 0.0010000000000047748 sec(s).
  139. 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), [])))], [])))]))]))], [])) :-
  140.     whq(A,
  141.         s(np(3+sg, wh(A), []),
  142.           verb(be, active, pres+fin, [], pos(D)),
  143.  
  144.           [ varg(dir,
  145.                  np(3+sg,
  146.                     np_head(det(the(sg)), [adj(total)], area),
  147.  
  148.                     [ pp(prep(of),
  149.                          np(3+pl,
  150.                             np_head(generic, [], country),
  151.  
  152.                             [ conj(and,
  153.                                    reduced_rel(B,
  154.                                                s(np(3+pl, wh(B), []),
  155.                                                  verb(be,
  156.                                                       active,
  157.                                                       pres+fin,
  158.                                                       [],
  159.                                                       pos(E)),
  160.  
  161.                                                  [ varg(pred,
  162.                                                         pp(prep(southof),
  163.                                                            np(3+sg,
  164.                                                               nameOf(equator),
  165.                                                               [])))
  166.                                                  ],
  167.                                                  [])),
  168.                                    reduced_rel(C,
  169.                                                s(np(3+pl, wh(C), []),
  170.                                                  verb(be,
  171.                                                       active,
  172.                                                       pres+fin,
  173.                                                       [],
  174.                                                       neg(not)),
  175.  
  176.                                                  [ varg(pred,
  177.                                                         pp(prep(in),
  178.                                                            np(3+sg,
  179.                                                               nameOf(australasia),
  180.                                                               [])))
  181.                                                  ],
  182.                                                  [])))
  183.                             ]))
  184.                     ]))
  185.           ],
  186.           [])).
  187.  
  188.  
  189. iSemantics:(report4) 0.0009999999999763531 sec(s).
  190. answer80([B]):-C^(setof(D:[E],(areaOf(E,D),country(E),southof(E,equator),\+in_ploc(E,australasia)),C),aggregate80(total,C,B))
  191.  
  192.  
  193. Reply:(report4) 0.019000000000005457 sec(s).
  194. [[--(10239.035000000003,ksqmiles)]]
  195.  
  196.  
  197. % ---------------------------------------------------------------------------------------------------
  198.  
  199. % ---------------------------------------------------------------------------------------------------
  200.  
  201. %                       [what,is,the,total,area,of,countries,south,of,the,equator,and,not,in,australasia,?]
  202.  
  203. % ============================================END=============================================================
  204. ~n~n
  205. true.
  206.  
  207. baseKB:  ?-   test_chat80_regressions.
  208.  
  209. % ============================================BEGIN=============================================================
  210.  
  211. %                       [what,rivers,are,there,?]
  212.  
  213. % ---------------------------------------------------------------------------------------------------
  214.  
  215. Parse:(report4) 0.0009999999999763531 sec(s).
  216. whq(A, s(np(3+pl, np_head(int_det(A), [], river), []), verb(be, active, pres+fin, [], pos(B)), [void(there)], [])) :-
  217.     whq(A,
  218.         s(np(3+pl, np_head(int_det(A), [], river), []),
  219.           verb(be, active, pres+fin, [], pos(B)),
  220.           [void(there)],
  221.           [])).
  222.  
  223.  
  224. iSemantics:(report4) 0.0010000000000047748 sec(s).
  225. answer80([B]):-river(B),B^true
  226.  
  227.  
  228. Reply:(report4) 0.0020000000000095497 sec(s).
  229. [[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]]
  230.  
  231.  
  232. % ---------------------------------------------------------------------------------------------------
  233.  
  234. % ---------------------------------------------------------------------------------------------------
  235.  
  236. %                       [what,rivers,are,there,?]
  237.  
  238. % ============================================END=============================================================
  239. ~n~n
  240.  
  241. % ============================================BEGIN=============================================================
  242.  
  243. %                       [what,countries,are,there,in,europe,?]
  244.  
  245. % ---------------------------------------------------------------------------------------------------
  246.  
  247. Parse:(report4) 0.0 sec(s).
  248. 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), []))])) :-
  249.     whq(A,
  250.         s(np(3+pl, np_head(int_det(A), [], country), []),
  251.           verb(be, active, pres+fin, [], pos(B)),
  252.           [void(there)],
  253.           [pp(prep(in), np(3+sg, nameOf(europe), []))])).
  254.  
  255.  
  256. iSemantics:(report4) 0.0010000000000047748 sec(s).
  257. answer80([B]):-country(B),in_ploc(B,europe)
  258.  
  259.  
  260. Reply:(report4) 0.015999999999991132 sec(s).
  261. [[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]]
  262.  
  263.  
  264. % ---------------------------------------------------------------------------------------------------
  265.  
  266. % ---------------------------------------------------------------------------------------------------
  267.  
  268. %                       [what,countries,are,there,in,europe,?]
  269.  
  270. % ============================================END=============================================================
  271. ~n~n
  272.  
  273. % ============================================BEGIN=============================================================
  274.  
  275. %                       [which,country,'\'',s,capital,is,london,?]
  276.  
  277. % ---------------------------------------------------------------------------------------------------
  278.  
  279. Parse:(report4) 0.0009999999999763531 sec(s).
  280. 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), []))], [])) :-
  281.     whq(A,
  282.         s(np(3+sg,
  283.              np_head(det(the(sg)), [], capital),
  284.              [pp(poss, np(3+sg, np_head(int_det(A), [], country), []))]),
  285.           verb(be, active, pres+fin, [], pos(B)),
  286.           [varg(dir, np(3+sg, nameOf(london), []))],
  287.           [])).
  288.  
  289.  
  290. iSemantics:(report4) 0.0 sec(s).
  291. answer80([B]):-country(B),capital(B,london)
  292.  
  293.  
  294. actPlanning:(report4) 0.0 sec(s).
  295. answer80([B]):-capital(B,london),{country(B)}
  296.  
  297.  
  298. Reply:(report4) 0.0010000000000047748 sec(s).
  299. [[united_kingdom]]
  300.  
  301.  
  302. % ---------------------------------------------------------------------------------------------------
  303.  
  304. % ---------------------------------------------------------------------------------------------------
  305.  
  306. %                       [which,country,'\'',s,capital,is,london,?]
  307.  
  308. % ============================================END=============================================================
  309. ~n~n
  310.  
  311. % ============================================BEGIN=============================================================
  312.  
  313. %                       [what,is,the,total,area,of,countries,south,of,the,equator,and,not,in,australasia,?]
  314.  
  315. % ---------------------------------------------------------------------------------------------------
  316.  
  317. Parse:(report4) 0.0010000000000047748 sec(s).
  318. 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), [])))], [])))]))]))], [])) :-
  319.     whq(A,
  320.         s(np(3+sg, wh(A), []),
  321.           verb(be, active, pres+fin, [], pos(D)),
  322.  
  323.           [ varg(dir,
  324.                  np(3+sg,
  325.                     np_head(det(the(sg)), [adj(total)], area),
  326.  
  327.                     [ pp(prep(of),
  328.                          np(3+pl,
  329.                             np_head(generic, [], country),
  330.  
  331.                             [ conj(and,
  332.                                    reduced_rel(B,
  333.                                                s(np(3+pl, wh(B), []),
  334.                                                  verb(be,
  335.                                                       active,
  336.                                                       pres+fin,
  337.                                                       [],
  338.                                                       pos(E)),
  339.  
  340.                                                  [ varg(pred,
  341.                                                         pp(prep(southof),
  342.                                                            np(3+sg,
  343.                                                               nameOf(equator),
  344.                                                               [])))
  345.                                                  ],
  346.                                                  [])),
  347.                                    reduced_rel(C,
  348.                                                s(np(3+pl, wh(C), []),
  349.                                                  verb(be,
  350.                                                       active,
  351.                                                       pres+fin,
  352.                                                       [],
  353.                                                       neg(not)),
  354.  
  355.                                                  [ varg(pred,
  356.                                                         pp(prep(in),
  357.                                                            np(3+sg,
  358.                                                               nameOf(australasia),
  359.                                                               [])))
  360.                                                  ],
  361.                                                  [])))
  362.                             ]))
  363.                     ]))
  364.           ],
  365.           [])).
  366.  
  367.  
  368. iSemantics:(report4) 0.0010000000000047748 sec(s).
  369. answer80([B]):-C^(setof(D:[E],(areaOf(E,D),country(E),southof(E,equator),\+in_ploc(E,australasia)),C),aggregate80(total,C,B))
  370.  
  371.  
  372. Reply:(report4) 0.019000000000005457 sec(s).
  373. [[--(10239.035000000003,ksqmiles)]]
  374.  
  375.  
  376. % ---------------------------------------------------------------------------------------------------
  377.  
  378. % ---------------------------------------------------------------------------------------------------
  379.  
  380. %                       [what,is,the,total,area,of,countries,south,of,the,equator,and,not,in,australasia,?]
  381.  
  382. % ============================================END=============================================================
  383. ~n~n
  384.  
  385. % ============================================BEGIN=============================================================
  386.  
  387. %                       [does,afghanistan,border,china,?]
  388.  
  389. % ---------------------------------------------------------------------------------------------------
  390.  
  391. Parse:(report4) 0.0009999999999763531 sec(s).
  392. q(s(np(3+sg, nameOf(afghanistan), []), verb(border, active, pres+fin, [], pos(A)), [varg(dir, np(3+sg, nameOf(china), []))], [])) :-
  393.     q(s(np(3+sg, nameOf(afghanistan), []),
  394.         verb(border, active, pres+fin, [], pos(A)),
  395.         [varg(dir, np(3+sg, nameOf(china), []))],
  396.         [])).
  397.  
  398.  
  399. iSemantics:(report4) 0.0 sec(s).
  400. answer80([]):-borders(afghanistan,china)
  401.  
  402.  
  403. actPlanning:(report4) 0.0 sec(s).
  404. answer80([]):-{borders(afghanistan,china)}
  405.  
  406.  
  407. Reply:(report4) 0.0010000000000047748 sec(s).
  408. [[true]]
  409.  
  410.  
  411. % ---------------------------------------------------------------------------------------------------
  412.  
  413. % ---------------------------------------------------------------------------------------------------
  414.  
  415. %                       [does,afghanistan,border,china,?]
  416.  
  417. % ============================================END=============================================================
  418. ~n~n
  419.  
  420. % ============================================BEGIN=============================================================
  421.  
  422. %                       [what,is,the,capital,of,upper_volta,?]
  423.  
  424. % ---------------------------------------------------------------------------------------------------
  425.  
  426. Parse:(report4) 0.0010000000000047748 sec(s).
  427. 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), []))]))], [])) :-
  428.     whq(A,
  429.         s(np(3+sg, wh(A), []),
  430.           verb(be, active, pres+fin, [], pos(B)),
  431.  
  432.           [ varg(dir,
  433.                  np(3+sg,
  434.                     np_head(det(the(sg)), [], capital),
  435.                     [pp(prep(of), np(3+sg, nameOf(upper_volta), []))]))
  436.           ],
  437.           [])).
  438.  
  439.  
  440. iSemantics:(report4) 0.0 sec(s).
  441. answer80([B]):-capital(upper_volta,B)
  442.  
  443.  
  444. Reply:(report4) 0.0 sec(s).
  445. [[ouagadougou]]
  446.  
  447.  
  448. % ---------------------------------------------------------------------------------------------------
  449.  
  450. % ---------------------------------------------------------------------------------------------------
  451.  
  452. %                       [what,is,the,capital,of,upper_volta,?]
  453.  
  454. % ============================================END=============================================================
  455. ~n~n
  456.  
  457. % ============================================BEGIN=============================================================
  458.  
  459. %                       [where,is,the,largest,country,?]
  460.  
  461. % ---------------------------------------------------------------------------------------------------
  462.  
  463. Parse:(report4) 0.0 sec(s).
  464. 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), [])))], [])) :-
  465.     whq(A,
  466.         s(np(3+sg, np_head(det(the(sg)), [sup(most, adj(large))], country), []),
  467.           verb(be, active, pres+fin, [], pos(B)),
  468.  
  469.           [ varg(pred,
  470.                  pp(prep(in),
  471.                     np(C, np_head(int_det(A), [], place), [])))
  472.           ],
  473.           [])).
  474.  
  475.  
  476. iSemantics:(report4) 0.0 sec(s).
  477. answer80([B]):-C^(D^(setof(E:F,(country(F),areaOf(F,E)),D),aggregate80(max,D,C)),place(B),in_ploc(C,B))
  478.  
  479.  
  480. Reply:(report4) 0.038000000000010914 sec(s).
  481. [[asia,northern_asia]]
  482.  
  483.  
  484. % ---------------------------------------------------------------------------------------------------
  485.  
  486. % ---------------------------------------------------------------------------------------------------
  487.  
  488. %                       [where,is,the,largest,country,?]
  489.  
  490. % ============================================END=============================================================
  491. ~n~n
  492.  
  493. % ============================================BEGIN=============================================================
  494.  
  495. %                       [which,countries,are,european,?]
  496.  
  497. % ---------------------------------------------------------------------------------------------------
  498.  
  499. Parse:(report4) 0.0010000000000047748 sec(s).
  500. whq(A, s(np(3+pl, np_head(int_det(A), [], country), []), verb(be, active, pres+fin, [], pos(B)), [varg(pred, adj(european))], [])) :-
  501.     whq(A,
  502.         s(np(3+pl, np_head(int_det(A), [], country), []),
  503.           verb(be, active, pres+fin, [], pos(B)),
  504.           [varg(pred, adj(european))],
  505.           [])).
  506.  
  507.  
  508. iSemantics:(report4) 0.0010000000000047748 sec(s).
  509. answer80([B]):-country(B),european(B)
  510.  
  511.  
  512. actPlanning:(report4) 0.0 sec(s).
  513. answer80([B]):-european(B),{country(B)}
  514.  
  515.  
  516. Reply:(report4) 0.006000000000000227 sec(s).
  517. [[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]]
  518.  
  519.  
  520. % ---------------------------------------------------------------------------------------------------
  521.  
  522. % ---------------------------------------------------------------------------------------------------
  523.  
  524. %                       [which,countries,are,european,?]
  525.  
  526. % ============================================END=============================================================
  527. ~n~n
  528.  
  529. % ============================================BEGIN=============================================================
  530.  
  531. %                       [which,is,the,largest,african,country,?]
  532.  
  533. % ---------------------------------------------------------------------------------------------------
  534.  
  535. Parse:(report4) 0.0010000000000047748 sec(s).
  536. 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), []))], [])) :-
  537.     whq(A,
  538.         s(np(3+sg, wh(A), []),
  539.           verb(be, active, pres+fin, [], pos(B)),
  540.  
  541.           [ varg(dir,
  542.                  np(3+sg,
  543.                     np_head(det(the(sg)),
  544.                             [sup(most, adj(large)), adj(african)],
  545.                             country),
  546.                     []))
  547.           ],
  548.           [])).
  549.  
  550.  
  551. iSemantics:(report4) 0.0010000000000047748 sec(s).
  552. answer80([B]):-C^(setof(D:E,(country(E),areaOf(E,D),african(E)),C),aggregate80(max,C,B))
  553.  
  554.  
  555. Reply:(report4) 0.018000000000000682 sec(s).
  556. [[sudan]]
  557.  
  558.  
  559. % ---------------------------------------------------------------------------------------------------
  560.  
  561. % ---------------------------------------------------------------------------------------------------
  562.  
  563. %                       [which,is,the,largest,african,country,?]
  564.  
  565. % ============================================END=============================================================
  566. ~n~n
  567.  
  568. % ============================================BEGIN=============================================================
  569.  
  570. %                       [how,large,is,the,smallest,american,country,?]
  571.  
  572. % ---------------------------------------------------------------------------------------------------
  573.  
  574. Parse:(report4) 0.0 sec(s).
  575. 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)))], [])) :-
  576.     whq(A,
  577.         s(np(3+sg,
  578.              np_head(det(the(sg)),
  579.                      [sup(most, adj(small)), adj(american)],
  580.                      country),
  581.              []),
  582.           verb(be, active, pres+fin, [], pos(B)),
  583.           [varg(pred, value(adj(large), wh(A)))],
  584.           [])).
  585.  
  586.  
  587. iSemantics:(report4) 0.0 sec(s).
  588. answer80([B]):-C^(D^(setof(E:F,(country(F),areaOf(F,E),american(F)),D),aggregate80(min,D,C)),areaOf(C,B))
  589.  
  590.  
  591. Reply:(report4) 0.018000000000000682 sec(s).
  592. [[--(0.133,ksqmiles)]]
  593.  
  594.  
  595. % ---------------------------------------------------------------------------------------------------
  596.  
  597. % ---------------------------------------------------------------------------------------------------
  598.  
  599. %                       [how,large,is,the,smallest,american,country,?]
  600.  
  601. % ============================================END=============================================================
  602. ~n~n
  603.  
  604. % ============================================BEGIN=============================================================
  605.  
  606. %                       [what,is,the,ocean,that,borders,african,countries,and,that,borders,asian,countries,?]
  607.  
  608. % ---------------------------------------------------------------------------------------------------
  609.  
  610. Parse:(report4) 0.0009999999999763531 sec(s).
  611. 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), []))], [])))]))], [])) :-
  612.     whq(A,
  613.         s(np(3+sg, wh(A), []),
  614.           verb(be, active, pres+fin, [], pos(D)),
  615.  
  616.           [ varg(dir,
  617.                  np(3+sg,
  618.                     np_head(det(the(sg)), [], ocean),
  619.  
  620.                     [ conj(and,
  621.                            rel(B,
  622.                                s(np(3+sg, wh(B), []),
  623.                                  verb(border, active, pres+fin, [], pos(E)),
  624.  
  625.                                  [ varg(dir,
  626.                                         np(3+pl,
  627.                                            np_head(generic,
  628.                                                    [adj(african)],
  629.                                                    country),
  630.                                            []))
  631.                                  ],
  632.                                  [])),
  633.                            rel(C,
  634.                                s(np(3+sg, wh(C), []),
  635.                                  verb(border, active, pres+fin, [], pos(F)),
  636.  
  637.                                  [ varg(dir,
  638.                                         np(3+pl,
  639.                                            np_head(generic,
  640.                                                    [adj(asian)],
  641.                                                    country),
  642.                                            []))
  643.                                  ],
  644.                                  [])))
  645.                     ]))
  646.           ],
  647.           [])).
  648.  
  649.  
  650. iSemantics:(report4) 0.0020000000000095497 sec(s).
  651. answer80([B]):-ocean(B),C^(country(C),african(C),borders(B,C)),D^(country(D),asian(D),borders(B,D))
  652.  
  653.  
  654. actPlanning:(report4) 0.0 sec(s).
  655. answer80([B]):-C^D^(ocean(B),{borders(B,C),{african(C)},{country(C)}},{borders(B,D),{asian(D)},{country(D)}})
  656.  
  657.  
  658. Reply:(report4) 0.012000000000000455 sec(s).
  659. [[indian_ocean]]
  660.  
  661.  
  662. % ---------------------------------------------------------------------------------------------------
  663.  
  664. % ---------------------------------------------------------------------------------------------------
  665.  
  666. %                       [what,is,the,ocean,that,borders,african,countries,and,that,borders,asian,countries,?]
  667.  
  668. % ============================================END=============================================================
  669. ~n~n
  670.  
  671. % ============================================BEGIN=============================================================
  672.  
  673. %                       [what,are,the,capitals,of,the,countries,bordering,the,baltic,?]
  674.  
  675. % ---------------------------------------------------------------------------------------------------
  676.  
  677. Parse:(report4) 0.0010000000000047748 sec(s).
  678. 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), []))], []))]))]))], [])) :-
  679.     whq(A,
  680.         s(np(3+pl, wh(A), []),
  681.           verb(be, active, pres+fin, [], pos(C)),
  682.  
  683.           [ varg(dir,
  684.                  np(3+pl,
  685.                     np_head(det(the(pl)), [], capital),
  686.  
  687.                     [ pp(prep(of),
  688.                          np(3+pl,
  689.                             np_head(det(the(pl)), [], country),
  690.  
  691.                             [ reduced_rel(B,
  692.                                           s(np(3+pl, wh(B), []),
  693.                                             verb(border,
  694.                                                  active,
  695.                                                  inf,
  696.                                                  [prog],
  697.                                                  pos(D)),
  698.  
  699.                                             [ varg(dir,
  700.                                                    np(3+sg, nameOf(baltic), []))
  701.                                             ],
  702.                                             []))
  703.                             ]))
  704.                     ]))
  705.           ],
  706.           [])).
  707.  
  708.  
  709. iSemantics:(report4) 0.0020000000000095497 sec(s).
  710. answer80([B]):-setof([C]:D,(country(C),borders(C,baltic),setof(E,capital(C,E),D)),B)
  711.  
  712.  
  713. Reply:(report4) 0.010000000000019327 sec(s).
  714. [[[[denmark]:[copenhagen],[east_germany]:[east_berlin],[finland]:[helsinki],[poland]:[warsaw],[soviet_union]:[moscow],[sweden]:[stockholm],[west_germany]:[bonn]]]]
  715.  
  716.  
  717. % ---------------------------------------------------------------------------------------------------
  718.  
  719. % ---------------------------------------------------------------------------------------------------
  720.  
  721. %                       [what,are,the,capitals,of,the,countries,bordering,the,baltic,?]
  722.  
  723. % ============================================END=============================================================
  724. ~n~n
  725.  
  726. % ============================================BEGIN=============================================================
  727.  
  728. %                       [which,countries,are,bordered,by,two,seas,?]
  729.  
  730. % ---------------------------------------------------------------------------------------------------
  731.  
  732. Parse:(report4) 0.0010000000000047748 sec(s).
  733. 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), []))])) :-
  734.     whq(A,
  735.         s(np(3+pl, np_head(int_det(A), [], country), []),
  736.           verb(border, passive, pres+fin, [], pos(B)),
  737.           [],
  738.           [pp(prep(by), np(3+pl, np_head(quant(same, nquant(2)), [], sea), []))])).
  739.  
  740.  
  741. iSemantics:(report4) 0.0010000000000047748 sec(s).
  742. answer80([B]):-country(B),numberof(C,(sea(C),borders(C,B)),2)
  743.  
  744.  
  745. actPlanning:(report4) 0.0 sec(s).
  746. answer80([B]):-numberof(C,(sea(C),borders(C,B)),2),{country(B)}
  747.  
  748.  
  749. Reply:(report4) 0.0010000000000047748 sec(s).
  750. [[egypt,iran,israel,saudi_arabia,turkey]]
  751.  
  752.  
  753. % ---------------------------------------------------------------------------------------------------
  754.  
  755. % ---------------------------------------------------------------------------------------------------
  756.  
  757. %                       [which,countries,are,bordered,by,two,seas,?]
  758.  
  759. % ============================================END=============================================================
  760. ~n~n
  761.  
  762. % ============================================BEGIN=============================================================
  763.  
  764. %                       [how,many,countries,does,the,danube,flow,through,?]
  765.  
  766. % ---------------------------------------------------------------------------------------------------
  767.  
  768. Parse:(report4) 0.0010000000000047748 sec(s).
  769. 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), []))])) :-
  770.     whq(A,
  771.         s(np(3+sg, nameOf(danube), []),
  772.           verb(flow, active, pres+fin, [], pos(B)),
  773.           [],
  774.  
  775.           [ pp(prep(through),
  776.                np(3+pl, np_head(quant(same, wh(A)), [], country), []))
  777.           ])).
  778.  
  779.  
  780. iSemantics:(report4) 0.0 sec(s).
  781. answer80([B]):-numberof(C,(country(C),flows(danube,C)),B)
  782.  
  783.  
  784. actPlanning:(report4) 0.0 sec(s).
  785. answer80([B]):-numberof(C,(flows(danube,C),{country(C)}),B)
  786.  
  787.  
  788. Reply:(report4) 0.0009999999999763531 sec(s).
  789. [[6]]
  790.  
  791.  
  792. % ---------------------------------------------------------------------------------------------------
  793.  
  794. % ---------------------------------------------------------------------------------------------------
  795.  
  796. %                       [how,many,countries,does,the,danube,flow,through,?]
  797.  
  798. % ============================================END=============================================================
  799. ~n~n
  800.  
  801. % ============================================BEGIN=============================================================
  802.  
  803. %                       [what,is,the,average,area,of,the,countries,in,each,continent,?]
  804.  
  805. % ---------------------------------------------------------------------------------------------------
  806.  
  807. Parse:(report4) 0.0010000000000047748 sec(s).
  808. 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), []))]))]))], [])) :-
  809.     whq(A,
  810.         s(np(3+sg, wh(A), []),
  811.           verb(be, active, pres+fin, [], pos(B)),
  812.  
  813.           [ varg(dir,
  814.                  np(3+sg,
  815.                     np_head(det(the(sg)), [adj(average)], area),
  816.  
  817.                     [ pp(prep(of),
  818.                          np(3+pl,
  819.                             np_head(det(the(pl)), [], country),
  820.  
  821.                             [ pp(prep(in),
  822.                                  np(3+sg, np_head(det(each), [], continent), []))
  823.                             ]))
  824.                     ]))
  825.           ],
  826.           [])).
  827.  
  828.  
  829. iSemantics:(report4) 0.0010000000000047748 sec(s).
  830. answer80([B,C]):-continent(B),D^(setof(E:[F],(areaOf(F,E),country(F),in_ploc(F,B)),D),aggregate80(average,D,C))
  831.  
  832.  
  833. Reply:(report4) 0.12899999999999068 sec(s).
  834. [[[europe,--(58.808937500000006,ksqmiles)]]]
  835.  
  836.  
  837. % ---------------------------------------------------------------------------------------------------
  838.  
  839. % ---------------------------------------------------------------------------------------------------
  840.  
  841. %                       [what,is,the,average,area,of,the,countries,in,each,continent,?]
  842.  
  843. % ============================================END=============================================================
  844. ~n~n
  845.  
  846. % ============================================BEGIN=============================================================
  847.  
  848. %                       [is,there,more,than,one,country,in,each,continent,?]
  849.  
  850. % ---------------------------------------------------------------------------------------------------
  851.  
  852. Parse:(report4) 0.0010000000000047748 sec(s).
  853. 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), []))]))], [])) :-
  854.     q(s(there,
  855.         verb(be, active, pres+fin, [], pos(A)),
  856.  
  857.         [ varg(dir,
  858.                np(3+sg,
  859.                   np_head(quant(more, nquant(1)), [], country),
  860.                   [pp(prep(in), np(3+sg, np_head(det(each), [], continent), []))]))
  861.         ],
  862.         [])).
  863.  
  864.  
  865. iSemantics:(report4) 0.0 sec(s).
  866. answer80([]):- \+B^(continent(B),\+C^(numberof(D,(country(D),in_ploc(D,B)),C),C>1))
  867.  
  868.  
  869. Reply:(report4) 0.027000000000015234 sec(s).
  870. [[false]]
  871.  
  872.  
  873. % ---------------------------------------------------------------------------------------------------
  874.  
  875. % ---------------------------------------------------------------------------------------------------
  876.  
  877. %                       [is,there,more,than,one,country,in,each,continent,?]
  878.  
  879. % ============================================END=============================================================
  880. ~n~n
  881.  
  882. % ============================================BEGIN=============================================================
  883.  
  884. %                       [is,there,some,ocean,that,does,not,border,any,country,?]
  885.  
  886. % ---------------------------------------------------------------------------------------------------
  887.  
  888. Parse:(report4) 0.0010000000000047748 sec(s).
  889. 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), []))], []))]))], [])) :-
  890.     q(s(there,
  891.         verb(be, active, pres+fin, [], pos(B)),
  892.  
  893.         [ varg(dir,
  894.                np(3+sg,
  895.                   np_head(det(some), [], ocean),
  896.  
  897.                   [ rel(A,
  898.                         s(np(3+sg, wh(A), []),
  899.                           verb(border, active, pres+fin, [], neg(not)),
  900.                           [varg(dir, np(3+sg, np_head(det(any), [], country), []))],
  901.                           []))
  902.                   ]))
  903.         ],
  904.         [])).
  905.  
  906.  
  907. iSemantics:(report4) 0.0009999999999763531 sec(s).
  908. answer80([]):-B^(ocean(B),\+C^(country(C),borders(B,C)))
  909.  
  910.  
  911. actPlanning:(report4) 0.0 sec(s).
  912. answer80([]):-B^{ocean(B),{\+C^(borders(B,C),{country(C)})}}
  913.  
  914.  
  915. Reply:(report4) 0.0020000000000095497 sec(s).
  916. [[true]]
  917.  
  918.  
  919. % ---------------------------------------------------------------------------------------------------
  920.  
  921. % ---------------------------------------------------------------------------------------------------
  922.  
  923. %                       [is,there,some,ocean,that,does,not,border,any,country,?]
  924.  
  925. % ============================================END=============================================================
  926. ~n~n
  927.  
  928. % ============================================BEGIN=============================================================
  929.  
  930. %                       [what,are,the,countries,from,which,a,river,flows,into,the,black_sea,?]
  931.  
  932. % ---------------------------------------------------------------------------------------------------
  933.  
  934. Parse:(report4) 0.0010000000000047748 sec(s).
  935. 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), []))]))]))], [])) :-
  936.     whq(A,
  937.         s(np(3+pl, wh(A), []),
  938.           verb(be, active, pres+fin, [], pos(C)),
  939.  
  940.           [ varg(dir,
  941.                  np(3+pl,
  942.                     np_head(det(the(pl)), [], country),
  943.  
  944.                     [ rel(B,
  945.                           s(np(3+sg, np_head(det(a), [], river), []),
  946.                             verb(flow, active, pres+fin, [], pos(D)),
  947.                             [],
  948.  
  949.                             [ pp(prep(from), np(3+pl, wh(B), [])),
  950.                               pp(prep(into), np(3+sg, nameOf(black_sea), []))
  951.                             ]))
  952.                     ]))
  953.           ],
  954.           [])).
  955.  
  956.  
  957. iSemantics:(report4) 0.0010000000000047748 sec(s).
  958. answer80([B]):-setof(C,(country(C),D^(river(D),flows(D,C,black_sea))),B)
  959.  
  960.  
  961. Reply:(report4) 0.38900000000001 sec(s).
  962. [[[romania]]]
  963.  
  964.  
  965. % ---------------------------------------------------------------------------------------------------
  966.  
  967. % ---------------------------------------------------------------------------------------------------
  968.  
  969. %                       [what,are,the,countries,from,which,a,river,flows,into,the,black_sea,?]
  970.  
  971. % ============================================END=============================================================
  972. ~n~n
  973.  
  974. % ============================================BEGIN=============================================================
  975.  
  976. %                       [what,percentage,of,countries,border,each,ocean,?]
  977.  
  978. % ---------------------------------------------------------------------------------------------------
  979.  
  980. Parse:(report4) 0.0010000000000047748 sec(s).
  981. 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), []))], [])) :-
  982.     whq(A,
  983.         s(np(3+pl,
  984.              np_head(int_det(A), [], percentage),
  985.              [pp(prep(of), np(3+pl, np_head(generic, [], country), []))]),
  986.           verb(border, active, pres+fin, [], pos(B)),
  987.           [varg(dir, np(3+sg, np_head(det(each), [], ocean), []))],
  988.           [])).
  989.  
  990.  
  991. iSemantics:(report4) 0.0 sec(s).
  992. 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))))
  993.  
  994.  
  995. Reply:(report4) 0.044999999999987494 sec(s).
  996. [[[arctic_ocean,2.5641025641025643]]]
  997.  
  998.  
  999. % ---------------------------------------------------------------------------------------------------
  1000.  
  1001. % ---------------------------------------------------------------------------------------------------
  1002.  
  1003. %                       [what,percentage,of,countries,border,each,ocean,?]
  1004.  
  1005. % ============================================END=============================================================
  1006. ~n~n
  1007.  
  1008. % ============================================BEGIN=============================================================
  1009.  
  1010. %                       [what,are,the,continents,no,country,in,which,contains,more,than,two,cities,whose,population,exceeds,nquant(1),million,?]
  1011.  
  1012. % ---------------------------------------------------------------------------------------------------
  1013.  
  1014. Parse:(report4) 0.0020000000000095497 sec(s).
  1015. 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), []))], []))]))], []))]))], [])) :-
  1016.     whq(A,
  1017.         s(np(3+pl, wh(A), []),
  1018.           verb(be, active, pres+fin, [], pos(D)),
  1019.  
  1020.           [ varg(dir,
  1021.                  np(3+pl,
  1022.                     np_head(det(the(pl)), [], continent),
  1023.  
  1024.                     [ rel(B,
  1025.                           s(np(3+sg,
  1026.                                np_head(det(no), [], country),
  1027.                                [pp(prep(in), np(3+pl, wh(B), []))]),
  1028.                             verb(contain, active, pres+fin, [], pos(E)),
  1029.  
  1030.                             [ varg(dir,
  1031.                                    np(3+pl,
  1032.                                       np_head(quant(more, nquant(2)), [], city),
  1033.  
  1034.                                       [ rel(C,
  1035.                                             s(np(3+sg,
  1036.                                                  np_head(det(the(sg)),
  1037.                                                          [],
  1038.                                                          population),
  1039.  
  1040.                                                  [ pp(poss,
  1041.                                                       np(3+pl, wh(C), []))
  1042.                                                  ]),
  1043.                                               verb(exceed,
  1044.                                                    active,
  1045.                                                    pres+fin,
  1046.                                                    [],
  1047.                                                    pos(F)),
  1048.  
  1049.                                               [ varg(dir,
  1050.                                                      np(3+sg,
  1051.                                                         np_head(quant(same,
  1052.                                                                       nquant(1)),
  1053.                                                                 [],
  1054.                                                                 million),
  1055.                                                         []))
  1056.                                               ],
  1057.                                               []))
  1058.                                       ]))
  1059.                             ],
  1060.                             []))
  1061.                     ]))
  1062.           ],
  1063.           [])).
  1064.  
  1065.  
  1066. iSemantics:(report4) 0.0010000000000047748 sec(s).
  1067. 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)
  1068.  
  1069.  
  1070. Reply:(report4) 2.2439999999999998 sec(s).
  1071. [[[africa,america,antarctica,asia,australasia,europe]]]
  1072.  
  1073.  
  1074. % ---------------------------------------------------------------------------------------------------
  1075.  
  1076. % ---------------------------------------------------------------------------------------------------
  1077.  
  1078. %                       [what,are,the,continents,no,country,in,which,contains,more,than,two,cities,whose,population,exceeds,nquant(1),million,?]
  1079.  
  1080. % ============================================END=============================================================
  1081. ~n~n
  1082.  
  1083. % ============================================BEGIN=============================================================
  1084.  
  1085. %                       [which,country,bordering,the,mediterranean,borders,a,country,that,is,bordered,by,a,country,whose,population,exceeds,the,population,of,india,?]
  1086.  
  1087. % ---------------------------------------------------------------------------------------------------
  1088.  
  1089. Parse:(report4) 0.0020000000000095497 sec(s).
  1090. 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), []))]))], []))]))]))]))], [])) :-
  1091.     whq(A,
  1092.         s(np(3+sg,
  1093.              np_head(int_det(A), [], country),
  1094.  
  1095.              [ reduced_rel(B,
  1096.                            s(np(3+sg, wh(B), []),
  1097.                              verb(border, active, inf, [prog], pos(E)),
  1098.                              [varg(dir, np(3+sg, nameOf(mediterranean), []))],
  1099.                              []))
  1100.              ]),
  1101.           verb(border, active, pres+fin, [], pos(F)),
  1102.  
  1103.           [ varg(dir,
  1104.                  np(3+sg,
  1105.                     np_head(det(a), [], country),
  1106.  
  1107.                     [ rel(C,
  1108.                           s(np(3+sg, wh(C), []),
  1109.                             verb(border, passive, pres+fin, [], pos(G)),
  1110.                             [],
  1111.  
  1112.                             [ pp(prep(by),
  1113.                                  np(3+sg,
  1114.                                     np_head(det(a), [], country),
  1115.  
  1116.                                     [ rel(D,
  1117.                                           s(np(3+sg,
  1118.                                                np_head(det(the(sg)),
  1119.                                                        [],
  1120.                                                        population),
  1121.  
  1122.                                                [ pp(poss,
  1123.                                                     np(3+sg, wh(D), []))
  1124.                                                ]),
  1125.                                             verb(exceed,
  1126.                                                  active,
  1127.                                                  pres+fin,
  1128.                                                  [],
  1129.                                                  pos(H)),
  1130.  
  1131.                                             [ varg(dir,
  1132.                                                    np(3+sg,
  1133.                                                       np_head(det(the(sg)),
  1134.                                                               [],
  1135.                                                               population),
  1136.  
  1137.                                                       [ pp(prep(of),
  1138.                                                            np(3+sg,
  1139.                                                               nameOf(india),
  1140.                                                               []))
  1141.                                                       ]))
  1142.                                             ],
  1143.                                             []))
  1144.                                     ]))
  1145.                             ]))
  1146.                     ]))
  1147.           ],
  1148.           [])).
  1149.  
  1150.  
  1151. iSemantics:(report4) 0.0010000000000047748 sec(s).
  1152. 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))
  1153.  
  1154.  
  1155. actPlanning:(report4) 0.0009999999999763531 sec(s).
  1156. 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)}}}})
  1157.  
  1158.  
  1159. Reply:(report4) 0.07699999999999818 sec(s).
  1160. [[turkey]]
  1161.  
  1162.  
  1163. % ---------------------------------------------------------------------------------------------------
  1164.  
  1165. % ---------------------------------------------------------------------------------------------------
  1166.  
  1167. %                       [which,country,bordering,the,mediterranean,borders,a,country,that,is,bordered,by,a,country,whose,population,exceeds,the,population,of,india,?]
  1168.  
  1169. % ============================================END=============================================================
  1170. ~n~n
  1171.  
  1172. % ============================================BEGIN=============================================================
  1173.  
  1174. %                       [which,countries,have,a,population,exceeding,nquant(10),million,?]
  1175.  
  1176. % ---------------------------------------------------------------------------------------------------
  1177.  
  1178. Parse:(report4) 0.0010000000000047748 sec(s).
  1179. 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), []))], []))]))], [])) :-
  1180.     whq(A,
  1181.         s(np(3+pl, np_head(int_det(A), [], country), []),
  1182.           verb(have, active, pres+fin, [], pos(C)),
  1183.  
  1184.           [ varg(dir,
  1185.                  np(3+sg,
  1186.                     np_head(det(a), [], population),
  1187.  
  1188.                     [ reduced_rel(B,
  1189.                                   s(np(3+sg, wh(B), []),
  1190.                                     verb(exceed,
  1191.                                          active,
  1192.                                          inf,
  1193.                                          [prog],
  1194.                                          pos(D)),
  1195.  
  1196.                                     [ varg(dir,
  1197.                                            np(3+pl,
  1198.                                               np_head(quant(same, nquant(10)),
  1199.                                                       [],
  1200.                                                       million),
  1201.                                               []))
  1202.                                     ],
  1203.                                     []))
  1204.                     ]))
  1205.           ],
  1206.           [])).
  1207.  
  1208.  
  1209. iSemantics:(report4) 0.0 sec(s).
  1210. answer80([B]):-country(B),C^(exceeds(C,--(10,million)),population(B,C))
  1211.  
  1212.  
  1213. actPlanning:(report4) 0.0 sec(s).
  1214. answer80([B]):-C^(country(B),{population(B,C),{exceeds(C,--(10,million))}})
  1215.  
  1216.  
  1217. Reply:(report4) 0.020000000000010232 sec(s).
  1218. [[malaysia,uganda]]
  1219.  
  1220.  
  1221. % ---------------------------------------------------------------------------------------------------
  1222.  
  1223. % ---------------------------------------------------------------------------------------------------
  1224.  
  1225. %                       [which,countries,have,a,population,exceeding,nquant(10),million,?]
  1226.  
  1227. % ============================================END=============================================================
  1228. ~n~n
  1229.  
  1230. % ============================================BEGIN=============================================================
  1231.  
  1232. %                       [which,countries,with,a,population,exceeding,nquant(10),million,border,the,atlantic,?]
  1233.  
  1234. % ---------------------------------------------------------------------------------------------------
  1235.  
  1236. Parse:(report4) 0.0009999999999763531 sec(s).
  1237. 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), []))], [])) :-
  1238.     whq(A,
  1239.         s(np(3+pl,
  1240.              np_head(int_det(A), [], country),
  1241.  
  1242.              [ pp(prep(with),
  1243.                   np(3+sg,
  1244.                      np_head(det(a), [], population),
  1245.  
  1246.                      [ reduced_rel(B,
  1247.                                    s(np(3+sg, wh(B), []),
  1248.                                      verb(exceed,
  1249.                                           active,
  1250.                                           inf,
  1251.                                           [prog],
  1252.                                           pos(C)),
  1253.  
  1254.                                      [ varg(dir,
  1255.                                             np(3+pl,
  1256.                                                np_head(quant(same, nquant(10)),
  1257.                                                        [],
  1258.                                                        million),
  1259.                                                []))
  1260.                                      ],
  1261.                                      []))
  1262.                      ]))
  1263.              ]),
  1264.           verb(border, active, pres+fin, [], pos(D)),
  1265.           [varg(dir, np(3+sg, nameOf(atlantic), []))],
  1266.           [])).
  1267.  
  1268.  
  1269. iSemantics:(report4) 0.0010000000000047748 sec(s).
  1270. answer80([B]):-C^(population(B,C),exceeds(C,--(10,million)),country(B)),borders(B,atlantic)
  1271.  
  1272.  
  1273. actPlanning:(report4) 0.0 sec(s).
  1274. answer80([B]):-C^(borders(B,atlantic),{population(B,C),{exceeds(C,--(10,million))}},{country(B)})
  1275.  
  1276.  
  1277. Reply:(report4) 0.007000000000005002 sec(s).
  1278. [[venezuela]]
  1279.  
  1280.  
  1281. % ---------------------------------------------------------------------------------------------------
  1282.  
  1283. % ---------------------------------------------------------------------------------------------------
  1284.  
  1285. %                       [which,countries,with,a,population,exceeding,nquant(10),million,border,the,atlantic,?]
  1286.  
  1287. % ============================================END=============================================================
  1288. ~n~n
  1289. true.
  1290.  
  1291. baseKB:  ?- cls.
  1292. [Detaching after fork from child process 32196]
  1293. true.
  1294.  
  1295. baseKB:  ?- test_chat80_regressions.
  1296.  
  1297. % ============================================BEGIN=============================================================
  1298.  
  1299. %                       [what,rivers,are,there,?]
  1300.  
  1301. % ---------------------------------------------------------------------------------------------------
  1302.  
  1303. Parse:(report4) 0.0009999999999763531 sec(s).
  1304. whq(A, s(np(3+pl, np_head(int_det(A), [], river), []), verb(be, active, pres+fin, [], pos(B)), [void(there)], [])) :-
  1305.     whq(A,
  1306.         s(np(3+pl, np_head(int_det(A), [], river), []),
  1307.           verb(be, active, pres+fin, [], pos(B)),
  1308.           [void(there)],
  1309.           [])).
  1310.  
  1311.  
  1312. iSemantics:(report4) 0.0 sec(s).
  1313. answer80([B]):-river(B),B^true
  1314.  
  1315.  
  1316. Reply:(report4) 0.0020000000000095497 sec(s).
  1317. [[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]]
  1318.  
  1319.  
  1320. % ---------------------------------------------------------------------------------------------------
  1321.  
  1322. % ---------------------------------------------------------------------------------------------------
  1323.  
  1324. %                       [what,rivers,are,there,?]
  1325.  
  1326. % ============================================END=============================================================
  1327. ~n~n
  1328.  
  1329. % ============================================BEGIN=============================================================
  1330.  
  1331. %                       [what,countries,are,there,in,europe,?]
  1332.  
  1333. % ---------------------------------------------------------------------------------------------------
  1334.  
  1335. Parse:(report4) 0.0 sec(s).
  1336. 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), []))])) :-
  1337.     whq(A,
  1338.         s(np(3+pl, np_head(int_det(A), [], country), []),
  1339.           verb(be, active, pres+fin, [], pos(B)),
  1340.           [void(there)],
  1341.           [pp(prep(in), np(3+sg, nameOf(europe), []))])).
  1342.  
  1343.  
  1344. iSemantics:(report4) 0.0010000000000047748 sec(s).
  1345. answer80([B]):-country(B),in_ploc(B,europe)
  1346.  
  1347.  
  1348. Reply:(report4) 0.019000000000005457 sec(s).
  1349. [[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]]
  1350.  
  1351.  
  1352. % ---------------------------------------------------------------------------------------------------
  1353.  
  1354. % ---------------------------------------------------------------------------------------------------
  1355.  
  1356. %                       [what,countries,are,there,in,europe,?]
  1357.  
  1358. % ============================================END=============================================================
  1359. ~n~n
  1360.  
  1361. % ============================================BEGIN=============================================================
  1362.  
  1363. %                       [which,country,'\'',s,capital,is,london,?]
  1364.  
  1365. % ---------------------------------------------------------------------------------------------------
  1366.  
  1367. Parse:(report4) 0.0010000000000047748 sec(s).
  1368. 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), []))], [])) :-
  1369.     whq(A,
  1370.         s(np(3+sg,
  1371.              np_head(det(the(sg)), [], capital),
  1372.              [pp(poss, np(3+sg, np_head(int_det(A), [], country), []))]),
  1373.           verb(be, active, pres+fin, [], pos(B)),
  1374.           [varg(dir, np(3+sg, nameOf(london), []))],
  1375.           [])).
  1376.  
  1377.  
  1378. iSemantics:(report4) 0.0010000000000047748 sec(s).
  1379. answer80([B]):-country(B),capital(B,london)
  1380.  
  1381.  
  1382. actPlanning:(report4) 0.0 sec(s).
  1383. answer80([B]):-capital(B,london),{country(B)}
  1384.  
  1385.  
  1386. Reply:(report4) 0.0 sec(s).
  1387. [[united_kingdom]]
  1388.  
  1389.  
  1390. % ---------------------------------------------------------------------------------------------------
  1391.  
  1392. % ---------------------------------------------------------------------------------------------------
  1393.  
  1394. %                       [which,country,'\'',s,capital,is,london,?]
  1395.  
  1396. % ============================================END=============================================================
  1397. ~n~n
  1398.  
  1399. % ============================================BEGIN=============================================================
  1400.  
  1401. %                       [what,is,the,total,area,of,countries,south,of,the,equator,and,not,in,australasia,?]
  1402.  
  1403. % ---------------------------------------------------------------------------------------------------
  1404.  
  1405. Parse:(report4) 0.0009999999999763531 sec(s).
  1406. 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), [])))], [])))]))]))], [])) :-
  1407.     whq(A,
  1408.         s(np(3+sg, wh(A), []),
  1409.           verb(be, active, pres+fin, [], pos(D)),
  1410.  
  1411.           [ varg(dir,
  1412.                  np(3+sg,
  1413.                     np_head(det(the(sg)), [adj(total)], area),
  1414.  
  1415.                     [ pp(prep(of),
  1416.                          np(3+pl,
  1417.                             np_head(generic, [], country),
  1418.  
  1419.                             [ conj(and,
  1420.                                    reduced_rel(B,
  1421.                                                s(np(3+pl, wh(B), []),
  1422.                                                  verb(be,
  1423.                                                       active,
  1424.                                                       pres+fin,
  1425.                                                       [],
  1426.                                                       pos(E)),
  1427.  
  1428.                                                  [ varg(pred,
  1429.                                                         pp(prep(southof),
  1430.                                                            np(3+sg,
  1431.                                                               nameOf(equator),
  1432.                                                               [])))
  1433.                                                  ],
  1434.                                                  [])),
  1435.                                    reduced_rel(C,
  1436.                                                s(np(3+pl, wh(C), []),
  1437.                                                  verb(be,
  1438.                                                       active,
  1439.                                                       pres+fin,
  1440.                                                       [],
  1441.                                                       neg(not)),
  1442.  
  1443.                                                  [ varg(pred,
  1444.                                                         pp(prep(in),
  1445.                                                            np(3+sg,
  1446.                                                               nameOf(australasia),
  1447.                                                               [])))
  1448.                                                  ],
  1449.                                                  [])))
  1450.                             ]))
  1451.                     ]))
  1452.           ],
  1453.           [])).
  1454.  
  1455.  
  1456. iSemantics:(report4) 0.0020000000000095497 sec(s).
  1457. answer80([B]):-C^(setof(D:[E],(areaOf(E,D),country(E),southof(E,equator),\+in_ploc(E,australasia)),C),aggregate80(total,C,B))
  1458.  
  1459.  
  1460. Reply:(report4) 0.036000000000001364 sec(s).
  1461. [[--(10239.035000000003,ksqmiles)]]
  1462.  
  1463.  
  1464. % ---------------------------------------------------------------------------------------------------
  1465.  
  1466. % ---------------------------------------------------------------------------------------------------
  1467.  
  1468. %                       [what,is,the,total,area,of,countries,south,of,the,equator,and,not,in,australasia,?]
  1469.  
  1470. % ============================================END=============================================================
  1471. ~n~n
  1472.  
  1473. % ============================================BEGIN=============================================================
  1474.  
  1475. %                       [does,afghanistan,border,china,?]
  1476.  
  1477. % ---------------------------------------------------------------------------------------------------
  1478.  
  1479. Parse:(report4) 0.0009999999999763531 sec(s).
  1480. q(s(np(3+sg, nameOf(afghanistan), []), verb(border, active, pres+fin, [], pos(A)), [varg(dir, np(3+sg, nameOf(china), []))], [])) :-
  1481.     q(s(np(3+sg, nameOf(afghanistan), []),
  1482.         verb(border, active, pres+fin, [], pos(A)),
  1483.         [varg(dir, np(3+sg, nameOf(china), []))],
  1484.         [])).
  1485.  
  1486.  
  1487. iSemantics:(report4) 0.0010000000000047748 sec(s).
  1488. answer80([]):-borders(afghanistan,china)
  1489.  
  1490.  
  1491. actPlanning:(report4) 0.0 sec(s).
  1492. answer80([]):-{borders(afghanistan,china)}
  1493.  
  1494.  
  1495. Reply:(report4) 0.0 sec(s).
  1496. [[true]]
  1497.  
  1498.  
  1499. % ---------------------------------------------------------------------------------------------------
  1500.  
  1501. % ---------------------------------------------------------------------------------------------------
  1502.  
  1503. %                       [does,afghanistan,border,china,?]
  1504.  
  1505. % ============================================END=============================================================
  1506. ~n~n
  1507.  
  1508. % ============================================BEGIN=============================================================
  1509.  
  1510. %                       [what,is,the,capital,of,upper_volta,?]
  1511.  
  1512. % ---------------------------------------------------------------------------------------------------
  1513.  
  1514. Parse:(report4) 0.0010000000000047748 sec(s).
  1515. 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), []))]))], [])) :-
  1516.     whq(A,
  1517.         s(np(3+sg, wh(A), []),
  1518.           verb(be, active, pres+fin, [], pos(B)),
  1519.  
  1520.           [ varg(dir,
  1521.                  np(3+sg,
  1522.                     np_head(det(the(sg)), [], capital),
  1523.                     [pp(prep(of), np(3+sg, nameOf(upper_volta), []))]))
  1524.           ],
  1525.           [])).
  1526.  
  1527.  
  1528. iSemantics:(report4) 0.0010000000000047748 sec(s).
  1529. answer80([B]):-capital(upper_volta,B)
  1530.  
  1531.  
  1532. Reply:(report4) 0.0 sec(s).
  1533. [[ouagadougou]]
  1534.  
  1535.  
  1536. % ---------------------------------------------------------------------------------------------------
  1537.  
  1538. % ---------------------------------------------------------------------------------------------------
  1539.  
  1540. %                       [what,is,the,capital,of,upper_volta,?]
  1541.  
  1542. % ============================================END=============================================================
  1543. ~n~n
  1544.  
  1545. % ============================================BEGIN=============================================================
  1546.  
  1547. %                       [where,is,the,largest,country,?]
  1548.  
  1549. % ---------------------------------------------------------------------------------------------------
  1550.  
  1551. Parse:(report4) 0.0010000000000047748 sec(s).
  1552. 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), [])))], [])) :-
  1553.     whq(A,
  1554.         s(np(3+sg, np_head(det(the(sg)), [sup(most, adj(large))], country), []),
  1555.           verb(be, active, pres+fin, [], pos(B)),
  1556.  
  1557.           [ varg(pred,
  1558.                  pp(prep(in),
  1559.                     np(C, np_head(int_det(A), [], place), [])))
  1560.           ],
  1561.           [])).
  1562.  
  1563.  
  1564. iSemantics:(report4) 0.0 sec(s).
  1565. answer80([B]):-C^(D^(setof(E:F,(country(F),areaOf(F,E)),D),aggregate80(max,D,C)),place(B),in_ploc(C,B))
  1566.  
  1567.  
  1568. Reply:(report4) 0.02199999999999136 sec(s).
  1569. [[asia,northern_asia]]
  1570.  
  1571.  
  1572. % ---------------------------------------------------------------------------------------------------
  1573.  
  1574. % ---------------------------------------------------------------------------------------------------
  1575.  
  1576. %                       [where,is,the,largest,country,?]
  1577.  
  1578. % ============================================END=============================================================
  1579. ~n~n
  1580.  
  1581. % ============================================BEGIN=============================================================
  1582.  
  1583. %                       [which,countries,are,european,?]
  1584.  
  1585. % ---------------------------------------------------------------------------------------------------
  1586.  
  1587. Parse:(report4) 0.0009999999999763531 sec(s).
  1588. whq(A, s(np(3+pl, np_head(int_det(A), [], country), []), verb(be, active, pres+fin, [], pos(B)), [varg(pred, adj(european))], [])) :-
  1589.     whq(A,
  1590.         s(np(3+pl, np_head(int_det(A), [], country), []),
  1591.           verb(be, active, pres+fin, [], pos(B)),
  1592.           [varg(pred, adj(european))],
  1593.           [])).
  1594.  
  1595.  
  1596. iSemantics:(report4) 0.0010000000000047748 sec(s).
  1597. answer80([B]):-country(B),european(B)
  1598.  
  1599.  
  1600. actPlanning:(report4) 0.0 sec(s).
  1601. answer80([B]):-european(B),{country(B)}
  1602.  
  1603.  
  1604. Reply:(report4) 0.003999999999990678 sec(s).
  1605. [[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]]
  1606.  
  1607.  
  1608. % ---------------------------------------------------------------------------------------------------
  1609.  
  1610. % ---------------------------------------------------------------------------------------------------
  1611.  
  1612. %                       [which,countries,are,european,?]
  1613.  
  1614. % ============================================END=============================================================
  1615. ~n~n
  1616.  
  1617. % ============================================BEGIN=============================================================
  1618.  
  1619. %                       [which,is,the,largest,african,country,?]
  1620.  
  1621. % ---------------------------------------------------------------------------------------------------
  1622.  
  1623. Parse:(report4) 0.0010000000000047748 sec(s).
  1624. 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), []))], [])) :-
  1625.     whq(A,
  1626.         s(np(3+sg, wh(A), []),
  1627.           verb(be, active, pres+fin, [], pos(B)),
  1628.  
  1629.           [ varg(dir,
  1630.                  np(3+sg,
  1631.                     np_head(det(the(sg)),
  1632.                             [sup(most, adj(large)), adj(african)],
  1633.                             country),
  1634.                     []))
  1635.           ],
  1636.           [])).
  1637.  
  1638.  
  1639. iSemantics:(report4) 0.0 sec(s).
  1640. answer80([B]):-C^(setof(D:E,(country(E),areaOf(E,D),african(E)),C),aggregate80(max,C,B))
  1641.  
  1642.  
  1643. Reply:(report4) 0.02200000000001978 sec(s).
  1644. [[sudan]]
  1645.  
  1646.  
  1647. % ---------------------------------------------------------------------------------------------------
  1648.  
  1649. % ---------------------------------------------------------------------------------------------------
  1650.  
  1651. %                       [which,is,the,largest,african,country,?]
  1652.  
  1653. % ============================================END=============================================================
  1654. ~n~n
  1655.  
  1656. % ============================================BEGIN=============================================================
  1657.  
  1658. %                       [how,large,is,the,smallest,american,country,?]
  1659.  
  1660. % ---------------------------------------------------------------------------------------------------
  1661.  
  1662. Parse:(report4) 0.0010000000000047748 sec(s).
  1663. 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)))], [])) :-
  1664.     whq(A,
  1665.         s(np(3+sg,
  1666.              np_head(det(the(sg)),
  1667.                      [sup(most, adj(small)), adj(american)],
  1668.                      country),
  1669.              []),
  1670.           verb(be, active, pres+fin, [], pos(B)),
  1671.           [varg(pred, value(adj(large), wh(A)))],
  1672.           [])).
  1673.  
  1674.  
  1675. iSemantics:(report4) 0.0 sec(s).
  1676. answer80([B]):-C^(D^(setof(E:F,(country(F),areaOf(F,E),american(F)),D),aggregate80(min,D,C)),areaOf(C,B))
  1677.  
  1678.  
  1679. Reply:(report4) 0.018000000000000682 sec(s).
  1680. [[--(0.133,ksqmiles)]]
  1681.  
  1682.  
  1683. % ---------------------------------------------------------------------------------------------------
  1684.  
  1685. % ---------------------------------------------------------------------------------------------------
  1686.  
  1687. %                       [how,large,is,the,smallest,american,country,?]
  1688.  
  1689. % ============================================END=============================================================
  1690. ~n~n
  1691.  
  1692. % ============================================BEGIN=============================================================
  1693.  
  1694. %                       [what,is,the,ocean,that,borders,african,countries,and,that,borders,asian,countries,?]
  1695.  
  1696. % ---------------------------------------------------------------------------------------------------
  1697.  
  1698. Parse:(report4) 0.0010000000000047748 sec(s).
  1699. 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), []))], [])))]))], [])) :-
  1700.     whq(A,
  1701.         s(np(3+sg, wh(A), []),
  1702.           verb(be, active, pres+fin, [], pos(D)),
  1703.  
  1704.           [ varg(dir,
  1705.                  np(3+sg,
  1706.                     np_head(det(the(sg)), [], ocean),
  1707.  
  1708.                     [ conj(and,
  1709.                            rel(B,
  1710.                                s(np(3+sg, wh(B), []),
  1711.                                  verb(border, active, pres+fin, [], pos(E)),
  1712.  
  1713.                                  [ varg(dir,
  1714.                                         np(3+pl,
  1715.                                            np_head(generic,
  1716.                                                    [adj(african)],
  1717.                                                    country),
  1718.                                            []))
  1719.                                  ],
  1720.                                  [])),
  1721.                            rel(C,
  1722.                                s(np(3+sg, wh(C), []),
  1723.                                  verb(border, active, pres+fin, [], pos(F)),
  1724.  
  1725.                                  [ varg(dir,
  1726.                                         np(3+pl,
  1727.                                            np_head(generic,
  1728.                                                    [adj(asian)],
  1729.                                                    country),
  1730.                                            []))
  1731.                                  ],
  1732.                                  [])))
  1733.                     ]))
  1734.           ],
  1735.           [])).
  1736.  
  1737.  
  1738. iSemantics:(report4) 0.0010000000000047748 sec(s).
  1739. answer80([B]):-ocean(B),C^(country(C),african(C),borders(B,C)),D^(country(D),asian(D),borders(B,D))
  1740.  
  1741.  
  1742. actPlanning:(report4) 0.0010000000000047748 sec(s).
  1743. answer80([B]):-C^D^(ocean(B),{borders(B,C),{african(C)},{country(C)}},{borders(B,D),{asian(D)},{country(D)}})
  1744.  
  1745.  
  1746. Reply:(report4) 0.009999999999990905 sec(s).
  1747. [[indian_ocean]]
  1748.  
  1749.  
  1750. % ---------------------------------------------------------------------------------------------------
  1751.  
  1752. % ---------------------------------------------------------------------------------------------------
  1753.  
  1754. %                       [what,is,the,ocean,that,borders,african,countries,and,that,borders,asian,countries,?]
  1755.  
  1756. % ============================================END=============================================================
  1757. ~n~n
  1758.  
  1759. % ============================================BEGIN=============================================================
  1760.  
  1761. %                       [what,are,the,capitals,of,the,countries,bordering,the,baltic,?]
  1762.  
  1763. % ---------------------------------------------------------------------------------------------------
  1764.  
  1765. Parse:(report4) 0.0010000000000047748 sec(s).
  1766. 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), []))], []))]))]))], [])) :-
  1767.     whq(A,
  1768.         s(np(3+pl, wh(A), []),
  1769.           verb(be, active, pres+fin, [], pos(C)),
  1770.  
  1771.           [ varg(dir,
  1772.                  np(3+pl,
  1773.                     np_head(det(the(pl)), [], capital),
  1774.  
  1775.                     [ pp(prep(of),
  1776.                          np(3+pl,
  1777.                             np_head(det(the(pl)), [], country),
  1778.  
  1779.                             [ reduced_rel(B,
  1780.                                           s(np(3+pl, wh(B), []),
  1781.                                             verb(border,
  1782.                                                  active,
  1783.                                                  inf,
  1784.                                                  [prog],
  1785.                                                  pos(D)),
  1786.  
  1787.                                             [ varg(dir,
  1788.                                                    np(3+sg, nameOf(baltic), []))
  1789.                                             ],
  1790.                                             []))
  1791.                             ]))
  1792.                     ]))
  1793.           ],
  1794.           [])).
  1795.  
  1796.  
  1797. iSemantics:(report4) 0.0010000000000047748 sec(s).
  1798. answer80([B]):-setof([C]:D,(country(C),borders(C,baltic),setof(E,capital(C,E),D)),B)
  1799.  
  1800.  
  1801. Reply:(report4) 0.00899999999998613 sec(s).
  1802. [[[[denmark]:[copenhagen],[east_germany]:[east_berlin],[finland]:[helsinki],[poland]:[warsaw],[soviet_union]:[moscow],[sweden]:[stockholm],[west_germany]:[bonn]]]]
  1803.  
  1804.  
  1805. % ---------------------------------------------------------------------------------------------------
  1806.  
  1807. % ---------------------------------------------------------------------------------------------------
  1808.  
  1809. %                       [what,are,the,capitals,of,the,countries,bordering,the,baltic,?]
  1810.  
  1811. % ============================================END=============================================================
  1812. ~n~n
  1813.  
  1814. % ============================================BEGIN=============================================================
  1815.  
  1816. %                       [which,countries,are,bordered,by,two,seas,?]
  1817.  
  1818. % ---------------------------------------------------------------------------------------------------
  1819.  
  1820. Parse:(report4) 0.0010000000000047748 sec(s).
  1821. 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), []))])) :-
  1822.     whq(A,
  1823.         s(np(3+pl, np_head(int_det(A), [], country), []),
  1824.           verb(border, passive, pres+fin, [], pos(B)),
  1825.           [],
  1826.           [pp(prep(by), np(3+pl, np_head(quant(same, nquant(2)), [], sea), []))])).
  1827.  
  1828.  
  1829. iSemantics:(report4) 0.0 sec(s).
  1830. answer80([B]):-country(B),numberof(C,(sea(C),borders(C,B)),2)
  1831.  
  1832.  
  1833. actPlanning:(report4) 0.0 sec(s).
  1834. answer80([B]):-numberof(C,(sea(C),borders(C,B)),2),{country(B)}
  1835.  
  1836.  
  1837. Reply:(report4) 0.0010000000000047748 sec(s).
  1838. [[egypt,iran,israel,saudi_arabia,turkey]]
  1839.  
  1840.  
  1841. % ---------------------------------------------------------------------------------------------------
  1842.  
  1843. % ---------------------------------------------------------------------------------------------------
  1844.  
  1845. %                       [which,countries,are,bordered,by,two,seas,?]
  1846.  
  1847. % ============================================END=============================================================
  1848. ~n~n
  1849.  
  1850. % ============================================BEGIN=============================================================
  1851.  
  1852. %                       [how,many,countries,does,the,danube,flow,through,?]
  1853.  
  1854. % ---------------------------------------------------------------------------------------------------
  1855.  
  1856. Parse:(report4) 0.0010000000000047748 sec(s).
  1857. 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), []))])) :-
  1858.     whq(A,
  1859.         s(np(3+sg, nameOf(danube), []),
  1860.           verb(flow, active, pres+fin, [], pos(B)),
  1861.           [],
  1862.  
  1863.           [ pp(prep(through),
  1864.                np(3+pl, np_head(quant(same, wh(A)), [], country), []))
  1865.           ])).
  1866.  
  1867.  
  1868. iSemantics:(report4) 0.0 sec(s).
  1869. answer80([B]):-numberof(C,(country(C),flows(danube,C)),B)
  1870.  
  1871.  
  1872. actPlanning:(report4) 0.0 sec(s).
  1873. answer80([B]):-numberof(C,(flows(danube,C),{country(C)}),B)
  1874.  
  1875.  
  1876. Reply:(report4) 0.0009999999999763531 sec(s).
  1877. [[6]]
  1878.  
  1879.  
  1880. % ---------------------------------------------------------------------------------------------------
  1881.  
  1882. % ---------------------------------------------------------------------------------------------------
  1883.  
  1884. %                       [how,many,countries,does,the,danube,flow,through,?]
  1885.  
  1886. % ============================================END=============================================================
  1887. ~n~n
  1888.  
  1889. % ============================================BEGIN=============================================================
  1890.  
  1891. %                       [what,is,the,average,area,of,the,countries,in,each,continent,?]
  1892.  
  1893. % ---------------------------------------------------------------------------------------------------
  1894.  
  1895. Parse:(report4) 0.0010000000000047748 sec(s).
  1896. 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), []))]))]))], [])) :-
  1897.     whq(A,
  1898.         s(np(3+sg, wh(A), []),
  1899.           verb(be, active, pres+fin, [], pos(B)),
  1900.  
  1901.           [ varg(dir,
  1902.                  np(3+sg,
  1903.                     np_head(det(the(sg)), [adj(average)], area),
  1904.  
  1905.                     [ pp(prep(of),
  1906.                          np(3+pl,
  1907.                             np_head(det(the(pl)), [], country),
  1908.  
  1909.                             [ pp(prep(in),
  1910.                                  np(3+sg, np_head(det(each), [], continent), []))
  1911.                             ]))
  1912.                     ]))
  1913.           ],
  1914.           [])).
  1915.  
  1916.  
  1917. iSemantics:(report4) 0.0010000000000047748 sec(s).
  1918. answer80([B,C]):-continent(B),D^(setof(E:[F],(areaOf(F,E),country(F),in_ploc(F,B)),D),aggregate80(average,D,C))
  1919.  
  1920.  
  1921. Reply:(report4) 0.10300000000000864 sec(s).
  1922. [[[europe,--(58.808937500000006,ksqmiles)]]]
  1923.  
  1924.  
  1925. % ---------------------------------------------------------------------------------------------------
  1926.  
  1927. % ---------------------------------------------------------------------------------------------------
  1928.  
  1929. %                       [what,is,the,average,area,of,the,countries,in,each,continent,?]
  1930.  
  1931. % ============================================END=============================================================
  1932. ~n~n
  1933.  
  1934. % ============================================BEGIN=============================================================
  1935.  
  1936. %                       [is,there,more,than,one,country,in,each,continent,?]
  1937.  
  1938. % ---------------------------------------------------------------------------------------------------
  1939.  
  1940. Parse:(report4) 0.0010000000000047748 sec(s).
  1941. 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), []))]))], [])) :-
  1942.     q(s(there,
  1943.         verb(be, active, pres+fin, [], pos(A)),
  1944.  
  1945.         [ varg(dir,
  1946.                np(3+sg,
  1947.                   np_head(quant(more, nquant(1)), [], country),
  1948.                   [pp(prep(in), np(3+sg, np_head(det(each), [], continent), []))]))
  1949.         ],
  1950.         [])).
  1951.  
  1952.  
  1953. iSemantics:(report4) 0.0010000000000047748 sec(s).
  1954. answer80([]):- \+B^(continent(B),\+C^(numberof(D,(country(D),in_ploc(D,B)),C),C>1))
  1955.  
  1956.  
  1957. Reply:(report4) 0.027000000000015234 sec(s).
  1958. [[false]]
  1959.  
  1960.  
  1961. % ---------------------------------------------------------------------------------------------------
  1962.  
  1963. % ---------------------------------------------------------------------------------------------------
  1964.  
  1965. %                       [is,there,more,than,one,country,in,each,continent,?]
  1966.  
  1967. % ============================================END=============================================================
  1968. ~n~n
  1969.  
  1970. % ============================================BEGIN=============================================================
  1971.  
  1972. %                       [is,there,some,ocean,that,does,not,border,any,country,?]
  1973.  
  1974. % ---------------------------------------------------------------------------------------------------
  1975.  
  1976. Parse:(report4) 0.0010000000000047748 sec(s).
  1977. 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), []))], []))]))], [])) :-
  1978.     q(s(there,
  1979.         verb(be, active, pres+fin, [], pos(B)),
  1980.  
  1981.         [ varg(dir,
  1982.                np(3+sg,
  1983.                   np_head(det(some), [], ocean),
  1984.  
  1985.                   [ rel(A,
  1986.                         s(np(3+sg, wh(A), []),
  1987.                           verb(border, active, pres+fin, [], neg(not)),
  1988.                           [varg(dir, np(3+sg, np_head(det(any), [], country), []))],
  1989.                           []))
  1990.                   ]))
  1991.         ],
  1992.         [])).
  1993.  
  1994.  
  1995. iSemantics:(report4) 0.0 sec(s).
  1996. answer80([]):-B^(ocean(B),\+C^(country(C),borders(B,C)))
  1997.  
  1998.  
  1999. actPlanning:(report4) 0.0 sec(s).
  2000. answer80([]):-B^{ocean(B),{\+C^(borders(B,C),{country(C)})}}
  2001.  
  2002.  
  2003. Reply:(report4) 0.0009999999999763531 sec(s).
  2004. [[true]]
  2005.  
  2006.  
  2007. % ---------------------------------------------------------------------------------------------------
  2008.  
  2009. % ---------------------------------------------------------------------------------------------------
  2010.  
  2011. %                       [is,there,some,ocean,that,does,not,border,any,country,?]
  2012.  
  2013. % ============================================END=============================================================
  2014. ~n~n
  2015.  
  2016. % ============================================BEGIN=============================================================
  2017.  
  2018. %                       [what,are,the,countries,from,which,a,river,flows,into,the,black_sea,?]
  2019.  
  2020. % ---------------------------------------------------------------------------------------------------
  2021.  
  2022. Parse:(report4) 0.0009999999999763531 sec(s).
  2023. 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), []))]))]))], [])) :-
  2024.     whq(A,
  2025.         s(np(3+pl, wh(A), []),
  2026.           verb(be, active, pres+fin, [], pos(C)),
  2027.  
  2028.           [ varg(dir,
  2029.                  np(3+pl,
  2030.                     np_head(det(the(pl)), [], country),
  2031.  
  2032.                     [ rel(B,
  2033.                           s(np(3+sg, np_head(det(a), [], river), []),
  2034.                             verb(flow, active, pres+fin, [], pos(D)),
  2035.                             [],
  2036.  
  2037.                             [ pp(prep(from), np(3+pl, wh(B), [])),
  2038.                               pp(prep(into), np(3+sg, nameOf(black_sea), []))
  2039.                             ]))
  2040.                     ]))
  2041.           ],
  2042.           [])).
  2043.  
  2044.  
  2045. iSemantics:(report4) 0.0010000000000047748 sec(s).
  2046. answer80([B]):-setof(C,(country(C),D^(river(D),flows(D,C,black_sea))),B)
  2047.  
  2048.  
  2049. Reply:(report4) 0.35900000000000887 sec(s).
  2050. [[[romania]]]
  2051.  
  2052.  
  2053. % ---------------------------------------------------------------------------------------------------
  2054.  
  2055. % ---------------------------------------------------------------------------------------------------
  2056.  
  2057. %                       [what,are,the,countries,from,which,a,river,flows,into,the,black_sea,?]
  2058.  
  2059. % ============================================END=============================================================
  2060. ~n~n
  2061.  
  2062. % ============================================BEGIN=============================================================
  2063.  
  2064. %                       [what,percentage,of,countries,border,each,ocean,?]
  2065.  
  2066. % ---------------------------------------------------------------------------------------------------
  2067.  
  2068. Parse:(report4) 0.0010000000000047748 sec(s).
  2069. 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), []))], [])) :-
  2070.     whq(A,
  2071.         s(np(3+pl,
  2072.              np_head(int_det(A), [], percentage),
  2073.              [pp(prep(of), np(3+pl, np_head(generic, [], country), []))]),
  2074.           verb(border, active, pres+fin, [], pos(B)),
  2075.           [varg(dir, np(3+sg, np_head(det(each), [], ocean), []))],
  2076.           [])).
  2077.  
  2078.  
  2079. iSemantics:(report4) 0.0010000000000047748 sec(s).
  2080. 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))))
  2081.  
  2082.  
  2083. Reply:(report4) 0.042999999999977945 sec(s).
  2084. [[[arctic_ocean,2.5641025641025643]]]
  2085.  
  2086.  
  2087. % ---------------------------------------------------------------------------------------------------
  2088.  
  2089. % ---------------------------------------------------------------------------------------------------
  2090.  
  2091. %                       [what,percentage,of,countries,border,each,ocean,?]
  2092.  
  2093. % ============================================END=============================================================
  2094. ~n~n
  2095.  
  2096. % ============================================BEGIN=============================================================
  2097.  
  2098. %                       [what,are,the,continents,no,country,in,which,contains,more,than,two,cities,whose,population,exceeds,nquant(1),million,?]
  2099.  
  2100. % ---------------------------------------------------------------------------------------------------
  2101.  
  2102. Parse:(report4) 0.0020000000000095497 sec(s).
  2103. 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), []))], []))]))], []))]))], [])) :-
  2104.     whq(A,
  2105.         s(np(3+pl, wh(A), []),
  2106.           verb(be, active, pres+fin, [], pos(D)),
  2107.  
  2108.           [ varg(dir,
  2109.                  np(3+pl,
  2110.                     np_head(det(the(pl)), [], continent),
  2111.  
  2112.                     [ rel(B,
  2113.                           s(np(3+sg,
  2114.                                np_head(det(no), [], country),
  2115.                                [pp(prep(in), np(3+pl, wh(B), []))]),
  2116.                             verb(contain, active, pres+fin, [], pos(E)),
  2117.  
  2118.                             [ varg(dir,
  2119.                                    np(3+pl,
  2120.                                       np_head(quant(more, nquant(2)), [], city),
  2121.  
  2122.                                       [ rel(C,
  2123.                                             s(np(3+sg,
  2124.                                                  np_head(det(the(sg)),
  2125.                                                          [],
  2126.                                                          population),
  2127.  
  2128.                                                  [ pp(poss,
  2129.                                                       np(3+pl, wh(C), []))
  2130.                                                  ]),
  2131.                                               verb(exceed,
  2132.                                                    active,
  2133.                                                    pres+fin,
  2134.                                                    [],
  2135.                                                    pos(F)),
  2136.  
  2137.                                               [ varg(dir,
  2138.                                                      np(3+sg,
  2139.                                                         np_head(quant(same,
  2140.                                                                       nquant(1)),
  2141.                                                                 [],
  2142.                                                                 million),
  2143.                                                         []))
  2144.                                               ],
  2145.                                               []))
  2146.                                       ]))
  2147.                             ],
  2148.                             []))
  2149.                     ]))
  2150.           ],
  2151.           [])).
  2152.  
  2153.  
  2154. iSemantics:(report4) 0.0020000000000095497 sec(s).
  2155. 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)
  2156.  
  2157.  
  2158. Reply:(report4) 2.194000000000017 sec(s).
  2159. [[[africa,america,antarctica,asia,australasia,europe]]]
  2160.  
  2161.  
  2162. % ---------------------------------------------------------------------------------------------------
  2163.  
  2164. % ---------------------------------------------------------------------------------------------------
  2165.  
  2166. %                       [what,are,the,continents,no,country,in,which,contains,more,than,two,cities,whose,population,exceeds,nquant(1),million,?]
  2167.  
  2168. % ============================================END=============================================================
  2169. ~n~n
  2170.  
  2171. % ============================================BEGIN=============================================================
  2172.  
  2173. %                       [which,country,bordering,the,mediterranean,borders,a,country,that,is,bordered,by,a,country,whose,population,exceeds,the,population,of,india,?]
  2174.  
  2175. % ---------------------------------------------------------------------------------------------------
  2176.  
  2177. Parse:(report4) 0.0020000000000095497 sec(s).
  2178. 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), []))]))], []))]))]))]))], [])) :-
  2179.     whq(A,
  2180.         s(np(3+sg,
  2181.              np_head(int_det(A), [], country),
  2182.  
  2183.              [ reduced_rel(B,
  2184.                            s(np(3+sg, wh(B), []),
  2185.                              verb(border, active, inf, [prog], pos(E)),
  2186.                              [varg(dir, np(3+sg, nameOf(mediterranean), []))],
  2187.                              []))
  2188.              ]),
  2189.           verb(border, active, pres+fin, [], pos(F)),
  2190.  
  2191.           [ varg(dir,
  2192.                  np(3+sg,
  2193.                     np_head(det(a), [], country),
  2194.  
  2195.                     [ rel(C,
  2196.                           s(np(3+sg, wh(C), []),
  2197.                             verb(border, passive, pres+fin, [], pos(G)),
  2198.                             [],
  2199.  
  2200.                             [ pp(prep(by),
  2201.                                  np(3+sg,
  2202.                                     np_head(det(a), [], country),
  2203.  
  2204.                                     [ rel(D,
  2205.                                           s(np(3+sg,
  2206.                                                np_head(det(the(sg)),
  2207.                                                        [],
  2208.                                                        population),
  2209.  
  2210.                                                [ pp(poss,
  2211.                                                     np(3+sg, wh(D), []))
  2212.                                                ]),
  2213.                                             verb(exceed,
  2214.                                                  active,
  2215.                                                  pres+fin,
  2216.                                                  [],
  2217.                                                  pos(H)),
  2218.  
  2219.                                             [ varg(dir,
  2220.                                                    np(3+sg,
  2221.                                                       np_head(det(the(sg)),
  2222.                                                               [],
  2223.                                                               population),
  2224.  
  2225.                                                       [ pp(prep(of),
  2226.                                                            np(3+sg,
  2227.                                                               nameOf(india),
  2228.                                                               []))
  2229.                                                       ]))
  2230.                                             ],
  2231.                                             []))
  2232.                                     ]))
  2233.                             ]))
  2234.                     ]))
  2235.           ],
  2236.           [])).
  2237.  
  2238.  
  2239. iSemantics:(report4) 0.0010000000000047748 sec(s).
  2240. 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))
  2241.  
  2242.  
  2243. actPlanning:(report4) 0.0 sec(s).
  2244. 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)}}}})
  2245.  
  2246.  
  2247. Reply:(report4) 0.09899999999998954 sec(s).
  2248. [[turkey]]
  2249.  
  2250.  
  2251. % ---------------------------------------------------------------------------------------------------
  2252.  
  2253. % ---------------------------------------------------------------------------------------------------
  2254.  
  2255. %                       [which,country,bordering,the,mediterranean,borders,a,country,that,is,bordered,by,a,country,whose,population,exceeds,the,population,of,india,?]
  2256.  
  2257. % ============================================END=============================================================
  2258. ~n~n
  2259.  
  2260. % ============================================BEGIN=============================================================
  2261.  
  2262. %                       [which,countries,have,a,population,exceeding,nquant(10),million,?]
  2263.  
  2264. % ---------------------------------------------------------------------------------------------------
  2265.  
  2266. Parse:(report4) 0.0009999999999763531 sec(s).
  2267. 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), []))], []))]))], [])) :-
  2268.     whq(A,
  2269.         s(np(3+pl, np_head(int_det(A), [], country), []),
  2270.           verb(have, active, pres+fin, [], pos(C)),
  2271.  
  2272.           [ varg(dir,
  2273.                  np(3+sg,
  2274.                     np_head(det(a), [], population),
  2275.  
  2276.                     [ reduced_rel(B,
  2277.                                   s(np(3+sg, wh(B), []),
  2278.                                     verb(exceed,
  2279.                                          active,
  2280.                                          inf,
  2281.                                          [prog],
  2282.                                          pos(D)),
  2283.  
  2284.                                     [ varg(dir,
  2285.                                            np(3+pl,
  2286.                                               np_head(quant(same, nquant(10)),
  2287.                                                       [],
  2288.                                                       million),
  2289.                                               []))
  2290.                                     ],
  2291.                                     []))
  2292.                     ]))
  2293.           ],
  2294.           [])).
  2295.  
  2296.  
  2297. iSemantics:(report4) 0.0010000000000047748 sec(s).
  2298. answer80([B]):-country(B),C^(exceeds(C,--(10,million)),population(B,C))
  2299.  
  2300.  
  2301. actPlanning:(report4) 0.0 sec(s).
  2302. answer80([B]):-C^(country(B),{population(B,C),{exceeds(C,--(10,million))}})
  2303.  
  2304.  
  2305. Reply:(report4) 0.016999999999995907 sec(s).
  2306. [[malaysia,uganda]]
  2307.  
  2308.  
  2309. % ---------------------------------------------------------------------------------------------------
  2310.  
  2311. % ---------------------------------------------------------------------------------------------------
  2312.  
  2313. %                       [which,countries,have,a,population,exceeding,nquant(10),million,?]
  2314.  
  2315. % ============================================END=============================================================
  2316. ~n~n
  2317.  
  2318. % ============================================BEGIN=============================================================
  2319.  
  2320. %                       [which,countries,with,a,population,exceeding,nquant(10),million,border,the,atlantic,?]
  2321.  
  2322. % ---------------------------------------------------------------------------------------------------
  2323.  
  2324. Parse:(report4) 0.0010000000000047748 sec(s).
  2325. 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), []))], [])) :-
  2326.     whq(A,
  2327.         s(np(3+pl,
  2328.              np_head(int_det(A), [], country),
  2329.  
  2330.              [ pp(prep(with),
  2331.                   np(3+sg,
  2332.                      np_head(det(a), [], population),
  2333.  
  2334.                      [ reduced_rel(B,
  2335.                                    s(np(3+sg, wh(B), []),
  2336.                                      verb(exceed,
  2337.                                           active,
  2338.                                           inf,
  2339.                                           [prog],
  2340.                                           pos(C)),
  2341.  
  2342.                                      [ varg(dir,
  2343.                                             np(3+pl,
  2344.                                                np_head(quant(same, nquant(10)),
  2345.                                                        [],
  2346.                                                        million),
  2347.                                                []))
  2348.                                      ],
  2349.                                      []))
  2350.                      ]))
  2351.              ]),
  2352.           verb(border, active, pres+fin, [], pos(D)),
  2353.           [varg(dir, np(3+sg, nameOf(atlantic), []))],
  2354.           [])).
  2355.  
  2356.  
  2357. iSemantics:(report4) 0.0010000000000047748 sec(s).
  2358. answer80([B]):-C^(population(B,C),exceeds(C,--(10,million)),country(B)),borders(B,atlantic)
  2359.  
  2360.  
  2361. actPlanning:(report4) 0.0 sec(s).
  2362. answer80([B]):-C^(borders(B,atlantic),{population(B,C),{exceeds(C,--(10,million))}},{country(B)})
  2363.  
  2364.  
  2365. Reply:(report4) 0.008000000000009777 sec(s).
  2366. [[venezuela]]
  2367.  
  2368.  
  2369. % ---------------------------------------------------------------------------------------------------
  2370.  
  2371. % ---------------------------------------------------------------------------------------------------
  2372.  
  2373. %                       [which,countries,with,a,population,exceeding,nquant(10),million,border,the,atlantic,?]
  2374.  
  2375. % ============================================END=============================================================
  2376. ~n~n
  2377. true.
  2378.  
  2379. baseKB:  ?-
  2380.  
  2381. ````
  2382.  
  2383. SIRIDUS
  2384.  
  2385. TrindiKit
  2386.  
  2387. GoDuS
  2388.  
  2389. BOXER
  2390.  
  2391. GATE's SUPPLE
  2392.  
  2393. BuChart 98
  2394.  
  2395. and about 10 more!
Add Comment
Please, Sign In to add comment
Public Pastes
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!