close(IS) ; (ignore(test_convo_term(Term)),fail)). /*~ No source location!? ~*/ test_convo_term(X):- forall((sub_term(E,X),atomic(E),atom_contains(E,' '), %dont parse end comment (Yet) \+ atom_contains(E,'CasAm')), test_here(E)). /*~ No source location!? ~*/ :- prolog_load_context(directory,X), cd(X), expand_file_name('Meta*Peacock.plt',Files), maplist(test_convo_file,Files). % EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_agi/t/agi_tests/comprehension/comprehension_01.pl % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.agi.agi_test.comprehension/COMPREHENSION_01/logicmoo_agi_agi_test_comprehension_COMPREHENSION_01/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ACOMPREHENSION_01 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/645 /*~ %~ ?-( mpred_test("Test_0001_Line_0015__What_is_a_peacock_c63_in_user",user:e2c('What is a peacock?'))). 0m1m97m40m?-e2c('What is a peacock?') 49m0m21m0m36masserted( exists( Exists, ( info( 'XVAR_NP_What_1_1', [ [ loc(1), pos('NP'),equals('XVAR_NP_What_1_1'),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,5))), link(2,'CORENLP',r('CORENLP',seg(1,5)))])] & info( 'XVAR_NP_Peacock_3_4', [ [ loc(3), pos('NP'),equals('XVAR_NP_Peacock_3_4'),seg(3,4), phrase('NP'),size(2),lnks(3), #(r('NP',seg(3,4))),txt(["a","peacock"]), childs(0),link(1,'S',r('S',seg(2,4))), link(2,'SBAR',r('SBAR',seg(1,5))), link(3,'CORENLP',r('CORENLP',seg(1,5)))])] & warn( unparsed( Exists, [ [ w( 'XVAR_NP_What_1_1', [ [ loc(1), pos('NP'),equals('XVAR_NP_What_1_1'),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,5))), link(2,'CORENLP',r('CORENLP',seg(1,5)))])], w( is, [ [ pos(vbz), root(be),loc(2),lnks(3),txt("is"), truecase('LOWER'),link(1,'S',r('S',seg(2,4))), link(2,'SBAR',r('SBAR',seg(1,5))), link(3,'CORENLP',r('CORENLP',seg(1,5))),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( 'XVAR_NP_Peacock_3_4', [ [ loc(3), pos('NP'),equals('XVAR_NP_Peacock_3_4'),seg(3,4), phrase('NP'),size(2),lnks(3), #(r('NP',seg(3,4))),txt(["a","peacock"]), childs(0),link(1,'S',r('S',seg(2,4))), link(2,'SBAR',r('SBAR',seg(1,5))), link(3,'CORENLP',r('CORENLP',seg(1,5)))])], w( ?, [ [ pos('.'), root(?),loc(5),lnks(2),txt("?"), link(1,'SBAR',r('SBAR',seg(1,5))), link(2,'CORENLP',r('CORENLP',seg(1,5))),lex_winfo, terminator_lex(?,?),char_type_sentence(?,ask)])], span( [ seg(2,4), phrase('S'),size(3),lnks(2),#(r('S',seg(2,4))), txt(["is","a","peacock"]),childs(1), child(1,'NP',r('NP',seg(3,4))), link(1,'SBAR',r('SBAR',seg(1,5))), link(2,'CORENLP',r('CORENLP',seg(1,5)))]), span( [ seg(1,5), phrase('CORENLP'),size(5),lnks(0), #( r('CORENLP',seg(1,5))), txt( [ "What", "is","a","peacock","?"]), childs(1),child(1,'SBAR',r('SBAR',seg(1,5)))]), span( [ seg(1,5), phrase('SBAR'),size(5),lnks(1), #( r('SBAR',seg(1,5))), txt( [ "What", "is","a","peacock","?"]), childs(2),child(1,'NP',r('NP',seg(1,1))), child(2,'S',r('S',seg(2,4))), link(1,'CORENLP',r('CORENLP',seg(1,5)))])])])))) 39mpassed=info(why_was_true(user:e2c('What is a peacock?'))) no_proof_for(e2c('What is a peacock?')). ?-e2c('What is a peacock?') asserted( exists( Exists, ( info( 'XVAR_NP_What_1_1', [ [ loc(1), pos('NP'),equals('XVAR_NP_What_1_1'),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,5))), link(2,'CORENLP',r('CORENLP',seg(1,5)))])] & info( 'XVAR_NP_Peacock_3_4', [ [ loc(3), pos('NP'),equals('XVAR_NP_Peacock_3_4'),seg(3,4), phrase('NP'),size(2),lnks(3), #(r('NP',seg(3,4))),txt(["a","peacock"]), childs(0),link(1,'S',r('S',seg(2,4))), link(2,'SBAR',r('SBAR',seg(1,5))), link(3,'CORENLP',r('CORENLP',seg(1,5)))])] & warn( unparsed( Exists, [ [ w( 'XVAR_NP_What_1_1', [ [ loc(1), pos('NP'),equals('XVAR_NP_What_1_1'),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,5))), link(2,'CORENLP',r('CORENLP',seg(1,5)))])], w( is, [ [ pos(vbz), root(be),loc(2),lnks(3),txt("is"), goal=user:e2c('What is a peacock?'). src='Metaphor_StandardOnly_Peacock.plt':15. url=Metaphor_StandardOnly_Peacock.plt#L15 time=1.66530179977417. passed=passed=info(why_was_true(user:e2c('What is a peacock?'))) no_proof_for(e2c('What is a peacock?')). ?-e2c('What is a peacock?') asserted( exists( Exists, ( info( 'XVAR_NP_What_1_1', [ [ loc(1), pos('NP'),equals('XVAR_NP_What_1_1'),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,5))), link(2,'CORENLP',r('CORENLP',seg(1,5)))])] & info( 'XVAR_NP_Peacock_3_4', [ [ loc(3), pos('NP'),equals('XVAR_NP_Peacock_3_4'),seg(3,4), phrase('NP'),size(2),lnks(3), #(r('NP',seg(3,4))),txt(["a","peacock"]), childs(0),link(1,'S',r('S',seg(2,4))), link(2,'SBAR',r('SBAR',seg(1,5))), link(3,'CORENLP',r('CORENLP',seg(1,5)))])] & warn( unparsed( Exists, [ [ w( 'XVAR_NP_What_1_1', [ [ loc(1), pos('NP'),equals('XVAR_NP_What_1_1'),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,5))), link(2,'CORENLP',r('CORENLP',seg(1,5)))])], w( is, [ [ pos(vbz), root(be),loc(2),lnks(3),txt("is"), truecase('LOWER'),link(1,'S',r('S',seg(2,4))), link(2,'SBAR',r('SBAR',seg(1,5))), link(3,'CORENLP',r('CORENLP',seg(1,5))),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( 'XVAR_NP_Peacock_3_4', [ [ loc(3), pos('NP'),equals('XVAR_NP_Peacock_3_4'),seg(3,4), phrase('NP'),size(2),lnks(3), #(r('NP',seg(3,4))),txt(["a","peacock"]), childs(0),link(1,'S',r('S',seg(2,4))), link(2,'SBAR',r('SBAR',seg(1,5))), link(3,'CORENLP',r('CORENLP',seg(1,5)))])], w( ?, [ [ pos('.'), root(?),loc(5),lnks(2),txt("?"), link(1,'SBAR',r('SBAR',seg(1,5))), link(2,'CORENLP',r('CORENLP',seg(1,5))),lex_winfo, terminator_lex(?,?),char_type_sentence(?,ask)])], span( [ seg(2,4), phrase('S'),size(3),lnks(2),#(r('S',seg(2,4))), txt(["is","a","peacock"]),childs(1), child(1,'NP',r('NP',seg(3,4))), link(1,'SBAR',r('SBAR',seg(1,5))), link(2,'CORENLP',r('CORENLP',seg(1,5)))]), span( [ seg(1,5), phrase('CORENLP'),size(5),lnks(0), #( r('CORENLP',seg(1,5))), txt( [ "What", "is","a","peacock","?"]), childs(1),child(1,'SBAR',r('SBAR',seg(1,5)))]), span( [ seg(1,5), phrase('SBAR'),size(5),lnks(1), #( r('SBAR',seg(1,5))), txt( [ "What", "is","a","peacock","?"]), childs(2),child(1,'NP',r('NP',seg(1,1))), child(2,'S',r('S',seg(2,4))), link(1,'CORENLP',r('CORENLP',seg(1,5)))])])])))) no_proof_for(e2c('What is a peacock?')). no_proof_for(e2c('What is a peacock?')). result=passed. ]]>