<?xml version="1.0" encoding="utf-8"?> <testsuites> <testsuite name="logicmoo.agi.agi_test.comprehension.COMPREHENSION_01" package="logicmoo.agi.agi_test.comprehension" time="3.918" tests="1" errors="0" skipped="0" failures="0"> <testcase name="logicmoo.agi.agi_test.comprehension.COMPREHENSION_01@Test_0002_Line_0015__What_is_a_peacock_c63: baseKB:e2c('What is a peacock?')" classname="logicmoo.agi.agi_test.comprehension.COMPREHENSION_01" time="1.908"> <system-err><![CDATA[name=Test_0002_Line_0015__What_is_a_peacock_c63 JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. (cd /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/t/agi_tests/comprehension ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['comprehension_01.pl']") ``` %~ init_phase(after_load) %~ init_phase(restore_state) % %~ init_why(after_boot,program) %~ after_boot. %~ Dont forget to ?- logicmoo_i_cyc_xform. running('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/t/agi_tests/comprehension/comprehension_01.pl'), %~ this_test_might_need( :-( expects_dialect(pfc))) %~ this_test_might_need( :-( use_module( library(logicmoo_plarkc)))) test_here(X):- notrace(mpred_test(e2c(X))). /*~ No source location!? ~*/ test_convo_file(File):- atom_contains(File,'0'),!. /*~ No source location!? ~*/ test_convo_file(File):- open(File,read,IS), repeat, catch(read_term(IS,Term,[syntax_errors(error)]),_,fail), (Term == end_of_file -> 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",baseKB: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)))])])])))) passed=info(why_was_true(baseKB: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?')). name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0001_Line_0015__What_is_a_peacock_c63'. JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0001_Line_0015_What_is_a_peacock_c63-junit.xml %~ ?-( mpred_test("Test_0002_Line_0015__What_is_a_peacock_c63",baseKB: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)))])])])))) passed=info(why_was_true(baseKB: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 goal=baseKB:e2c('What is a peacock?'). src='Metaphor_StandardOnly_Peacock.plt':15. url=Metaphor_StandardOnly_Peacock.plt#L15 time=1.908461570739746. passed=passed=info(why_was_true(baseKB: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. ]]></system-err> </testcase> </testsuite> </testsuites>