2)))))), B). */ /* Setof350+[Count348,Numberof349,Contain_Country343] :- setof( Contain_Continent342, ^( [Count348,Numberof349,Contain_Country343], ( database80( ti(continent,Contain_Continent342)) , \+( ( database80( ti(country,Contain_Country343)) , database80( trans_pred(spatial,contain,Contain_Continent342,Contain_Country343)) , numberof( Population_City345, ^( [Count348], ( database80( ti(city,Population_City345)) , database80( count_pred(spatial,population,Population_City345,Count348)) , database80( exceeds(Count348,--(1,million))) , database80( trans_pred(spatial,contain,Contain_Country343,Population_City345)))), Numberof349) , Numberof349>2)))), Setof350). */ 18 | 251 2 7 152 412 segs: 1045msec. [ 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,19))), link(3,'CORENLP',r('CORENLP',seg(1,19))),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,18))), link(2,'SBAR',r('SBAR',seg(1,19))), link(3,'CORENLP',r('CORENLP',seg(1,19))),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,18))),link(3,'S',r('S',seg(2,18))), link(4,'SBAR',r('SBAR',seg(1,19))), link(5,'CORENLP',r('CORENLP',seg(1,19))),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( continents, [ [ pos(nns), root(continent),loc(4),lnks(5), txt("continents"),truecase('LOWER'), link(1,'NP',r('NP',seg(3,4))),link(2,'NP',r('NP',seg(3,18))), link(3,'S',r('S',seg(2,18))), link(4,'SBAR',r('SBAR',seg(1,19))), link(5,'CORENLP',r('CORENLP',seg(1,19))),lex_winfo, clex_word(noun,continents,continent,neutr+pl-count), talk_db(noun1,continent,continents)])], w( no, [ [ pos(dt), root(no),loc(5),lnks(7),txt("no"), truecase('LOWER'),link(1,'NP',r('NP',seg(5,6))), link(2,'NP',r('NP',seg(5,8))), link(3,'SBAR',r('SBAR',seg(5,18))), link(4,'NP',r('NP',seg(3,18))),link(5,'S',r('S',seg(2,18))), link(6,'SBAR',r('SBAR',seg(1,19))), link(7,'CORENLP',r('CORENLP',seg(1,19))),lex_winfo, explitVocab(no,interjects), flexicon( det, [ sem=no, agr=sg+pl,wh=n,det_type=quant, preagr=n,can_be_np=n], no), flexicon(interjection,[sem=no],no), talk_db(adj,no)])], w( country, [ [ pos(nn), root(country),loc(6),lnks(7),txt("country"), truecase('LOWER'),link(1,'NP',r('NP',seg(5,6))), link(2,'NP',r('NP',seg(5,8))), link(3,'SBAR',r('SBAR',seg(5,18))), link(4,'NP',r('NP',seg(3,18))),link(5,'S',r('S',seg(2,18))), link(6,'SBAR',r('SBAR',seg(1,19))), link(7,'CORENLP',r('CORENLP',seg(1,19))),lex_winfo, clex_word(noun,country,country,neutr+Neutr-mass), talk_db(adj,country)])], w( in, [ [ pos(in), root(in),loc(7),lnks(7),txt("in"), truecase('LOWER'),link(1,'WHPP',r('WHPP',seg(7,8))), link(2,'NP',r('NP',seg(5,8))), link(3,'SBAR',r('SBAR',seg(5,18))), link(4,'NP',r('NP',seg(3,18))),link(5,'S',r('S',seg(2,18))), link(6,'SBAR',r('SBAR',seg(1,19))), link(7,'CORENLP',r('CORENLP',seg(1,19))),lex_winfo, flexicon(timesuffix,[sem=morning,allows_minutes=y],[(in,the,morning)]), flexicon(timesuffix,[sem=afternoon,allows_minutes=y],[(in,the,afternoon)]), talk_db(preposition,in)])], w( which, [ [ pos(wdt), root(which),loc(8),lnks(8),txt("which"), truecase('LOWER'),link(1,'NP',r('NP',seg(8,8))), link(2,'WHPP',r('WHPP',seg(7,8))), link(3,'NP',r('NP',seg(5,8))), link(4,'SBAR',r('SBAR',seg(5,18))), link(5,'NP',r('NP',seg(3,18))),link(6,'S',r('S',seg(2,18))), link(7,'SBAR',r('SBAR',seg(1,19))), link(8,'CORENLP',r('CORENLP',seg(1,19))),lex_winfo, int_art_lex(which,Det_Which,Int_det,int_det(Det_Which)), int_pron_lex(which,undef),rel_pron_lex(which,undef), flexicon( det, [ sem=which, agr=sg+pl,wh=y,det_type=quant, preagr=n,can_be_np=y], which), type_wrd_sem(relative_pronoun,which,[sem=Sem,varg=subj+nonsubj]), whpron_dict(which,tThing),talk_db(pronoun,which)])], w( contains, [ [ pos(vbz), root(contain),loc(9),lnks(7),txt("contains"), truecase('LOWER'),link(1,'VP',r('VP',seg(9,18))), link(2,'S',r('S',seg(9,18))), link(3,'SBAR',r('SBAR',seg(5,18))), link(4,'NP',r('NP',seg(3,18))),link(5,'S',r('S',seg(2,18))), link(6,'SBAR',r('SBAR',seg(1,19))), link(7,'CORENLP',r('CORENLP',seg(1,19))),lex_winfo, clex_word(verb,contains,contain,tv+finsg), talk_db(transitive,contain,contains,contained,containing,contained), talk_db(intransitive,contain,contains,contained,containing,contained)])], w( more, [ [ pos(jjr), root(more),loc(10),lnks(10),txt("more"), truecase('LOWER'),link(1,'QP',r('QP',seg(10,12))), link(2,'NP',r('NP',seg(10,13))), link(3,'NP',r('NP',seg(10,18))), link(4,'VP',r('VP',seg(9,18))),link(5,'S',r('S',seg(9,18))), link(6,'SBAR',r('SBAR',seg(5,18))), link(7,'NP',r('NP',seg(3,18))),link(8,'S',r('S',seg(2,18))), link(9,'SBAR',r('SBAR',seg(1,19))), link(10,'CORENLP',r('CORENLP',seg(1,19))),lex_winfo, flexicon( det, [ sem=more, agr=sg+pl,wh=n,det_type=quant, preagr=n,can_be_np=y], more), talk_db(adj,more)])], w( than, [ [ pos(in), root(than),loc(11),lnks(10),txt("than"), truecase('LOWER'),link(1,'QP',r('QP',seg(10,12))), link(2,'NP',r('NP',seg(10,13))), link(3,'NP',r('NP',seg(10,18))), link(4,'VP',r('VP',seg(9,18))),link(5,'S',r('S',seg(9,18))), link(6,'SBAR',r('SBAR',seg(5,18))), link(7,'NP',r('NP',seg(3,18))),link(8,'S',r('S',seg(2,18))), link(9,'SBAR',r('SBAR',seg(1,19))), link(10,'CORENLP',r('CORENLP',seg(1,19))),lex_winfo, talk_db(conj,than)])], w( two, [ [ pos(cd), root(two),loc(12),lnks(10),txt("two"), ner('NUMBER'),normalizedNER('>2.0'),truecase('LOWER'), corefed,#(1),txt(["two"]), type('PROPER'),numb('SINGULAR'),gender('UNKNOWN'), animacy('INANIMATE'),repm(@(true)), link(1,'QP',r('QP',seg(10,12))), link(2,'NP',r('NP',seg(10,13))), link(3,'NP',r('NP',seg(10,18))), link(4,'VP',r('VP',seg(9,18))),link(5,'S',r('S',seg(9,18))), link(6,'SBAR',r('SBAR',seg(5,18))), link(7,'NP',r('NP',seg(3,18))),link(8,'S',r('S',seg(2,18))), link(9,'SBAR',r('SBAR',seg(1,19))), link(10,'CORENLP',r('CORENLP',seg(1,19))),lex_winfo, tr_number(two,2), flexicon(number,[sem=2,num_type=digit,agr=pl],two), flexicon(number,[sem=2],two),talk_db(adj,two)])], w( cities, [ [ pos(nns), root(city),loc(13),lnks(9),txt("cities"), truecase('LOWER'),link(1,'NP',r('NP',seg(10,13))), link(2,'NP',r('NP',seg(10,18))), link(3,'VP',r('VP',seg(9,18))),link(4,'S',r('S',seg(9,18))), link(5,'SBAR',r('SBAR',seg(5,18))), link(6,'NP',r('NP',seg(3,18))),link(7,'S',r('S',seg(2,18))), link(8,'SBAR',r('SBAR',seg(1,19))), link(9,'CORENLP',r('CORENLP',seg(1,19))),lex_winfo, clex_word(noun,cities,city,neutr+pl-count)])], w( whose, [ [ pos('wp$'), root(whose),loc(14),lnks(10),txt("whose"), truecase('LOWER'),link(1,'NP',r('NP',seg(14,15))), link(2,'SBAR',r('SBAR',seg(14,18))), link(3,'NP',r('NP',seg(10,18))), link(4,'VP',r('VP',seg(9,18))),link(5,'S',r('S',seg(9,18))), link(6,'SBAR',r('SBAR',seg(5,18))), link(7,'NP',r('NP',seg(3,18))),link(8,'S',r('S',seg(2,18))), link(9,'SBAR',r('SBAR',seg(1,19))), link(10,'CORENLP',r('CORENLP',seg(1,19))),lex_winfo, whpron_dict(whose,tThing),talk_db(pronoun,whose)])], w( population, [ [ pos(nn), root(population),loc(15),lnks(11), txt("population"),truecase('LOWER'), link(1,'NML',r('NML',seg(15,15))), link(2,'NP',r('NP',seg(14,15))), link(3,'SBAR',r('SBAR',seg(14,18))), link(4,'NP',r('NP',seg(10,18))), link(5,'VP',r('VP',seg(9,18))),link(6,'S',r('S',seg(9,18))), link(7,'SBAR',r('SBAR',seg(5,18))), link(8,'NP',r('NP',seg(3,18))),link(9,'S',r('S',seg(2,18))), link(10,'SBAR',r('SBAR',seg(1,19))), link(11,'CORENLP',r('CORENLP',seg(1,19))),lex_winfo, clex_word(noun,population,population,neutr+Neutr-mass)])], w( exceeds, [ [ pos(vbz), root(exceed),loc(16),lnks(11),txt("exceeds"), truecase('LOWER'),link(1,'VP',r('VP',seg(16,18))), link(2,'S',r('S',seg(16,18))), link(3,'SBAR',r('SBAR',seg(14,18))), link(4,'NP',r('NP',seg(10,18))), link(5,'VP',r('VP',seg(9,18))),link(6,'S',r('S',seg(9,18))), link(7,'SBAR',r('SBAR',seg(5,18))), link(8,'NP',r('NP',seg(3,18))),link(9,'S',r('S',seg(2,18))), link(10,'SBAR',r('SBAR',seg(1,19))), link(11,'CORENLP',r('CORENLP',seg(1,19))),lex_winfo, clex_word(verb,exceeds,exceed,tv+finsg), talk_db(transitive,exceed,exceeds,exceeded,exceeding,exceeded), talk_db(intransitive,exceed,exceeds,exceeded,exceeding,exceeded)])], w( '1', [ [ pos(cd), root('1'),loc(17),lnks(13),txt("1"), ner('NUMBER'),normalizedNER(1000000.0), entitylink('Million'),link(1,'QP',r('QP',seg(17,18))), link(2,'NP',r('NP',seg(17,18))), link(3,'VP',r('VP',seg(16,18))), link(4,'S',r('S',seg(16,18))), link(5,'SBAR',r('SBAR',seg(14,18))), link(6,'NP',r('NP',seg(10,18))), link(7,'VP',r('VP',seg(9,18))),link(8,'S',r('S',seg(9,18))), link(9,'SBAR',r('SBAR',seg(5,18))), link(10,'NP',r('NP',seg(3,18))), link(11,'S',r('S',seg(2,18))), link(12,'SBAR',r('SBAR',seg(1,19))), link(13,'CORENLP',r('CORENLP',seg(1,19))),lex_winfo, tr_number('1',1)])], w( million, [ [ pos(cd), root(million),loc(18),lnks(13),txt("million"), ner('NUMBER'),normalizedNER(1000000.0), truecase('LOWER'),entitylink('Million'), link(1,'QP',r('QP',seg(17,18))), link(2,'NP',r('NP',seg(17,18))), link(3,'VP',r('VP',seg(16,18))), link(4,'S',r('S',seg(16,18))), link(5,'SBAR',r('SBAR',seg(14,18))), link(6,'NP',r('NP',seg(10,18))), link(7,'VP',r('VP',seg(9,18))),link(8,'S',r('S',seg(9,18))), link(9,'SBAR',r('SBAR',seg(5,18))), link(10,'NP',r('NP',seg(3,18))), link(11,'S',r('S',seg(2,18))), link(12,'SBAR',r('SBAR',seg(1,19))), link(13,'CORENLP',r('CORENLP',seg(1,19))),lex_winfo])], w( ?, [ [ pos('.'), root(?),loc(19),lnks(2),txt("?"), link(1,'SBAR',r('SBAR',seg(1,19))), link(2,'CORENLP',r('CORENLP',seg(1,19))),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,19))), link(2,'CORENLP',r('CORENLP',seg(1,19)))]), span( [ seg(8,8), phrase('NP'),size(1),lnks(7), #(r('NP',seg(8,8))),txt(["which"]),childs(0), link(1,'WHPP',r('WHPP',seg(7,8))), link(2,'NP',r('NP',seg(5,8))), link(3,'SBAR',r('SBAR',seg(5,18))), link(4,'NP',r('NP',seg(3,18))),link(5,'S',r('S',seg(2,18))), link(6,'SBAR',r('SBAR',seg(1,19))), link(7,'CORENLP',r('CORENLP',seg(1,19)))]), span( [ seg(15,15), phrase('NML'),size(1),lnks(10), #(r('NML',seg(15,15))),txt(["population"]), childs(0),link(1,'NP',r('NP',seg(14,15))), link(2,'SBAR',r('SBAR',seg(14,18))), link(3,'NP',r('NP',seg(10,18))), link(4,'VP',r('VP',seg(9,18))),link(5,'S',r('S',seg(9,18))), link(6,'SBAR',r('SBAR',seg(5,18))), link(7,'NP',r('NP',seg(3,18))),link(8,'S',r('S',seg(2,18))), link(9,'SBAR',r('SBAR',seg(1,19))), link(10,'CORENLP',r('CORENLP',seg(1,19)))]), span( [ seg(3,4), phrase('NP'),size(2),lnks(4), #(r('NP',seg(3,4))),txt(["the","continents"]), childs(0),link(1,'NP',r('NP',seg(3,18))), link(2,'S',r('S',seg(2,18))), link(3,'SBAR',r('SBAR',seg(1,19))), link(4,'CORENLP',r('CORENLP',seg(1,19)))]), span( [ seg(5,6), phrase('NP'),size(2),lnks(6), #(r('NP',seg(5,6))),txt(["no","country"]), childs(0),link(1,'NP',r('NP',seg(5,8))), link(2,'SBAR',r('SBAR',seg(5,18))), link(3,'NP',r('NP',seg(3,18))),link(4,'S',r('S',seg(2,18))), link(5,'SBAR',r('SBAR',seg(1,19))), link(6,'CORENLP',r('CORENLP',seg(1,19)))]), span( [ seg(7,8), phrase('WHPP'),size(2),lnks(6), #(r('WHPP',seg(7,8))),txt(["in","which"]), childs(1),child(1,'NP',r('NP',seg(8,8))), link(1,'NP',r('NP',seg(5,8))), link(2,'SBAR',r('SBAR',seg(5,18))), link(3,'NP',r('NP',seg(3,18))),link(4,'S',r('S',seg(2,18))), link(5,'SBAR',r('SBAR',seg(1,19))), link(6,'CORENLP',r('CORENLP',seg(1,19)))]), span( [ seg(14,15), phrase('NP'),size(2),lnks(9), #( r('NP',seg(14,15))), txt(["whose","population"]),childs(1), child(1,'NML',r('NML',seg(15,15))), link(1,'SBAR',r('SBAR',seg(14,18))), link(2,'NP',r('NP',seg(10,18))), link(3,'VP',r('VP',seg(9,18))),link(4,'S',r('S',seg(9,18))), link(5,'SBAR',r('SBAR',seg(5,18))), link(6,'NP',r('NP',seg(3,18))),link(7,'S',r('S',seg(2,18))), link(8,'SBAR',r('SBAR',seg(1,19))), link(9,'CORENLP',r('CORENLP',seg(1,19)))]), span( [ seg(17,18), phrase('NP'),size(2),lnks(11), #(r('NP',seg(17,18))),txt(["1","million"]), childs(1),child(1,'QP',r('QP',seg(17,18))), link(1,'VP',r('VP',seg(16,18))), link(2,'S',r('S',seg(16,18))), link(3,'SBAR',r('SBAR',seg(14,18))), link(4,'NP',r('NP',seg(10,18))), link(5,'VP',r('VP',seg(9,18))),link(6,'S',r('S',seg(9,18))), link(7,'SBAR',r('SBAR',seg(5,18))), link(8,'NP',r('NP',seg(3,18))),link(9,'S',r('S',seg(2,18))), link(10,'SBAR',r('SBAR',seg(1,19))), link(11,'CORENLP',r('CORENLP',seg(1,19)))]), span( [ seg(17,18), phrase('QP'),size(2),lnks(12), #(r('QP',seg(17,18))),txt(["1","million"]), childs(0),link(1,'NP',r('NP',seg(17,18))), link(2,'VP',r('VP',seg(16,18))), link(3,'S',r('S',seg(16,18))), link(4,'SBAR',r('SBAR',seg(14,18))), link(5,'NP',r('NP',seg(10,18))), link(6,'VP',r('VP',seg(9,18))),link(7,'S',r('S',seg(9,18))), link(8,'SBAR',r('SBAR',seg(5,18))), link(9,'NP',r('NP',seg(3,18))),link(10,'S',r('S',seg(2,18))), link(11,'SBAR',r('SBAR',seg(1,19))), link(12,'CORENLP',r('CORENLP',seg(1,19)))]), span( [ seg(10,12), phrase('QP'),size(3),lnks(9), #( r('QP',seg(10,12))), txt(["more","than","two"]),childs(0), link(1,'NP',r('NP',seg(10,13))), link(2,'NP',r('NP',seg(10,18))), link(3,'VP',r('VP',seg(9,18))),link(4,'S',r('S',seg(9,18))), link(5,'SBAR',r('SBAR',seg(5,18))), link(6,'NP',r('NP',seg(3,18))),link(7,'S',r('S',seg(2,18))), link(8,'SBAR',r('SBAR',seg(1,19))), link(9,'CORENLP',r('CORENLP',seg(1,19)))]), span( [ seg(16,18), phrase('S'),size(3),lnks(9), #( r('S',seg(16,18))), txt( ["exceeds","1","million"]), childs(1),child(1,'VP',r('VP',seg(16,18))), link(1,'SBAR',r('SBAR',seg(14,18))), link(2,'NP',r('NP',seg(10,18))), link(3,'VP',r('VP',seg(9,18))),link(4,'S',r('S',seg(9,18))), link(5,'SBAR',r('SBAR',seg(5,18))), link(6,'NP',r('NP',seg(3,18))),link(7,'S',r('S',seg(2,18))), link(8,'SBAR',r('SBAR',seg(1,19))), link(9,'CORENLP',r('CORENLP',seg(1,19)))]), span( [ seg(16,18), phrase('VP'),size(3),lnks(10), #( r('VP',seg(16,18))), txt( ["exceeds","1","million"]), childs(1),child(1,'NP',r('NP',seg(17,18))), link(1,'S',r('S',seg(16,18))), link(2,'SBAR',r('SBAR',seg(14,18))), link(3,'NP',r('NP',seg(10,18))), link(4,'VP',r('VP',seg(9,18))),link(5,'S',r('S',seg(9,18))), link(6,'SBAR',r('SBAR',seg(5,18))), link(7,'NP',r('NP',seg(3,18))),link(8,'S',r('S',seg(2,18))), link(9,'SBAR',r('SBAR',seg(1,19))), link(10,'CORENLP',r('CORENLP',seg(1,19)))]), span( [ seg(5,8), phrase('NP'),size(4),lnks(5), #( r('NP',seg(5,8))), txt( ["no","country","in","which"]), childs(2),child(1,'NP',r('NP',seg(5,6))), child(2,'WHPP',r('WHPP',seg(7,8))), link(1,'SBAR',r('SBAR',seg(5,18))), link(2,'NP',r('NP',seg(3,18))),link(3,'S',r('S',seg(2,18))), link(4,'SBAR',r('SBAR',seg(1,19))), link(5,'CORENLP',r('CORENLP',seg(1,19)))]), span( [ seg(10,13), phrase('NP'),size(4),lnks(8), #( r('NP',seg(10,13))), txt( ["more","than","two","cities"]), childs(1),child(1,'QP',r('QP',seg(10,12))), link(1,'NP',r('NP',seg(10,18))), link(2,'VP',r('VP',seg(9,18))),link(3,'S',r('S',seg(9,18))), link(4,'SBAR',r('SBAR',seg(5,18))), link(5,'NP',r('NP',seg(3,18))),link(6,'S',r('S',seg(2,18))), link(7,'SBAR',r('SBAR',seg(1,19))), link(8,'CORENLP',r('CORENLP',seg(1,19)))]), span( [ seg(14,18), phrase('SBAR'),size(5),lnks(8), #( r('SBAR',seg(14,18))), txt( [ "whose", "population","exceeds","1","million"]), childs(2),child(1,'NP',r('NP',seg(14,15))), child(2,'S',r('S',seg(16,18))), link(1,'NP',r('NP',seg(10,18))), link(2,'VP',r('VP',seg(9,18))),link(3,'S',r('S',seg(9,18))), link(4,'SBAR',r('SBAR',seg(5,18))), link(5,'NP',r('NP',seg(3,18))),link(6,'S',r('S',seg(2,18))), link(7,'SBAR',r('SBAR',seg(1,19))), link(8,'CORENLP',r('CORENLP',seg(1,19)))]), span( [ seg(10,18), phrase('NP'),size(9),lnks(7), #( r('NP',seg(10,18))), txt( [ "more", "than","two","cities","whose", "population","exceeds","1","million"]), childs(2),child(1,'NP',r('NP',seg(10,13))), child(2,'SBAR',r('SBAR',seg(14,18))), link(1,'VP',r('VP',seg(9,18))),link(2,'S',r('S',seg(9,18))), link(3,'SBAR',r('SBAR',seg(5,18))), link(4,'NP',r('NP',seg(3,18))),link(5,'S',r('S',seg(2,18))), link(6,'SBAR',r('SBAR',seg(1,19))), link(7,'CORENLP',r('CORENLP',seg(1,19)))]), span( [ seg(9,18), phrase('S'),size(10),lnks(5), #( r('S',seg(9,18))), txt( [ "contains", "more","than","two","cities","whose", "population","exceeds","1","million"]), childs(1),child(1,'VP',r('VP',seg(9,18))), link(1,'SBAR',r('SBAR',seg(5,18))), link(2,'NP',r('NP',seg(3,18))),link(3,'S',r('S',seg(2,18))), link(4,'SBAR',r('SBAR',seg(1,19))), link(5,'CORENLP',r('CORENLP',seg(1,19)))]), span( [ seg(9,18), phrase('VP'),size(10),lnks(6), #( r('VP',seg(9,18))), txt( [ "contains", "more","than","two","cities","whose", "population","exceeds","1","million"]), childs(1),child(1,'NP',r('NP',seg(10,18))), link(1,'S',r('S',seg(9,18))), link(2,'SBAR',r('SBAR',seg(5,18))), link(3,'NP',r('NP',seg(3,18))),link(4,'S',r('S',seg(2,18))), link(5,'SBAR',r('SBAR',seg(1,19))), link(6,'CORENLP',r('CORENLP',seg(1,19)))]), span( [ seg(5,18), phrase('SBAR'),size(14),lnks(4), #( r('SBAR',seg(5,18))), txt( [ "no", "country","in","which","contains", "more","than","two","cities","whose", "population","exceeds","1","million"]), childs(2),child(1,'NP',r('NP',seg(5,8))), child(2,'S',r('S',seg(9,18))),link(1,'NP',r('NP',seg(3,18))), link(2,'S',r('S',seg(2,18))), link(3,'SBAR',r('SBAR',seg(1,19))), link(4,'CORENLP',r('CORENLP',seg(1,19)))]), span( [ seg(3,18), phrase('NP'),size(16),lnks(3), #( r('NP',seg(3,18))), txt( [ "the", "continents","no","country","in", "which","contains","more","than","two", "cities","whose","population","exceeds", "1","million"]), childs(2),child(1,'NP',r('NP',seg(3,4))), child(2,'SBAR',r('SBAR',seg(5,18))), link(1,'S',r('S',seg(2,18))), link(2,'SBAR',r('SBAR',seg(1,19))), link(3,'CORENLP',r('CORENLP',seg(1,19)))]), span( [ seg(2,18), phrase('S'),size(17),lnks(2), #( r('S',seg(2,18))), txt( [ "are", "the","continents","no","country","in", "which","contains","more","than","two", "cities","whose","population","exceeds", "1","million"]), childs(1),child(1,'NP',r('NP',seg(3,18))), link(1,'SBAR',r('SBAR',seg(1,19))), link(2,'CORENLP',r('CORENLP',seg(1,19)))]), span( [ seg(1,19), phrase('CORENLP'),size(19),lnks(0), #( r('CORENLP',seg(1,19))), txt( [ "what", "are","the","continents","no","country", "in","which","contains","more","than", "two","cities","whose","population", "exceeds","1","million","?"]), childs(1),child(1,'SBAR',r('SBAR',seg(1,19)))]), span( [ seg(1,19), phrase('SBAR'),size(19),lnks(1), #( r('SBAR',seg(1,19))), txt( [ "what", "are","the","continents","no","country", "in","which","contains","more","than", "two","cities","whose","population", "exceeds","1","million","?"]), childs(2),child(1,'NP',r('NP',seg(1,1))), child(2,'S',r('S',seg(2,18))), link(1,'CORENLP',r('CORENLP',seg(1,19)))])]. Parse: 237msec. whq( _626622, s( np(3+pl,wh(Wh362),[]), verb(be,active,pres+fin,[],posP), [ arg( dir, np( 3+pl, np_head(det(the(pl)),[],continent), [ rel( Wh_S359, s( np(3+sg,np_head(det(no),[],country),[prep_phrase(prep(in),np(3+pl,wh(Wh_S359),[]))]), verb(contain,active,pres+fin,[],posP), [ arg( dir, np( 3+pl, np_head(quantV(more,2),[],city), [ rel( Wh_S, s( np(3+sg,np_head(det(the(sg)),[],population),[prep_phrase(poss,np(3+pl,wh(Wh_S),[]))]), verb(exceed,active,pres+fin,[],posP), [ arg(dir,np(3+sg,np_head(quantV(same,1),[],million),[]))], []))]))], []))]))], [])). i_sentence: 237msec. %~ question80( %~ [ ( spatial & %~ geo & %~ continent) - %~ _752562], %~ pred( %~ quantV(identityQ,spatial&geo&continent-_768022,'`'(true),'`'(true),[],spatial&geo&continent-_768028), identityQ,_743182=_743188, %~ [ quantV( %~ set( - + (- 0)), %~ ( spatial & %~ geo & %~ continent) - %~ Continent351, %~ `( ti(continent,Continent351)), %~ ( pred( %~ quantV( det(no), %~ spatial&Spatial-Trans, '`'(ti(country,Trans)),'`'(true), %~ [ ( quantV( identityQ, %~ ( spatial & %~ geo & %~ continent) - %~ Continent351, '`'(true),'`'(true),[], %~ ( spatial & %~ geo & %~ continent) - %~ Contain) & %~ `( trans_pred(spatial,contain,Contain,Trans)))], %~ spatial&Spatial-_836784), %~ identityQ, %~ trans_pred(spatial,contain,_792858,Trans353), %~ [ quantV( quantV(more,2), %~ spatial&Spatial-City357, %~ `( ti(city,City357)), %~ ( pred( %~ quantV( %~ det( the(sg)), %~ measure&population-Count354, %~ `( count_pred(spatial,population,Population,Count354)), %~ '`'(true), %~ [ quantV( identityQ, %~ spatial&Spatial-City357, '`'(true),'`'(true),[], %~ spatial&Spatial-Population)], %~ measure&population-_918136), identityQ,exceeds(_884528,Exceeds), %~ [ quantV( voidQ, %~ measure&population-Million, '`'(Million= --(1,million)),'`'(true),[], %~ measure&population-Exceeds)]) & %~ '`'(true)), [],spatial&Spatial-Trans353)]) & %~ '`'(true)), [],spatial&geo&continent-_793082)])) clausify80: 237msec. %~ answer80([_962930]) :- %~ %~ ^( _967846, %~ ( setof( Contain_Continent351, %~ ( ti(continent,Contain_Continent351) , %~ \+( ^( Contain_Country352, %~ ( ti(country,Contain_Country352) , %~ trans_pred(spatial,contain,Contain_Continent351,Contain_Country352) , %~ ^( Numberof361, %~ ( numberof( Population_City354, %~ ( ti(city,Population_City354) , %~ ^( Count_Exceeds, %~ ( count_pred(spatial,population,Population_City354,Count_Exceeds) , %~ ^( Exceeds_Million, %~ ( Exceeds_Million = %~ %~ --(1,million) , %~ exceeds(Count_Exceeds,Exceeds_Million))))) , %~ trans_pred(spatial,contain,Contain_Country352,Population_City354)), %~ Numberof361) , %~ Numberof361>2)))))), %~ Setof362) , %~ _57318=Setof362)) Semantics: 278msec. answer80([A]) :- A = setof B ti(continent,B) & \+ exists C ti(country,C) & trans_pred(spatial,contain,B,C) & exists D D = numberof E ti(city,E) & exists F count_pred(spatial,population,E,F) & exceeds(F,--(1,million)) & trans_pred(spatial,contain,C,E) & D>2 /* answer80([B]) :- setof( C, ( ti(continent,C) , \+( ^( D, ( ti(country,D) , trans_pred(spatial,contain,C,D) , ^( E, ( numberof( F, ( ti(city,F) , G^(count_pred(spatial,population,F,G),exceeds(G,--(1,million))) , trans_pred(spatial,contain,D,F)), E) , E>2)))))), B). */ Planning: 6msec. answer80([A]) :- A = setof B ti(continent,B) & \+ exists C ti(country,C) & trans_pred(spatial,contain,B,C) & exists D D = numberof E ti(city,E) & exists F count_pred(spatial,population,E,F) & exceeds(F,--(1,million)) & trans_pred(spatial,contain,C,E) & D>2 /* Setof359+[Count357,Numberof358,Contain_Country352] :- setof( Contain_Continent351, ^( [Count357,Numberof358,Contain_Country352], ( database80( ti(continent,Contain_Continent351)) , \+( ( database80( ti(country,Contain_Country352)) , database80( trans_pred(spatial,contain,Contain_Continent351,Contain_Country352)) , numberof( Population_City354, ^( [Count357], ( database80( ti(city,Population_City354)) , database80( count_pred(spatial,population,Population_City354,Count357)) , database80( exceeds(Count357,--(1,million))) , database80( trans_pred(spatial,contain,Contain_Country352,Population_City354)))), Numberof358) , Numberof358>2)))), Setof359). */ Question: 678msec. ?- test_chat80("what are the continents no country in which contains more than two cities whose population exceeds 1 million ? "). Reply: 157msec. [[africa,antarctica,australasia]]. no_proof_for(test_chat80_mpred(18,[ what, are,the,continents, no,country,in, which,contains,more, than,two,cities, whose,population, exceeds,1,million, ?],on,[ [africa,antarctica,australasia]])). no_proof_for(test_chat80_mpred(18,[ what, are,the,continents, no,country,in, which,contains,more, than,two,cities, whose,population, exceeds,1,million, ?],on,[ [africa,antarctica,australasia]])). result=passed. ]]>