Test Report : Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-junitCombined-rollup.tmp

Test Suite: logicmoo.agi.agi_test.comprehension.COMPREHENSION_01

Package: logicmoo.agi.agi_test.comprehension

Results

Duration0.0 sec
Tests1
Failures0

Tests

logicmoo.agi.agi_test.comprehension.COMPREHENSION_01

Test case:logicmoo.agi.agi_test.comprehension.COMPREHENSION_01@Test_0001_Line_0015__What_is_a_peacock_c63_in_user: user:e2c('What is a peacock?')
Outcome:Passed
Duration:0.5 sec
FailedNone
None
Stderr
name=Test_0001_Line_0015__What_is_a_peacock_c63_in_user
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@2/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']")

```
goal=user:e2c('What is a peacock?').
src='Metaphor_StandardOnly_Peacock.plt':15.
url=Metaphor_StandardOnly_Peacock.plt#L15
time=0.45228052139282227.
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( What,
            iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
no_proof_for(e2c('What is a peacock?')).

no_proof_for(e2c('What is a peacock?')).

result=passed.

Test Suite: logicmoo.agi.agi_test.comprehension.COMPREHENSION_01

Package: logicmoo.agi.agi_test.comprehension

Results

Duration0.8 sec
Tests1
Failures0

Tests

logicmoo.agi.agi_test.comprehension.COMPREHENSION_01

Test case:logicmoo.agi.agi_test.comprehension.COMPREHENSION_01@Test_0002_Line_0000__What_is_a_peacock_c63_in_user: user:e2c('What is a peacock?')
Outcome:Passed
Duration:0.4 sec
FailedNone
None
Stderr
name=Test_0002_Line_0000__What_is_a_peacock_c63_in_user
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@2/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']")

```
goal=user:e2c('What is a peacock?').
time=0.3789327144622803.
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( What,
            iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
no_proof_for(e2c('What is a peacock?')).

no_proof_for(e2c('What is a peacock?')).

result=passed.

Test Suite: logicmoo.agi.agi_test.comprehension.COMPREHENSION_01

Package: logicmoo.agi.agi_test.comprehension

Results

Duration0.9 sec
Tests1
Failures0

Tests

logicmoo.agi.agi_test.comprehension.COMPREHENSION_01

Test case:logicmoo.agi.agi_test.comprehension.COMPREHENSION_01@Test_0003_Line_0000__What_is_a_peacock_c63_in_user: user:e2c('What is a peacock?')
Outcome:Passed
Duration:0.4 sec
FailedNone
None
Stderr
name=Test_0003_Line_0000__What_is_a_peacock_c63_in_user
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@2/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']")

```
Warning: import/1: parser_lexical_plkb:(cyc_lex/1) is not exported (still imported into system)
%~ init_phase(after_load).
%~ init_phase(restore_state).
%
%~ init_why(after_boot,program).
%~ READONLY PACKAGES
%~ READONLY PACKAGES
%~ READONLY PACKAGES
%~ after_boot.
%~ Dont forget to ?- logicmoo_i_cyc_xform.
%~ skipped(blocks_on_input,prolog).
running('/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_agi/t/agi_tests/comprehension/comprehension_01.pl'),
%~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:93
%~ this_test_might_need((:-expects_dialect(pfc))).
%~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:96
%~ 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
/*~
%~ Metaphor_StandardOnly_Peacock.plt:15
%~ ?-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( What,
                                   iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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( What,
            iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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_in_user'.
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@2/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_in_user-junit.xml
%~ ?-mpred_test("Test_0002_Line_0000__What_is_a_peacock_c63_in_user",user:e2c('What is a peacock?')).
0m1m97m40m?-e2c('What is a peacock?')
49m0m21m0m36masserted( exists( What,
                                   iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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( What,
            iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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_0000__What_is_a_peacock_c63_in_user'.
JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehensi
goal=user:e2c('What is a peacock?').
time=0.43685054779052734.
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( What,
            iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
no_proof_for(e2c('What is a peacock?')).

no_proof_for(e2c('What is a peacock?')).

result=passed.

Test Suite: logicmoo.agi.agi_test.comprehension.COMPREHENSION_01

Package: logicmoo.agi.agi_test.comprehension

Results

Duration1.4 sec
Tests1
Failures0

Tests

logicmoo.agi.agi_test.comprehension.COMPREHENSION_01

Test case:logicmoo.agi.agi_test.comprehension.COMPREHENSION_01@Test_0004_Line_0000__A_peacock_is_an_animal_in_user: user:e2c('a peacock is an animal')
Outcome:Passed
Duration:0.7 sec
FailedNone
None
Stderr
name=Test_0004_Line_0000__A_peacock_is_an_animal_in_user
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@2/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']")

```
Warning: import/1: parser_lexical_plkb:(cyc_lex/1) is not exported (still imported into system)
%~ init_phase(after_load).
%~ init_phase(restore_state).
%
%~ init_why(after_boot,program).
%~ READONLY PACKAGES
%~ READONLY PACKAGES
%~ READONLY PACKAGES
%~ after_boot.
%~ Dont forget to ?- logicmoo_i_cyc_xform.
%~ skipped(blocks_on_input,prolog).
running('/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_agi/t/agi_tests/comprehension/comprehension_01.pl'),
%~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:93
%~ this_test_might_need((:-expects_dialect(pfc))).
%~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:96
%~ 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
/*~
%~ Metaphor_StandardOnly_Peacock.plt:15
%~ ?-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( What,
                                   iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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( What,
            iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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_in_user'.
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@2/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_in_user-junit.xml
%~ ?-mpred_test("Test_0002_Line_0000__What_is_a_peacock_c63_in_user",user:e2c('What is a peacock?')).
0m1m97m40m?-e2c('What is a peacock?')
49m0m21m0m36masserted( exists( What,
                                   iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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( What,
            iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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_0000__What_is_a_peacock_c63_in_user'.
JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehensi
goal=user:e2c('a peacock is an animal').
time=0.7337477207183838.
passed=passed=info(why_was_true(user:e2c('a peacock is an animal')))
no_proof_for(e2c('a peacock is an animal')).

?-e2c('a peacock is an animal')
asserted(q(exists,Peacock10,iza(Peacock10,'Animal')&iza(Peacock10,'Peacock'))).
no_proof_for(e2c('a peacock is an animal')).

no_proof_for(e2c('a peacock is an animal')).

result=passed.

Test Suite: logicmoo.agi.agi_test.comprehension.COMPREHENSION_01

Package: logicmoo.agi.agi_test.comprehension

Results

Duration1.3 sec
Tests1
Failures0

Tests

logicmoo.agi.agi_test.comprehension.COMPREHENSION_01

Test case:logicmoo.agi.agi_test.comprehension.COMPREHENSION_01@Test_0005_Line_0000__A_peacock_is_an_animal_in_user: user:e2c('a peacock is an animal')
Outcome:Passed
Duration:0.6 sec
FailedNone
None
Stderr
name=Test_0005_Line_0000__A_peacock_is_an_animal_in_user
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@2/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']")

```
Warning: import/1: parser_lexical_plkb:(cyc_lex/1) is not exported (still imported into system)
%~ init_phase(after_load).
%~ init_phase(restore_state).
%
%~ init_why(after_boot,program).
%~ READONLY PACKAGES
%~ READONLY PACKAGES
%~ READONLY PACKAGES
%~ after_boot.
%~ Dont forget to ?- logicmoo_i_cyc_xform.
%~ skipped(blocks_on_input,prolog).
running('/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_agi/t/agi_tests/comprehension/comprehension_01.pl'),
%~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:93
%~ this_test_might_need((:-expects_dialect(pfc))).
%~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:96
%~ 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
/*~
%~ Metaphor_StandardOnly_Peacock.plt:15
%~ ?-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( What,
                                   iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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( What,
            iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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_in_user'.
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@2/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_in_user-junit.xml
%~ ?-mpred_test("Test_0002_Line_0000__What_is_a_peacock_c63_in_user",user:e2c('What is a peacock?')).
0m1m97m40m?-e2c('What is a peacock?')
49m0m21m0m36masserted( exists( What,
                                   iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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( What,
            iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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_0000__What_is_a_peacock_c63_in_user'.
JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehensi
goal=user:e2c('a peacock is an animal').
time=0.6419568061828613.
passed=passed=info(why_was_true(user:e2c('a peacock is an animal')))
no_proof_for(e2c('a peacock is an animal')).

?-e2c('a peacock is an animal')
asserted(q(exists,Peacock14,iza(Peacock14,'Animal')&iza(Peacock14,'Peacock'))).
no_proof_for(e2c('a peacock is an animal')).

no_proof_for(e2c('a peacock is an animal')).

result=passed.

Test Suite: logicmoo.agi.agi_test.comprehension.COMPREHENSION_01

Package: logicmoo.agi.agi_test.comprehension

Results

Duration1.2 sec
Tests1
Failures0

Tests

logicmoo.agi.agi_test.comprehension.COMPREHENSION_01

Test case:logicmoo.agi.agi_test.comprehension.COMPREHENSION_01@Test_0006_Line_0000__A_peacock_is_an_animal_in_user: user:e2c('a peacock is an animal')
Outcome:Passed
Duration:0.6 sec
FailedNone
None
Stderr
name=Test_0006_Line_0000__A_peacock_is_an_animal_in_user
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@2/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']")

```
Warning: import/1: parser_lexical_plkb:(cyc_lex/1) is not exported (still imported into system)
%~ init_phase(after_load).
%~ init_phase(restore_state).
%
%~ init_why(after_boot,program).
%~ READONLY PACKAGES
%~ READONLY PACKAGES
%~ READONLY PACKAGES
%~ after_boot.
%~ Dont forget to ?- logicmoo_i_cyc_xform.
%~ skipped(blocks_on_input,prolog).
running('/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_agi/t/agi_tests/comprehension/comprehension_01.pl'),
%~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:93
%~ this_test_might_need((:-expects_dialect(pfc))).
%~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:96
%~ 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
/*~
%~ Metaphor_StandardOnly_Peacock.plt:15
%~ ?-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( What,
                                   iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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( What,
            iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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_in_user'.
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@2/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_in_user-junit.xml
%~ ?-mpred_test("Test_0002_Line_0000__What_is_a_peacock_c63_in_user",user:e2c('What is a peacock?')).
0m1m97m40m?-e2c('What is a peacock?')
49m0m21m0m36masserted( exists( What,
                                   iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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( What,
            iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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_0000__What_is_a_peacock_c63_in_user'.
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@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0002_Line_0000_What_is_a_peacock_c63_in_user-junit.xml
%~ ?-mpred_test("Test_0003_Line_0000__What_is_a_peacock_c63_in_user",user:e2c('What is a peacock?')).
0m1m97m40m?-e2c('What is a peacock?')
49m0m21m0m36masserted( exists( What,
                                   iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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( What,
            iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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_0003_Line_0000__What_is_a_peacock_c63_in_user'.
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@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0003_Line_0000_What_is_a_peacock_c63_in_user-junit.xml
%~ ?-mpred_test("Test_0004_Line_0000__A_peacock_is_an_animal_in_user",user:e2c('a peacock is an animal')).
0m1m97m40m?-e2c('a peacock is an animal')
49m0m21m0m36masserted( q(exists,Peacock8,iza(Peacock8,'Animal')&iza(Peacock8,'Peacock'))).
39mpassed=info(why_was_true(user:e2c('a peacock is an animal')))
no_proof_for(e2c('a peacock is an animal')).

?-e2c('a peacock is an animal')
asserted(q(exists,Peacock10,iza(Peacock10,'Animal')&iza(Peacock10,'Peacock'))).
no_proof_for(e2c('a peacock is an animal')).

no_proof_for(e2c('a peacock is an animal')).

name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0004_Line_0000__A_peacock_is_an_animal_in_user'.
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@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0004_Line_0000_A_peacock_is_an_animal_in_user-junit.xml
%~ ?-mpred_test("Test_0005_Line_0000__A_peacock_is_an_animal_in_user",user:e2c('a peacock is an animal')).
0m1m97m40m?-e2c('a peacock is an animal')
49m0m21m0m36masserted( q(exists,Peacock12,iza(Peacock12,'Animal')&iza(Peacock12,'Peacock'))).
39mpassed=info(why_was_true(user:e2c('a peacock is an animal')))
no_proof_for(e2c('a peacock is an animal')).

?-e2c('a peacock is an animal')
asserted(q(exists,Peacock14,iza(Peacock14,'Animal')&iza(Peacock14,'Peacock'))).
no_proof_for(e2c('a peacock is an animal')).

no_proof_for(e2c('a peacock is an animal')).

name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0005_Line_0000__A_peacock_is_an_animal_in_user'.
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@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHEN
goal=user:e2c('a peacock is an animal').
time=0.5872917175292969.
passed=passed=info(why_was_true(user:e2c('a peacock is an animal')))
no_proof_for(e2c('a peacock is an animal')).

?-e2c('a peacock is an animal')
asserted(q(exists,Peacock18,iza(Peacock18,'Animal')&iza(Peacock18,'Peacock'))).
no_proof_for(e2c('a peacock is an animal')).

no_proof_for(e2c('a peacock is an animal')).

result=passed.

Test Suite: logicmoo.agi.agi_test.comprehension.COMPREHENSION_01

Package: logicmoo.agi.agi_test.comprehension

Results

Duration1.2 sec
Tests1
Failures0

Tests

logicmoo.agi.agi_test.comprehension.COMPREHENSION_01

Test case:logicmoo.agi.agi_test.comprehension.COMPREHENSION_01@Test_0007_Line_0000__A_peacock_is_an_animal_in_user: user:e2c('a peacock is an animal')
Outcome:Passed
Duration:0.6 sec
FailedNone
None
Stderr
name=Test_0007_Line_0000__A_peacock_is_an_animal_in_user
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@2/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']")

```
Warning: import/1: parser_lexical_plkb:(cyc_lex/1) is not exported (still imported into system)
%~ init_phase(after_load).
%~ init_phase(restore_state).
%
%~ init_why(after_boot,program).
%~ READONLY PACKAGES
%~ READONLY PACKAGES
%~ READONLY PACKAGES
%~ after_boot.
%~ Dont forget to ?- logicmoo_i_cyc_xform.
%~ skipped(blocks_on_input,prolog).
running('/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_agi/t/agi_tests/comprehension/comprehension_01.pl'),
%~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:93
%~ this_test_might_need((:-expects_dialect(pfc))).
%~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:96
%~ 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
/*~
%~ Metaphor_StandardOnly_Peacock.plt:15
%~ ?-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( What,
                                   iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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( What,
            iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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_in_user'.
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@2/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_in_user-junit.xml
%~ ?-mpred_test("Test_0002_Line_0000__What_is_a_peacock_c63_in_user",user:e2c('What is a peacock?')).
0m1m97m40m?-e2c('What is a peacock?')
49m0m21m0m36masserted( exists( What,
                                   iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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( What,
            iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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_0000__What_is_a_peacock_c63_in_user'.
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@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0002_Line_0000_What_is_a_peacock_c63_in_user-junit.xml
%~ ?-mpred_test("Test_0003_Line_0000__What_is_a_peacock_c63_in_user",user:e2c('What is a peacock?')).
0m1m97m40m?-e2c('What is a peacock?')
49m0m21m0m36masserted( exists( What,
                                   iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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( What,
            iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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_0003_Line_0000__What_is_a_peacock_c63_in_user'.
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@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0003_Line_0000_What_is_a_peacock_c63_in_user-junit.xml
%~ ?-mpred_test("Test_0004_Line_0000__A_peacock_is_an_animal_in_user",user:e2c('a peacock is an animal')).
0m1m97m40m?-e2c('a peacock is an animal')
49m0m21m0m36masserted( q(exists,Peacock8,iza(Peacock8,'Animal')&iza(Peacock8,'Peacock'))).
39mpassed=info(why_was_true(user:e2c('a peacock is an animal')))
no_proof_for(e2c('a peacock is an animal')).

?-e2c('a peacock is an animal')
asserted(q(exists,Peacock10,iza(Peacock10,'Animal')&iza(Peacock10,'Peacock'))).
no_proof_for(e2c('a peacock is an animal')).

no_proof_for(e2c('a peacock is an animal')).

name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0004_Line_0000__A_peacock_is_an_animal_in_user'.
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@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0004_Line_0000_A_peacock_is_an_animal_in_user-junit.xml
%~ ?-mpred_test("Test_0005_Line_0000__A_peacock_is_an_animal_in_user",user:e2c('a peacock is an animal')).
0m1m97m40m?-e2c('a peacock is an animal')
49m0m21m0m36masserted( q(exists,Peacock12,iza(Peacock12,'Animal')&iza(Peacock12,'Peacock'))).
39mpassed=info(why_was_true(user:e2c('a peacock is an animal')))
no_proof_for(e2c('a peacock is an animal')).

?-e2c('a peacock is an animal')
asserted(q(exists,Peacock14,iza(Peacock14,'Animal')&iza(Peacock14,'Peacock'))).
no_proof_for(e2c('a peacock is an animal')).

no_proof_for(e2c('a peacock is an animal')).

name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0005_Line_0000__A_peacock_is_an_animal_in_user'.
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@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHEN
goal=user:e2c('a peacock is an animal').
time=0.6131763458251953.
passed=passed=info(why_was_true(user:e2c('a peacock is an animal')))
no_proof_for(e2c('a peacock is an animal')).

?-e2c('a peacock is an animal')
asserted(q(exists,Peacock22,iza(Peacock22,'Animal')&iza(Peacock22,'Peacock'))).
no_proof_for(e2c('a peacock is an animal')).

no_proof_for(e2c('a peacock is an animal')).

result=passed.

Test Suite: logicmoo.agi.agi_test.comprehension.COMPREHENSION_01

Package: logicmoo.agi.agi_test.comprehension

Results

Duration0.9 sec
Tests1
Failures0

Tests

logicmoo.agi.agi_test.comprehension.COMPREHENSION_01

Test case:logicmoo.agi.agi_test.comprehension.COMPREHENSION_01@Test_0008_Line_0020__Is_Jim_a_peacock_c63_in_user: user:e2c('Is Jim a peacock?')
Outcome:Passed
Duration:0.5 sec
FailedNone
None
Stderr
name=Test_0008_Line_0020__Is_Jim_a_peacock_c63_in_user
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@2/packs_sys_new/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']")

```
Warning: import/1: parser_lexical_plkb:(cyc_lex/1) is not exported (still imported into system)
%~ init_phase(after_load).
%~ init_phase(restore_state).
%
%~ init_why(after_boot,program).
%~ READONLY PACKAGES
%~ READONLY PACKAGES
%~ READONLY PACKAGES
%~ after_boot.
%~ Dont forget to ?- logicmoo_i_cyc_xform.

running('/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys_new/logicmoo_agi/t/agi_tests/comprehension/comprehension_01.pl'),
%~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:93
%~ 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_in_user",user:e2c('What is a peacock?')).
0m1m97m40m?-e2c('What is a peacock?')
49m0m21m0m36masserted( exists( What,
                                   iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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( What,
            iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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_in_user'.
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@2/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_in_user-junit.xml
%~ ?-mpred_test("Test_0002_Line_0000__What_is_a_peacock_c63_in_user",user:e2c('What is a peacock?')).
0m1m97m40m?-e2c('What is a peacock?')
49m0m21m0m36masserted( exists( What,
                                   iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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( What,
            iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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_0000__What_is_a_peacock_c63_in_user'.
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@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0002_Line_0000_What_is_a_peacock_c63_in_user-junit.xml
%~ ?-mpred_test("Test_0003_Line_0000__What_is_a_peacock_c63_in_user",user:e2c('What is a peacock?')).
0m1m97m40m?-e2c('What is a peacock?')
49m0m21m0m36masserted( exists( What,
                                   iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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( What,
            iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))).
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_0003_Line_0000__What_is_a_peacock_c63_in_user'.
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@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0003_Line_0000_What_is_a_peacock_c63_in_user-junit.xml
%~ ?-mpred_test("Test_0004_Line_0000__A_peacock_is_an_animal_in_user",user:e2c('a peacock is an animal')).
0m1m97m40m?-e2c('a peacock is an animal')
49m0m21m0m36masserted( q(exists,Peacock8,iza(Peacock8,'Animal')&iza(Peacock8,'Peacock'))).
39mpassed=info(why_was_true(user:e2c('a peacock is an animal')))
no_proof_for(e2c('a peacock is an animal')).

?-e2c('a peacock is an animal')
asserted(q(exists,Peacock10,iza(Peacock10,'Animal')&iza(Peacock10,'Peacock'))).
no_proof_for(e2c('a peacock is an animal')).

no_proof_for(e2c('a peacock is an animal')).

name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0004_Line_0000__A_peacock_is_an_animal_in_user'.
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@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0004_Line_0000_A_peacock_is_an_animal_in_user-junit.xml
%~ ?-mpred_test("Test_0005_Line_0000__A_peacock_is_an_animal_in_user",user:e2c('a peacock is an animal')).
0m1m97m40m?-e2c('a peacock is an animal')
49m0m21m0m36masserted( q(exists,Peacock12,iza(Peacock12,'Animal')&iza(Peacock12,'Peacock'))).
39mpassed=info(why_was_true(user:e2c('a peacock is an animal')))
no_proof_for(e2c('a peacock is an animal')).

?-e2c('a peacock is an animal')
asserted(q(exists,Peacock14,iza(Peacock14,'Animal')&iza(Peacock14,'Peacock'))).
no_proof_for(e2c('a peacock is an animal')).

no_proof_for(e2c('a peacock is an animal')).

name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0005_Line_0000__A_peacock_is_an_animal_in_user'.
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@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0005_Line_0000_A_peacock_is_an_animal_in_user-junit.xml
%~ ?-mpred_test("Test_0006_Line_0000__A_peacock_is_an_animal_in_user",user:e2c('a peacock is an animal')).
0m1m97m40m?-e2c('a peacock is an animal')
49m0m21m0m36masserted( q(exists,Peacock16,iza(Peacock16,'Animal')&iza(Peacock16,'Peacock'))).
39mpassed=info(why_was_true(user:e2c('a peacock is an animal')))
no_proof_for(e2c('a peacock is an animal')).

?-e2c('a peacock is an animal')
asserted(q(exists,Peacock18,iza(Peacock18,'Animal')&iza(Peacock18,'Peacock'))).
no_proof_for(e2c('a peacock is an animal')).

no_proof_for(e2c('a peacock is an animal')).

name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0006_Line_0000__A_peacock_is_an_animal_in_user'.
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@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0006_Line_0000_A_peacock_is_an_animal_in_user-junit.xml
%~ ?-mpred_test("Test_0007_Line_0000__A_peacock_is_an_animal_in_user",user:e2c('a peacock is an animal')).
0m1m97m40m?-e2c('a peacock is an animal')
49m0m21m0m36masserted( q(exists,Peacock20,iza(Peacock20,'Animal')&iza(Peacock20,'Peacock'))).
39mpassed=info(why_was_true(user:e2c('a peacock is an animal')))
no_proof_for(e2c('a peacock is an animal')).

?-e2c('a peacock is an animal')
asserted(q(exists,Peacock22,iza(Peacock22,'Animal')&iza(Peacock22,'Peacock'))).
no_proof_for(e2c('a peacock is an animal')).

no_proof_for(e2c('a peacock is an animal')).

name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0007_Line_0000__A_peacock_is_an_animal_in_user'.
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@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0007_Line_0000_A_peacock_is_an_animal_in_user-junit.xml
%~ ?-mpred_test("Test_0008_Line_0020__Is_Jim_a_peacock_c63_in_user",user:e2c('Is Jim a peacock?')).
0m1m97m40m?-e2c('Is Jim a peacock?')
49m0m21m0m36masserted( warn( unparsed( ask, [
                                         w( is, [
                                           pos(vbz), root(be),loc(1),lnks(2),txt("Is"),
                                           truecase('INIT_UPPER'),link(1,'S',r('S',seg(1,5))),
                                           link(2,'CORENLP',r('CORENLP',seg(1,5))),spacy,
                                           spos(vbz),tense(present),dep_child(root,n(is,1)),
                                           dep_child(nsubj,n(jim,2)),dep_child(attr,n(peacock,4)),
                                           dep_child(punct,n(?,5)),dep_parent(root,n(is,1)),
                                           node(n(is,1)),flair,upos(verb),fner(o),
                                           fn('be.01')]),
                                         w( jim, [
                                           pos(nnp), root('Jim'),loc(2),lnks(3),txt("Jim"),
                                           ner('PERSON'),truecase('INIT_UPPER'),corefed,
                                           #(1),txt(["Jim"]),type('PROPER'),
                                           numb('SINGULAR'),gender('MALE'),animacy('ANIMATE'),
                                           repm(@(true)),link(1,'NP',r('NP',seg(2,2))),
                                           link(2,'S',r('S',seg(1,5))), link(3,'CORENLP',r('CORENLP',seg(1,5))),spacy,
                                           spos(nnp),form(sg),dep_parent(nsubj,n(is,1)),
                                           node(n(jim,2)),flair,upos(propn),
                                           fner('s-per'),fn('_')]),
                                         w( a, [
                                           pos(dt), root(a),loc(3),lnks(3),txt("a"),
                                           truecase('LOWER'),link(1,'NP',r('NP',seg(3,4))),
                                           link(2,'S',r('S',seg(1,5))), link(3,'CORENLP',r('CORENLP',seg(1,5))),spacy,
                                           spos(dt),dep_parent(det,n(peacock,4)),node(n(a,3)),
                                           flair,upos(det),fner(o),fn('_')]),
                                         w( peacock, [
                                           pos(nn), root(peacock),loc(4),lnks(3),txt("peacock"),
                                           truecase('INIT_UPPER'),link(1,'NP',r('NP',seg(3,4))),
                                           link(2,'S',r('S',seg(1,5))), link(3,'CORENLP',r('CORENLP',seg(1,5))),spacy,
                                           spos(nn),form(sg),dep_child(det,n(a,3)),
                                           dep_parent(attr,n(is,1)),node(n(peacock,4)),flair,
                                           upos(noun),fner(o),fn('_')]),
                                         w( ?, [
                                           pos('.'), root(?),loc(5),lnks(2),txt("?"),
                                           link(1,'S',r('S',seg(1,5))), link(2,'CORENLP',r('CORENLP',seg(1,5))),spacy,
                                           spos('.'),dep_parent(punct,n(is,1)),node(n(?,5)),
                                           flair,upos(punct),fner(o),fn('_')])]))).
39mpassed=info(why_was_true(user:e2c('Is Jim a peacock?')))
no_proof_for(e2c('Is Jim a peacock?')).

?-e2c('Is Jim a peacock?')
asserted( warn( unparsed( ask, [
                  w( is, [
                    pos(vbz), root(be),loc(1),lnks(2),txt("Is"),
                    truecase('INIT_UPPER'),link(1,'S',r('S',seg(1,5))),
                    link(2,'CORENLP',r('CORENLP',seg(1,5))),spacy,
                    spos(vbz),tense(present),dep_child(root,n(is,1)),
                    dep_child(nsubj,n(jim,2)),dep_child(attr,n(peacock,4)),
                    dep_child(punct,n(?,5)),dep_parent(root,n(is,1)),
                    node(n(is,1)),flair,upos(verb),fner(o),
                    fn('be.01')]),
                  w( jim, [
                    pos(nnp), root('Jim'),loc(2),lnks(3),txt("Jim"),
                    ner('PERSON'),truecase('INIT_UPPER'),corefed,
                    #(1),txt(["Jim"]),type('PROPER'),
                    numb('SINGULAR'),gender('MALE'),animacy('ANIMATE'),
                    repm(@(true)),link(1,'NP',r('NP',seg(2,2))),
                    link(2,'S',r('S',seg(1,5))), link(3,'CORENLP',r('CORENLP',seg(1,5))),spacy,
                    spos(nnp),form(sg),dep_parent(nsubj,n(is,1)),
                    node(n(jim,2)),flair,upos(propn),
                    fner('s-per'),fn('_')]),
                  w( a, [
                    pos(dt), root(a),loc(3),lnks(3),txt("a"),
                    truecase('LOWER'),link(1,'NP',r('NP',seg(3,4))),
                    link(2,'S',r('S',seg(1,5))), link(3,'CORENLP',r('CORENLP',seg(1,5))),spacy,
                    spos(dt),dep_parent(det,n(peacock,4)),node(n(a,3)),
                    flair,upos(det),fner(o),fn('_')]),
                  w( peacock, [
                    pos(nn), root(peacock),loc(4),lnks(3),txt("peacock"),
                    truecase('INIT_UPPER'),link(1,'NP',r('NP',seg(3,4))),
                    link(2,'S',r('S',seg(1,5))), link(3,'CORENLP',r('CORENLP',seg(1,5))),spacy,
                    spos(nn),form(sg),dep_child(det,n(a,3)),
                    dep_parent(attr,n(is,1)),node(n(peacock,4)),flair,
                    upos(noun),fner(o),fn('_')]),
                  w( ?, [
                    pos('.'), root(?),loc(5),lnks(2),txt("?"),
                    link(1,'S',r('S',seg(1,5))), link(2,'CORENLP',r('CORENLP',seg(1,5))),spacy,
                    spos('.'),dep_parent(punct,n(is,1)),node(n(?,5)),
               
goal=user:e2c('Is Jim a peacock?').
src='Metaphor_StandardOnly_Peacock.plt':20.
url=Metaphor_StandardOnly_Peacock.plt#L20
time=0.4505574703216553.
passed=passed=info(why_was_true(user:e2c('Is Jim a peacock?')))
no_proof_for(e2c('Is Jim a peacock?')).

?-e2c('Is Jim a peacock?')
asserted( warn( unparsed( ask, [
                  w( is, [
                    pos(vbz), root(be),loc(1),lnks(2),txt("Is"),
                    truecase('INIT_UPPER'),link(1,'S',r('S',seg(1,5))),
                    link(2,'CORENLP',r('CORENLP',seg(1,5))),spacy,
                    spos(vbz),tense(present),dep_child(root,n(is,1)),
                    dep_child(nsubj,n(jim,2)),dep_child(attr,n(peacock,4)),
                    dep_child(punct,n(?,5)),dep_parent(root,n(is,1)),
                    node(n(is,1)),flair,upos(verb),fner(o),
                    fn('be.01')]),
                  w( jim, [
                    pos(nnp), root('Jim'),loc(2),lnks(3),txt("Jim"),
                    ner('PERSON'),truecase('INIT_UPPER'),corefed,
                    #(1),txt(["Jim"]),type('PROPER'),
                    numb('SINGULAR'),gender('MALE'),animacy('ANIMATE'),
                    repm(@(true)),link(1,'NP',r('NP',seg(2,2))),
                    link(2,'S',r('S',seg(1,5))), link(3,'CORENLP',r('CORENLP',seg(1,5))),spacy,
                    spos(nnp),form(sg),dep_parent(nsubj,n(is,1)),
                    node(n(jim,2)),flair,upos(propn),
                    fner('s-per'),fn('_')]),
                  w( a, [
                    pos(dt), root(a),loc(3),lnks(3),txt("a"),
                    truecase('LOWER'),link(1,'NP',r('NP',seg(3,4))),
                    link(2,'S',r('S',seg(1,5))), link(3,'CORENLP',r('CORENLP',seg(1,5))),spacy,
                    spos(dt),dep_parent(det,n(peacock,4)),node(n(a,3)),
                    flair,upos(det),fner(o),fn('_')]),
                  w( peacock, [
                    pos(nn), root(peacock),loc(4),lnks(3),txt("peacock"),
                    truecase('INIT_UPPER'),link(1,'NP',r('NP',seg(3,4))),
                    link(2,'S',r('S',seg(1,5))), link(3,'CORENLP',r('CORENLP',seg(1,5))),spacy,
                    spos(nn),form(sg),dep_child(det,n(a,3)),
                    dep_parent(attr,n(is,1)),node(n(peacock,4)),flair,
                    upos(noun),fner(o),fn('_')]),
                  w( ?, [
                    pos('.'), root(?),loc(5),lnks(2),txt("?"),
                    link(1,'S',r('S',seg(1,5))), link(2,'CORENLP',r('CORENLP',seg(1,5))),spacy,
                    spos('.'),dep_parent(punct,n(is,1)),node(n(?,5)),
                    flair,upos(punct),fner(o),fn('_')])]))).
no_proof_for(e2c('Is Jim a peacock?')).

no_proof_for(e2c('Is Jim a peacock?')).

result=passed.