prologmud_server /opt/logicmoo_workspace/bin/cls /dev/pts/1 FROM "crw-rw-rw- 1 root tty 5, 0 Sep 24 01:09 /dev/tty"
?- test_chat80("what are the rivers that flow through the countries bordering the baltic ?
").

 /*  answer80([B]) :-

       setof( C,
         ( ti(river,C) ,
           ^( D,
             ( setof(E,(ti(country,E),symmetric_pred(spatial,border,E,baltic)),D) ,
               F^path_pred_linkage(direct(river_flows),river,C,D,F)))),
         B).
 */

 /*  Setof115+[Linkage114,Setof_Path_pred_linkageDirect112] :-

       setof( River109,
         ^( [Linkage114,Setof_Path_pred_linkageDirect112],
           ( database80( ti(river,River109))  ,
             setof( Border_Country110,
               ^( [],
                 ( database80( ti(country,Border_Country110)) ,
                   database80( symmetric_pred(spatial,border,Border_Country110,baltic)))),
               Setof_Path_pred_linkageDirect112) ,
             database80( path_pred_linkage( direct(river_flows),
                           river,
                            River109, Setof_Path_pred_linkageDirect112, Linkage114)))),
         Setof115).
 */
         0 |         6         1         3        27        37

segs: 445msec.
[ w( what, [
    [ pos(wp), root(what),loc(1),lnks(3),txt("what"),
      truecase('INIT_UPPER'),link(1,'NP',r('NP',seg(1,1))),
      link(2,'SBAR',r('SBAR',seg(1,13))), link(3,'CORENLP',r('CORENLP',seg(1,13))),lex_winfo,
      int_art_lex(what,Det_What,Int_det,int_det(Det_What)),
      int_pron_lex(what,undef),
      flexicon( det,
        [ sem=what, agr=sg,wh=y+n,det_type=quant,
          preagr=n,can_be_np=y],
        what),
      flexicon( det,
        [ sem=what, agr=pl,wh=y,det_type=quant,
          preagr=n,can_be_np=n],
        what),
      whpron_dict(what,tSomethingExisting), whpron_dict(what,tThing),talk_db(pronoun,what),
      talk_db(interrog,what)])],
  w( are, [
    [ alt( pos(vbp)), root(be),pos(vb),loc(2),lnks(3),
      txt("are"),truecase('LOWER'),
      link(1,'S',r('S',seg(2,12))),
      link(2,'SBAR',r('SBAR',seg(1,13))), link(3,'CORENLP',r('CORENLP',seg(1,13))),lex_winfo,
      flexicon(bv,[person=2,agr=sg,verb_form=tensed],are),
      flexicon(bv,[person=Person,agr=pl,verb_form=tensed],are)])],
  w( the, [
    [ pos(dt), root(the),loc(3),lnks(5),txt("the"),
      truecase('LOWER'),link(1,'NP',r('NP',seg(3,4))),
      link(2,'NP',r('NP',seg(3,9))),link(3,'S',r('S',seg(2,12))),
      link(4,'SBAR',r('SBAR',seg(1,13))), link(5,'CORENLP',r('CORENLP',seg(1,13))),lex_winfo,
      flexicon( det,
        [ sem=the_sing, agr=sg,article=y,wh=n,det_type=def,
          preagr=n],
        the),
      flexicon( det,
        [ sem=the_pl, agr=pl,article=y,wh=n,det_type=def,
          preagr=y],
        the),
      flexicon(det,[agr=Agr],the),
      flexicon(timesuffix,[sem=morning,allows_minutes=y],[(in,the,morning)]),
      flexicon(timesuffix,[sem=afternoon,allows_minutes=y],[(in,the,afternoon)])])],
  w( rivers, [
    [ pos(nns), root(river),loc(4),lnks(5),txt("rivers"),
      truecase('LOWER'),link(1,'NP',r('NP',seg(3,4))),
      link(2,'NP',r('NP',seg(3,9))),link(3,'S',r('S',seg(2,12))),
      link(4,'SBAR',r('SBAR',seg(1,13))), link(5,'CORENLP',r('CORENLP',seg(1,13))),lex_winfo,
      clex_word(noun,rivers,river,neutr+pl-count),
      talk_db(noun1,river,rivers),
      talk_db(noun_or_verb,rivers,rivering,river),
      talk_db(intransitive,river,rivers,rivered,rivering,rivered)])],
  w( that, [
    [ pos(wdt), root(that),loc(5),lnks(6),txt("that"),
      truecase('LOWER'),link(1,'NP',r('NP',seg(5,5))),
      link(2,'SBAR',r('SBAR',seg(5,9))), link(3,'NP',r('NP',seg(3,9))),link(4,'S',r('S',seg(2,12))),
      link(5,'SBAR',r('SBAR',seg(1,13))), link(6,'CORENLP',r('CORENLP',seg(1,13))),lex_winfo,
      flexicon(comp,[sem=embedded_dcl_comp],that),
      flexicon( det,
        [ sem=that, agr=sg,wh=n,det_type=def,preagr=n,
          can_be_np=y],
        that),
      flexicon(wh,[gender=Gender],that),
      type_wrd_sem(relative_pronoun,that,[sem=Sem,varg=subj+nonsubj]),
      talk_db(pronoun,that)])],
  w( flow, [
    [ alt( pos(vbp)), root(flow),pos(vb),loc(6),lnks(7),
      txt("flow"),truecase('LOWER'),
      link(1,'VP',r('VP',seg(6,9))),link(2,'S',r('S',seg(6,9))),
      link(3,'SBAR',r('SBAR',seg(5,9))), link(4,'NP',r('NP',seg(3,9))),link(5,'S',r('S',seg(2,12))),
      link(6,'SBAR',r('SBAR',seg(1,13))), link(7,'CORENLP',r('CORENLP',seg(1,13))),lex_winfo,
      clex_word(verb,flow,flow,iv+infpl),
      clex_word(noun,flow,flow,neutr+Neutr-mass),
      fnpattern(flow,47020000,fluidic_motion,[theme:fluid,location:goal]), eq(concept(fn),fluidic_motion),eq(id(fn),47020000),
      fnpattern(flow,47020000,fluidic_motion,[theme:fluid,location:area]),
      verbnet_map_wn(flow,['flow%2:38:01','flow%2:38:00'],'appear-48.1.1'),
      eq(concept(vn),'appear-48.1.1'),
      eq(listof(concept(wn)),['flow%2:38:01','flow%2:38:00']),
      verbnet_map_wn(flow,['flow%2:38:00','flow%2:35:04'],'entity_specific_modes_being-47.2'),
      eq(concept(vn),'entity_specific_modes_being-47.2'),
      eq(listof(concept(wn)),['flow%2:38:00','flow%2:35:04']),
      verbnet_to_framenet('appear-48.1.1',flow,'flow.01'),
      eq(concept(fn),'flow.01'),
      verbnet_to_framenet('entity_specific_modes_being-47.2',flow,'flow.01'),
      verbnet_to_framenet('entity_specific_modes_being-47.2',flow,'flow.03'),
      eq(concept(fn),'flow.03'),
      verbnet_word(flow,'appear-48.1.1',"flow"),
      verbnet_word(flow,'entity_specific_modes_being-47.2',"flow")])],
  w( through, [
    [ pos(in), root(through),loc(7),lnks(8),txt("through"),
      truecase('LOWER'),link(1,'PP',r('PP',seg(7,9))),
      link(2,'VP',r('VP',seg(6,9))),link(3,'S',r('S',seg(6,9))),
      link(4,'SBAR',r('SBAR',seg(5,9))), link(5,'NP',r('NP',seg(3,9))),link(6,'S',r('S',seg(2,12))),
      link(7,'SBAR',r('SBAR',seg(1,13))), link(8,'CORENLP',r('CORENLP',seg(1,13))),lex_winfo,
      talk_db(preposition,through),talk_db(adj,through)])],
  w( the, [
    [ pos(dt), root(the),loc(8),lnks(9),txt("the"),
      truecase('LOWER'),link(1,'NP',r('NP',seg(8,9))),
      link(2,'PP',r('PP',seg(7,9))),link(3,'VP',r('VP',seg(6,9))),
      link(4,'S',r('S',seg(6,9))),
      link(5,'SBAR',r('SBAR',seg(5,9))), link(6,'NP',r('NP',seg(3,9))),link(7,'S',r('S',seg(2,12))),
      link(8,'SBAR',r('SBAR',seg(1,13))), link(9,'CORENLP',r('CORENLP',seg(1,13))),lex_winfo,
      flexicon( det,
        [ sem=the_sing, agr=sg,article=y,wh=n,det_type=def,
          preagr=n],
        the),
      flexicon( det,
        [ sem=the_pl, agr=pl,article=y,wh=n,det_type=def,
          preagr=y],
        the),
      flexicon(det,[agr=Agr],the),
      flexicon(timesuffix,[sem=morning,allows_minutes=y],[(in,the,morning)]),
      flexicon(timesuffix,[sem=afternoon,allows_minutes=y],[(in,the,afternoon)])])],
  w( countries, [
    [ pos(nns), root(country),loc(9),lnks(9),txt("countries"),
      truecase('LOWER'),link(1,'NP',r('NP',seg(8,9))),
      link(2,'PP',r('PP',seg(7,9))),link(3,'VP',r('VP',seg(6,9))),
      link(4,'S',r('S',seg(6,9))),
      link(5,'SBAR',r('SBAR',seg(5,9))), link(6,'NP',r('NP',seg(3,9))),link(7,'S',r('S',seg(2,12))),
      link(8,'SBAR',r('SBAR',seg(1,13))), link(9,'CORENLP',r('CORENLP',seg(1,13))),lex_winfo,
      clex_word(noun,countries,country,neutr+pl-count)])],
  w( bordering, [
    [ pos(vbg), root(border),loc(10),lnks(4),txt("bordering"),
      truecase('LOWER'),link(1,'VP',r('VP',seg(10,12))),
      link(2,'S',r('S',seg(2,12))),
      link(3,'SBAR',r('SBAR',seg(1,13))), link(4,'CORENLP',r('CORENLP',seg(1,13))),lex_winfo,
      talk_db(noun_or_verb,borders,bordering,border),
      talk_db(intransitive,border,borders,bordered,bordering,bordered),
      talk_db(transitive,border,borders,bordered,bordering,bordered)])],
  w( the, [
    [ pos(dt), root(the),loc(11),lnks(5),txt("the"),
      truecase('LOWER'),link(1,'NP',r('NP',seg(11,12))),
      link(2,'VP',r('VP',seg(10,12))),link(3,'S',r('S',seg(2,12))),
      link(4,'SBAR',r('SBAR',seg(1,13))), link(5,'CORENLP',r('CORENLP',seg(1,13))),lex_winfo,
      flexicon( det,
        [ sem=the_sing, agr=sg,article=y,wh=n,det_type=def,
          preagr=n],
        the),
      flexicon( det,
        [ sem=the_pl, agr=pl,article=y,wh=n,det_type=def,
          preagr=y],
        the),
      flexicon(det,[agr=Agr],the),
      flexicon(timesuffix,[sem=morning,allows_minutes=y],[(in,the,morning)]),
      flexicon(timesuffix,[sem=afternoon,allows_minutes=y],[(in,the,afternoon)])])],
  w( baltic, [
    [ pos(jj), root(baltic),loc(12),lnks(5),txt("baltic"),
      truecase('INIT_UPPER'),link(1,'NP',r('NP',seg(11,12))),
      link(2,'VP',r('VP',seg(10,12))),link(3,'S',r('S',seg(2,12))),
      link(4,'SBAR',r('SBAR',seg(1,13))), link(5,'CORENLP',r('CORENLP',seg(1,13))),lex_winfo,
      talk_db(adj,baltic)])],
  w( ?, [
    [ pos('.'), roothelp,loc(13),lnks(2),txt("?"),
      link(1,'SBAR',r('SBAR',seg(1,13))), link(2,'CORENLP',r('CORENLP',seg(1,13))),lex_winfo,
      terminator_lex(?,?),char_type_sentence(?,ask)])],
  span( [ seg(1,1), phrase('NP'),size(1),lnks(2),
          #(r('NP',seg(1,1))),txt(["what"]),childs(0),
          link(1,'SBAR',r('SBAR',seg(1,13))),
          link(2,'CORENLP',r('CORENLP',seg(1,13)))]),
  span( [ seg(5,5), phrase('NP'),size(1),lnks(5),
          #(r('NP',seg(5,5))),txt(["that"]),childs(0),
          link(1,'SBAR',r('SBAR',seg(5,9))), link(2,'NP',r('NP',seg(3,9))),link(3,'S',r('S',seg(2,12))),
          link(4,'SBAR',r('SBAR',seg(1,13))),
          link(5,'CORENLP',r('CORENLP',seg(1,13)))]),
  span( [ seg(3,4), phrase('NP'),size(2),lnks(4),
          #(r('NP',seg(3,4))),txt(["the","rivers"]),
          childs(0),link(1,'NP',r('NP',seg(3,9))),
          link(2,'S',r('S',seg(2,12))),
          link(3,'SBAR',r('SBAR',seg(1,13))),
          link(4,'CORENLP',r('CORENLP',seg(1,13)))]),
  span( [ seg(8,9), phrase('NP'),size(2),lnks(8),
          #(r('NP',seg(8,9))),txt(["the","countries"]),
          childs(0),link(1,'PP',r('PP',seg(7,9))),
          link(2,'VP',r('VP',seg(6,9))),link(3,'S',r('S',seg(6,9))),
          link(4,'SBAR',r('SBAR',seg(5,9))), link(5,'NP',r('NP',seg(3,9))),link(6,'S',r('S',seg(2,12))),
          link(7,'SBAR',r('SBAR',seg(1,13))),
          link(8,'CORENLP',r('CORENLP',seg(1,13)))]),
  span( [ seg(11,12), phrase('NP'),size(2),lnks(4),
          #(r('NP',seg(11,12))),txt(["the","baltic"]),
          childs(0),link(1,'VP',r('VP',seg(10,12))),
          link(2,'S',r('S',seg(2,12))),
          link(3,'SBAR',r('SBAR',seg(1,13))),
          link(4,'CORENLP',r('CORENLP',seg(1,13)))]),
  span( [ seg(7,9), phrase('PP'),size(3),lnks(7),
          #( r('PP',seg(7,9))),
          txt( ["through","the","countries"]), childs(1),child(1,'NP',r('NP',seg(8,9))),
          link(1,'VP',r('VP',seg(6,9))),link(2,'S',r('S',seg(6,9))),
          link(3,'SBAR',r('SBAR',seg(5,9))), link(4,'NP',r('NP',seg(3,9))),link(5,'S',r('S',seg(2,12))),
          link(6,'SBAR',r('SBAR',seg(1,13))),
          link(7,'CORENLP',r('CORENLP',seg(1,13)))]),
  span( [ seg(10,12), phrase('VP'),size(3),lnks(3),
          #( r('VP',seg(10,12))),
          txt( ["bordering","the","baltic"]), childs(1),child(1,'NP',r('NP',seg(11,12))),
          link(1,'S',r('S',seg(2,12))),
          link(2,'SBAR',r('SBAR',seg(1,13))),
          link(3,'CORENLP',r('CORENLP',seg(1,13)))]),
  span( [ seg(6,9), phrase('S'),size(4),lnks(5),#(r('S',seg(6,9))),
          txt( ["flow","through","the","countries"]), childs(1),child(1,'VP',r('VP',seg(6,9))),
          link(1,'SBAR',r('SBAR',seg(5,9))), link(2,'NP',r('NP',seg(3,9))),link(3,'S',r('S',seg(2,12))),
          link(4,'SBAR',r('SBAR',seg(1,13))),
          link(5,'CORENLP',r('CORENLP',seg(1,13)))]),
  span( [ seg(6,9), phrase('VP'),size(4),lnks(6),
          #( r('VP',seg(6,9))),
          txt( ["flow","through","the","countries"]), childs(1),child(1,'PP',r('PP',seg(7,9))),
          link(1,'S',r('S',seg(6,9))),
          link(2,'SBAR',r('SBAR',seg(5,9))), link(3,'NP',r('NP',seg(3,9))),link(4,'S',r('S',seg(2,12))),
          link(5,'SBAR',r('SBAR',seg(1,13))),
          link(6,'CORENLP',r('CORENLP',seg(1,13)))]),
  span( [ seg(5,9), phrase('SBAR'),size(5),lnks(4),
          #( r('SBAR',seg(5,9))),
          txt( [ "that", "flow","through","the","countries"]), childs(2),child(1,'NP',r('NP',seg(5,5))),
          child(2,'S',r('S',seg(6,9))),link(1,'NP',r('NP',seg(3,9))),
          link(2,'S',r('S',seg(2,12))),
          link(3,'SBAR',r('SBAR',seg(1,13))),
          link(4,'CORENLP',r('CORENLP',seg(1,13)))]),
  span( [ seg(3,9), phrase('NP'),size(7),lnks(3),
          #( r('NP',seg(3,9))),
          txt( [ "the", "rivers","that","flow","through",
                 "countries"]), childs(2),child(1,'NP',r('NP',seg(3,4))),
          child(2,'SBAR',r('SBAR',seg(5,9))),
          link(1,'S',r('S',seg(2,12))),
          link(2,'SBAR',r('SBAR',seg(1,13))),
          link(3,'CORENLP',r('CORENLP',seg(1,13)))]),
  span( [ seg(2,12), phrase('S'),size(11),lnks(2),
          #( r('S',seg(2,12))),
          txt( [ "are", "the","rivers","that","flow","through",
                 "countries","bordering","baltic"]), childs(2),child(1,'NP',r('NP',seg(3,9))),
          child(2,'VP',r('VP',seg(10,12))),
          link(1,'SBAR',r('SBAR',seg(1,13))),
          link(2,'CORENLP',r('CORENLP',seg(1,13)))]),
  span( [ seg(1,13), phrase('CORENLP'),size(13),lnks(0),
          #( r('CORENLP',seg(1,13))),
          txt( [ "what", "are","the","rivers","that","flow",
                 "through","countries","bordering","baltic",
                 "?"]), childs(1),child(1,'SBAR',r('SBAR',seg(1,13)))]),
  span( [ seg(1,13), phrase('SBAR'),size(13),lnks(1),
          #( r('SBAR',seg(1,13))),
          txt( [ "what", "are","the","rivers","that","flow",
                 "through","countries","bordering","baltic",
                 "?"]), childs(2),child(1,'NP',r('NP',seg(1,1))),
          child(2,'S',r('S',seg(2,12))),
          link(1,'CORENLP',r('CORENLP',seg(1,13)))])].
Parse: 5msec.
whq( _75128,
  s( np(3+pl,wh(Wh126),[]),
     verb(be,active,pres+fin,[],posP),
     [ arg( dir,
         np( 3+pl,
           np_head(det(the(pl)),[],river),
           [ rel( Wh_S123,
               s( np(3+pl,wh(Wh_S123),[]), verb(flow,active,pres+fin,[],posP),[],
                  [ prep_phrase( prep(through),
                      np( 3+pl,
                        np_head(det(the(pl)),[],country),
                        [ reduced_rel( Wh_S,
                            s( np(3+pl,wh(Wh_S),[]),
                               verb(border,active,inf,[prog],posP), [arg(dir,np(3+sg,nameOf(baltic),[]))],[]))]))]))]))],
     [])).
i_sentence: 5msec.

%~ question80(
%~    [ _168870-_168872],
%~    pred(
%~       quantV(identityQ,_178666-_178668,'`'(true),'`'(true),[],_178666-_178674), identityQ,_160310=_160316,
%~       [ quantV(
%~            set( - + (- 0)),
%~            _199526-River116,
%~            `( ti(river,River116)),
%~            ( pred(
%~                 quantV(identityQ,River116120-River116,'`'(true),'`'(true),[],River116120-_216502),
%~                 identityQ,
%~                 path_pred_linkage(direct(river_flows),river,_199580,_199590,Linkage117),
%~                 [ quantV(
%~                      set( - (- + (- (- + (- 0))))),
%~                      ( spatial  &
%~                        geo &
%~                        Geo) -
%~                        Country121, '`'(ti(country,Country121)),'`'(true),
%~                      [ pred(
%~                           quantV( identityQ,
%~                             ( spatial  &
%~                               geo &
%~                               Geo) -
%~                               Country121, '`'(true),'`'(true),[],
%~                             ( spatial  &
%~                               geo &
%~                               Geo) -
%~                               Border),
%~                           identityQ,
%~                           symmetric_pred(spatial,border,Border,Symmetric),
%~                           [ quantV( identityQ,
%~                               ( spatial  &
%~                                 geo &
%~                                 seamass) -
%~                                 baltic, '`'(true),'`'(true),[],
%~                               ( spatial  &
%~                                 geo &
%~                                 seamass) -
%~                                 Symmetric)])],
%~                      ( spatial  &
%~                        geo &
%~                        Geo) -
%~                        _50636),
%~                   quantV(voidQ,spatial&_49372-Linkage117,'`'(true),'`'(true),[],QuantV)]) &
%~              '`'(true)), [],_49106-_49378)]))

clausify80: 5msec.

%~ answer80([_77836]) :-
%~
%~   ^( _81732,
%~     ( setof( River116,
%~         ( ti(river,River116) ,
%~           ^( Setof_Path_pred_linkageDirect119,
%~             ( setof( Border_Country117,
%~                 ( ti(country,Border_Country117) ,
%~                   symmetric_pred(spatial,border,Border_Country117,baltic)),
%~                 Setof_Path_pred_linkageDirect119) ,
%~               ^( Linkage121,
%~                 ( path_pred_linkage( direct(river_flows),
%~                     river,
%~                      River116, Setof_Path_pred_linkageDirect119, Linkage121)))))),
%~         Setof122) ,
%~       _119512=Setof122))

Semantics: 67msec.
answer80([A]) :-
   A = setof B
     ti(river,B)
   & exists C
       C = setof D
         ti(country,D)
       & symmetric_pred(spatial,border,D,baltic)
     & exists E
         path_pred_linkage(direct(river_flows),river,B,C,E)

 /*  answer80([B]) :-

       setof( C,
         ( ti(river,C) ,
           ^( D,
             ( setof(E,(ti(country,E),symmetric_pred(spatial,border,E,baltic)),D) ,
               F^path_pred_linkage(direct(river_flows),river,C,D,F)))),
         B).
 */

Planning: 3msec.
answer80([A]) :-
   A = setof B
     ti(river,B)
   & exists C
       C = setof D
         ti(country,D)
       & symmetric_pred(spatial,border,D,baltic)
     & exists E
         path_pred_linkage(direct(river_flows),river,B,C,E)

 /*  Setof122+[Linkage121,Setof_Path_pred_linkageDirect119] :-

       setof( River116,
         ^( [Linkage121,Setof_Path_pred_linkageDirect119],
           ( database80( ti(river,River116))  ,
             setof( Border_Country117,
               ^( [],
                 ( database80( ti(country,Border_Country117)) ,
                   database80( symmetric_pred(spatial,border,Border_Country117,baltic)))),
               Setof_Path_pred_linkageDirect119) ,
             database80( path_pred_linkage( direct(river_flows),
                           river,
                            River116, Setof_Path_pred_linkageDirect119, Linkage121)))),
         Setof122).
 */

Question: 103msec.
 

Reply: 28msec.
Nothing satisfies your question.

true.

182 ?-
 

Tags:
     
Copywrite © 2020 LOGICMOO (Unless otherwise credited in page)