1)))))). */ /* \+( ( database80( ti(continent,Contain_Continent288)) , \+( ( numberof( Country289, ^( [], ( database80( ti(country,Country289)) , database80( trans_pred(spatial,contain,Contain_Continent288,Country289)))), Numberof291) , Numberof291>1)))). */ 15 | 15 0 5 4 24 segs: 293msec. [ w( is, [ [ alt( pos(vbz)), root(be),pos(aux),loc(1),lnks(1), txt("is"),truecase('INIT_UPPER'), link(1,'S',r('S',seg(1,10))),lex_winfo, flexicon(bv,[person=3,agr=sg,verb_form=tensed],is), talk_db(intransitive,be,is,was,being,been), talk_db(intransitive,am,is,was,being,been), talk_db(intransitive,are,is,was,being,been)])], w( there, [ [ alt( pos(rb)), root(there),pos(ex),loc(2),lnks(2), txt("there"),truecase('LOWER'), link(1,'NP',r('NP',seg(2,2))),link(2,'S',r('S',seg(1,10))), lex_winfo, type_wrd_frm5(lexical_pp,there,[loc,there],[loc],[]), type_wrd_sem(impersonal_there_subject,there,[])])], w( more, [ [ pos(jjr), root(more),loc(3),lnks(4),txt("more"), truecase('LOWER'),link(1,'QP',r('QP',seg(3,5))), link(2,'NP',r('NP',seg(3,6))),link(3,'NP',r('NP',seg(3,9))), link(4,'S',r('S',seg(1,10))),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(4),lnks(4),txt("than"), truecase('LOWER'),link(1,'QP',r('QP',seg(3,5))), link(2,'NP',r('NP',seg(3,6))),link(3,'NP',r('NP',seg(3,9))), link(4,'S',r('S',seg(1,10))),lex_winfo, talk_db(conj,than)])], w( one, [ [ pos(cd), root(one),loc(5),lnks(4),txt("one"), ner('NUMBER'),normalizedNER('>1.0'),truecase('LOWER'), corefed,#(1),txt(["one"]), type('PROPER'),numb('SINGULAR'),gender('UNKNOWN'), animacy('INANIMATE'),repm(@(true)), link(1,'QP',r('QP',seg(3,5))),link(2,'NP',r('NP',seg(3,6))), link(3,'NP',r('NP',seg(3,9))),link(4,'S',r('S',seg(1,10))), lex_winfo,tr_number(one,1), flexicon(number,[sem=1,num_type=digit,agr=sg],one), flexicon(number,[sem=1],one),talk_db(pronoun,one), talk_db(indef,one)])], w( country, [ [ pos(nn), root(country),loc(6),lnks(3),txt("country"), truecase('LOWER'),link(1,'NP',r('NP',seg(3,6))), link(2,'NP',r('NP',seg(3,9))),link(3,'S',r('S',seg(1,10))), lex_winfo, clex_word(noun,country,country,neutr+Neutr-mass), talk_db(adj,country)])], w( in, [ [ pos(in), root(in),loc(7),lnks(3),txt("in"), truecase('LOWER'),link(1,'PP',r('PP',seg(7,9))), link(2,'NP',r('NP',seg(3,9))),link(3,'S',r('S',seg(1,10))), 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( each, [ [ pos(dt), root(each),loc(8),lnks(4),txt("each"), truecase('LOWER'),link(1,'NP',r('NP',seg(8,9))), link(2,'PP',r('PP',seg(7,9))),link(3,'NP',r('NP',seg(3,9))), link(4,'S',r('S',seg(1,10))),lex_winfo, talk_db(adj,each)])], w( continent, [ [ pos(nn), root(continent),loc(9),lnks(4), txt("continent"),truecase('LOWER'), link(1,'NP',r('NP',seg(8,9))),link(2,'PP',r('PP',seg(7,9))), link(3,'NP',r('NP',seg(3,9))),link(4,'S',r('S',seg(1,10))), lex_winfo, clex_word(noun,continent,continent,neutr+sg-count), clex_word(adj,continent,continent,unknown), talk_db(adj,continent)])], w( ?, [ [ pos('.'), root(?),loc(10),lnks(1),txt("?"), link(1,'S',r('S',seg(1,10))),lex_winfo, terminator_lex(?,?),char_type_sentence(?,ask)])], span( [ seg(2,2), phrase('NP'),size(1),lnks(1), #(r('NP',seg(2,2))),txt(["there"]),childs(0), link(1,'S',r('S',seg(1,10)))]), span( [ seg(8,9), phrase('NP'),size(2),lnks(3), #(r('NP',seg(8,9))),txt(["each","continent"]), childs(0),link(1,'PP',r('PP',seg(7,9))), link(2,'NP',r('NP',seg(3,9))),link(3,'S',r('S',seg(1,10)))]), span( [ seg(3,5), phrase('QP'),size(3),lnks(3), #( r('QP',seg(3,5))), txt(["more","than","one"]),childs(0), link(1,'NP',r('NP',seg(3,6))),link(2,'NP',r('NP',seg(3,9))), link(3,'S',r('S',seg(1,10)))]), span( [ seg(7,9), phrase('PP'),size(3),lnks(2), #( r('PP',seg(7,9))), txt( ["in","each","continent"]), childs(1),child(1,'NP',r('NP',seg(8,9))), link(1,'NP',r('NP',seg(3,9))),link(2,'S',r('S',seg(1,10)))]), span( [ seg(3,6), phrase('NP'),size(4),lnks(2), #( r('NP',seg(3,6))), txt( ["more","than","one","country"]), childs(1),child(1,'QP',r('QP',seg(3,5))), link(1,'NP',r('NP',seg(3,9))),link(2,'S',r('S',seg(1,10)))]), span( [ seg(3,9), phrase('NP'),size(7),lnks(1), #( r('NP',seg(3,9))), txt( [ "more", "than","one","country","in","each", "continent"]), childs(2),child(1,'NP',r('NP',seg(3,6))), child(2,'PP',r('PP',seg(7,9))),link(1,'S',r('S',seg(1,10)))]), span( [ seg(1,10), phrase('S'),size(10),lnks(0), #( r('S',seg(1,10))), txt( [ "is", "there","more","than","one","country", "in","each","continent","?"]), childs(2),child(1,'NP',r('NP',seg(2,2))), child(2,'NP',r('NP',seg(3,9)))])]. Parse: 3msec. q( s( there, verb(be,active,pres+fin,[],posP), [ arg( dir, np( 3+sg, np_head(quantV(more,1),[],country), [ prep_phrase(prep(in),np(3+sg,np_head(det(each),[],continent),[]))]))], [])). i_sentence: 3msec. %~ question80( [], %~ pred( %~ quantV(voidQ,VoidQ,'`'(true),'`'(true),[],spatial&Spatial-_414742), identityQ,_405634=_405646, %~ [ quantV( quantV(more,1), %~ spatial&Spatial-Country_Trans, '`'(ti(country,Country_Trans)),'`'(true), %~ [ ( quantV( det(each), %~ ( spatial & %~ geo & %~ continent) - %~ Continent296, '`'(ti(continent,Continent296)),'`'(true), %~ [],spatial&geo&continent-Contain) & %~ `( trans_pred(spatial,contain,Contain,Country_Trans)))], %~ spatial&Spatial-_424500)])) clausify80: 3msec. %~ answer80([]) :- %~ %~ \+( ^( Contain_Continent292, %~ ( ti(continent,Contain_Continent292) , %~ \+( ^( Numberof295, %~ ( numberof( Country293, %~ ( ti(country,Country293) , %~ trans_pred(spatial,contain,Contain_Continent292,Country293) , %~ ^( VAR_Country293, %~ ((true,true),true),true,VAR_Country293=Country293,true,true)), %~ Numberof295) , %~ Numberof295>1)))))) Semantics: 98msec. answer80([]) :- \+ exists A ti(continent,A) & \+ exists B B = numberof C ti(country,C) & trans_pred(spatial,contain,A,C) & B>1 /* answer80([]) :- \+( ^( B, ( ti(continent,B) , \+( ^( C, ( numberof(D,(ti(country,D),trans_pred(spatial,contain,B,D)),C) , C>1)))))). */ Planning: 5msec. answer80([]) :- \+ exists A ti(continent,A) & \+ exists B B = numberof C ti(country,C) & trans_pred(spatial,contain,A,C) & B>1 /* \+( ( database80( ti(continent,Contain_Continent292)) , \+( ( numberof( Country293, ^( [], ( database80( ti(country,Country293)) , database80( trans_pred(spatial,contain,Contain_Continent292,Country293)))), Numberof295) , Numberof295>1)))). */ Question: 111msec. ?- test_chat80("is there more than one country in each continent ? "). Reply: 5msec. [false]. no_proof_for(test_chat80_mpred(15,[ is, there,more,than, one,country,in, each,continent,?],on,[false])). no_proof_for(test_chat80_mpred(15,[ is, there,more,than, one,country,in, each,continent,?],on,[false])). result=passed. ]]>