logicmoo_workspace
logicmoo_workspace copied to clipboard
Published
20 hours ago •
logicmoo
logicmoo
logicmoo.agi.agi_test.comprehension.COMPREHENSION_01 JUnit
(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']")
% 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/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ACOMPREHENSION_01 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/645
%~ 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))),
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_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\']"'.
% 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_0002_Line_0015_What_is_a_peacock_c63-junit.xml
%~ ?-( mpred_test("Test_0003_Line_0015__What_is_a_peacock_c63",baseKB:e2c('What is a peacock?'))).
?-e2c('What is a peacock?')
totalTime=10.000
FAILED: /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-junit-minor -k comprehension_01.pl (returned 137) Add_LABELS='Errors,Overtime' Rem_LABELS='Skipped,Skipped,Warnings,Skipped'
Fixed in https://github.com/logicmoo/logicmoo_workspace/commit/3b1de253bddb6139037bb13b407cd11332b8d481 https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/commit/3b1de253bddb6139037bb13b407cd11332b8d481