logicmoo_workspace
logicmoo_workspace copied to clipboard
Published
20 hours ago •
logicmoo
logicmoo
logicmoo.base.examples.fol.SANITY_EXISTS_02 JUnit
trafficstars
(cd /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['sanity_exists_02.pfc.pl']")
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_base/t/examples/fol/sanity_exists_02.pfc.pl % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.base.examples.fol/SANITY_EXISTS_02/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ASANITY_EXISTS_02 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/418
%~ 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@2/packs_sys/logicmoo_base/t/examples/fol/sanity_exists_02.pfc.pl'),
%~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:93
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))
:- module(t123).
/*~
~*/
:- dynamic(t123:ttExpressionType/1).
% :- process_this_script.
/*~
~*/
% :- process_this_script.
:- statistics.
/*~
% Started at Sat Sep 25 22:53:04 2021
% 1.027 seconds cpu time for 2,330,403 inferences
% 942,203 atoms, 32,345 functors, 31,571 predicates, 752 modules, 15,990,222 VM-codes
%
% Limit Allocated In use
% Local stack: - 52 Kb 3,920 b
% Global stack: - 256 Kb 107 Kb
% Trail stack: - 66 Kb 1,136 b
% Total: 1,024 Mb 374 Kb 112 Kb
%
% 5 garbage collections gained 472,792 bytes in 0.000 seconds.
% 5 atom garbage collections gained 2,569 atoms in 0.067 seconds.
% 9 clause garbage collections gained 1,749 clauses in 0.000 seconds.
% Stack shifts: 1 local, 2 global, 1 trail in 0.000 seconds
% 3 threads, 0 finished threads used 0.000 seconds
~*/
subtest_assert(I):-kif_assert(I).
/*~
~*/
subtest([subtest_assert(tAnimal(joe)),
mpred_test(isa(_,tHeart))]).
/*~
%~ debugm( baseKB,
%~ show_success( baseKB,
%~ baseKB : ain( clif( subtest( [ subtest_assert( tAnimal(joe)),
%~ mpred_test( tHeart(Heart4))])))))
% xgrun compiled into parser_chat80 0.00 sec, 0 clauses
% xgproc compiled into parser_chat80 0.02 sec, 0 clauses
** Grammar from file /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_nlu/ext/chat80/original/clone.xg: 206 words .. **
** Grammar from file /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_nlu/ext/chat80/original/lex.xg: -219 words .. **
% chatops compiled into parser_chat80 0.00 sec, 0 clauses
% chatops compiled into parser_chat80 0.00 sec, 0 clauses
% :- share_mfa_pt2(parser_chat80,test_chat80,1).
% :- share_mfa_pt2(parser_chat80,hi80,0).
% :- share_mfa_pt2(parser_chat80,hi80,1).
% :- share_mfa_pt2(parser_chat80,control80,1).
% :- share_mfa_pt2(parser_chat80,trace_chat80,1).
% /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_nlu/ext/chat80/original/load compiled into parser_chat80 2.25 sec, 3 clauses
% /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/debuggery/dmsg compiled into dmsg 0.12 sec, -16 clauses
=======================================================
subtest('[|]'(subtest_assert(tAnimal(joe)),'[|]'(mpred_test(tHeart('$VAR'('Heart4'))),[])))
============================================
?- kif_to_boxlog( subtest([subtest_assert(tAnimal(joe)),mpred_test(tHeart(Heart4))]) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ joe isa tAnimal isa subtest_assert ?Heart4 isa tHeart isa mpred_test isa subtest
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(subtest('[|]'(subtest_assert(tAnimal(joe)),'[|]'(mpred_test(tHeart('$VAR'('Heart4'))),[]))))
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc(subtest([subtest_assert(tAnimal(joe)),mpred_test(tHeart(Heart4))])).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that joe isa tAnimal isa subtest_assert ?Heart4 isa tHeart isa mpred_test isa subtest
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc( subtest( [ subtest_assert( tAnimal(joe)),
mpred_test( tHeart(Heart4))])).
============================================
~*/
subtest([subtest_assert(tAnimal(joe)),
mpred_test(hasOrgan(joe,_))]).
/*~
%~ debugm( baseKB,
%~ show_success( baseKB,
%~ baseKB : ain( clif( subtest( [ subtest_assert( tAnimal(joe)),
%~ mpred_test( hasOrgan(joe,HasOrgan_Joe4))])))))
=======================================================
subtest('[|]'(subtest_assert(tAnimal(joe)),'[|]'(mpred_test(hasOrgan(joe,'$VAR'('HasOrgan_Joe4'))),[])))
============================================
?- kif_to_boxlog( subtest([subtest_assert(tAnimal(joe)),mpred_test(hasOrgan(joe,HasOrgan_Joe4))]) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ joe isa tAnimal isa subtest_assert joe hasOrgan ?HasOrgan_Joe4 isa mpred_test isa subtest
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(subtest('[|]'(subtest_assert(tAnimal(joe)),'[|]'(mpred_test(hasOrgan(joe,'$VAR'('HasOrgan_Joe4'))),[]))))
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc(subtest([subtest_assert(tAnimal(joe)),mpred_test(hasOrgan(joe,HasOrgan_Joe4))])).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that joe isa tAnimal isa subtest_assert joe hasOrgan ?HasOrgan_Joe4 isa mpred_test isa subtest
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc( subtest( [ subtest_assert( tAnimal(joe)),
mpred_test( hasOrgan(joe,HasOrgan_Joe4))])).
============================================
~*/
subtest([subtest_assert(tHeart(_)),
mpred_test(~hasOrgan(jack,_))]).
/*~
%~ debugm( baseKB,
%~ show_success( baseKB,
%~ baseKB : ain( clif( subtest( [ subtest_assert( tHeart(Heart7)),
%~ mpred_test( ~( hasOrgan(jack,HasOrgan_Jack5)))])))))
=======================================================
subtest('[|]'(subtest_assert(tHeart('$VAR'('Heart7'))),'[|]'(mpred_test(~(hasOrgan(jack,'$VAR'('HasOrgan_Jack5')))),[])))
============================================
?- kif_to_boxlog( subtest([subtest_assert(tHeart(Heart7)),mpred_test(~hasOrgan(jack,HasOrgan_Jack5))]) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ ?Heart7 isa tHeart isa subtest_assert jack hasOrgan ?HasOrgan_Jack5 isa ~ isa mpred_test isa subtest
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(subtest('[|]'(subtest_assert(tHeart('$VAR'('Heart7'))),'[|]'(mpred_test(not(hasOrgan(jack,'$VAR'('HasOrgan_Jack5')))),[]))))
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc(subtest([subtest_assert(tHeart(Heart7)),mpred_test(~hasOrgan(jack,HasOrgan_Jack5))])).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that ?Heart7 isa tHeart isa subtest_assert jack hasOrgan ?HasOrgan_Jack5 isa ~ isa mpred_test isa subtest
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc( subtest( [ subtest_assert( tHeart(Heart7)),
mpred_test( ~( hasOrgan(jack,HasOrgan_Jack5)))])).
============================================
~*/
add_test(Name,Assert):-
test_boxlog(Assert),
assert(( Name:- cls,test_assert(Assert))).
/*~
%~ message_hook_type(error)
%~ message_hook(
%~ error(
%~ permission_error(modify,static_procedure,common_logic_sanity:add_test/2),
%~ context(system:assertz/1,Context_Kw)),
%~ error,
%~ [ '~q/~w: '-[assertz,1],
%~ 'No permission to ~w static procedure `~p\'' - [ modify,
%~ common_logic_sanity : add_test/2],
%~ nl,
%~ '~w at ~w:~d'-['Defined','/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/prolog/logicmoo/common_logic/common_logic_sanity.pl',271]])
assertz/1: No permission to modify static procedure `common_logic_sanity:(add_test/2)'
Defined at /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/prolog/logicmoo/common_logic/common_logic_sanity.pl:271
ERROR: assertz/1: No permission to modify static procedure `common_logic_sanity:(add_test/2)'
ERROR: Defined at /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/prolog/logicmoo/common_logic/common_logic_sanity.pl:271
%~ message_hook_type(warning)
%~ message_hook(
%~ goal_failed( directive,
%~ baseKB : add_test(Name,Assert) :-
%~ test_boxlog(Assert) ,
%~ assert( Name :-
%~ cls ,
%~ test_assert(Assert))),
%~ warning,
%~ [ 'Goal (~w) failed: ~p' - [ directive,
%~ baseKB : add_test(Name,Assert) :-
%~ test_boxlog(Assert) ,
%~ assert( Name :-
%~ cls ,
%~ test_assert(Assert))]])
Goal (directive) failed: baseKB:must_kif_process((add_test(_526,_530):-test_boxlog(_530),assert((_526:-cls,test_assert(_530)))))
Warning: Goal (directive) failed: baseKB:must_kif_process((add_test(_526,_530):-test_boxlog(_530),assert((_526:-cls,test_assert(_530)))))
~*/
test_assert(A):-
kif_assert(A),
nop(forall(subtest(T),do_subtest(T))).
/*~
%~ message_hook_type(error)
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_exists_02.pfc.pl:33
%~ message_hook(
%~ error(
%~ permission_error(modify,static_procedure,common_logic_sanity:test_assert/1),
%~ context(system:assertz/1,Context_Kw)),
%~ error,
%~ [ '~q/~w: '-[assertz,1],
%~ 'No permission to ~w static procedure `~p\'' - [ modify,
%~ common_logic_sanity : test_assert/1],
%~ nl,
%~ '~w at ~w:~d'-['Defined','/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/prolog/logicmoo/common_logic/common_logic_sanity.pl',263]])
assertz/1: No permission to modify static procedure `common_logic_sanity:(test_assert/1)'
Defined at /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/prolog/logicmoo/common_logic/common_logic_sanity.pl:263
ERROR: assertz/1: No permission to modify static procedure `common_logic_sanity:(test_assert/1)'
ERROR: Defined at /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/prolog/logicmoo/common_logic/common_logic_sanity.pl:263
%~ message_hook_type(warning)
%~ message_hook(
%~ goal_failed( directive,
%~ baseKB : test_assert(A) :-
%~ kif_assert(A) ,
%~ nop( forall(subtest(T),do_subtest(T)))),
%~ warning,
%~ [ 'Goal (~w) failed: ~p' - [ directive,
%~ baseKB : test_assert(A) :-
%~ kif_assert(A) ,
%~ nop( forall(subtest(T),do_subtest(T)))]])
Goal (directive) failed: baseKB:must_kif_process((test_assert(_518):-kif_assert(_518),nop(forall(subtest(_522),do_subtest(_522)))))
Warning: Goal (directive) failed: baseKB:must_kif_process((test_assert(_518):-kif_assert(_518),nop(forall(subtest(_522),do_subtest(_522)))))
~*/
do_subtest(List):- must_maplist(call,List).
/*~
~*/
:- add_test(t121, (all([[Human,tAnimal]],exists([[Heart,tHeart]],hasOrgan(Human,Heart))))).
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_exists_02.pfc.pl:39
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
%~ test_boxlog(t121)
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
%~ kif_to_boxlog_attvars2 = forall('$VAR'('Human'),necessary(=>(isa('$VAR'('Human'),tAnimal),exists('$VAR'('Heart'),and(hasOrgan('$VAR'('Human'),'$VAR'('Heart')),isa('$VAR'('Heart'),tHeart))))))
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?Human hasOrgan ?Heart " is possibly false and
%~ " ?Heart isa tHeart " is necessarily true
%~ It's Proof that:
%~ " ?Human isa tAnimal " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( poss(~hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart)) ==>
poss( ~( isa(Human,tAnimal)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ (" ?Human hasOrgan ?Heart " is possibly false and
%~ " ?Human isa tAnimal " is necessarily true ) and
%~ by default ?Heart nesc(hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart))
%~ It's Proof that:
%~ " ?Heart isa tHeart " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( poss( ~( hasOrgan(Human,Heart))) &
nesc( isa(Human,tAnimal)) &
'$existential'( Heart,
1,
nesc(hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart)))) ==>
poss( ~( isa(Heart,tHeart)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ by default ?Heart nesc(hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart)) and
%~ (" ?Human isa tAnimal " is necessarily true and
%~ " ?Heart isa tHeart " is necessarily true )
%~ It's Proof that:
%~ " ?Human hasOrgan ?Heart " is necessarily true
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( '$existential'(Heart,1,nesc(hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart))) &
nesc( isa(Human,tAnimal)) &
nesc( isa(Heart,tHeart))) ==>
nesc( hasOrgan(Human,Heart))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?Human hasOrgan ?Heart " is necessarily true and
%~ " ?Heart isa tHeart " is possibly false
%~ It's Proof that:
%~ " ?Human isa tAnimal " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( nesc(hasOrgan(Human,Heart))&poss(~isa(Heart,tHeart)) ==>
poss( ~( isa(Human,tAnimal)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ by default ?Heart nesc(hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart)) and
%~ (" ?Human isa tAnimal " is necessarily true and
%~ " ?Heart isa tHeart " is possibly false )
%~ It's Proof that:
%~ " ?Human hasOrgan ?Heart " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( '$existential'(Heart,1,nesc(hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart))) &
nesc( isa(Human,tAnimal)) &
poss( ~( isa(Heart,tHeart)))) ==>
poss( ~( hasOrgan(Human,Heart)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ (" ?Human hasOrgan ?Heart " is necessarily true and
%~ " ?Human isa tAnimal " is necessarily true ) and
%~ by default ?Heart nesc(hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart))
%~ It's Proof that:
%~ " ?Heart isa tHeart " is necessarily true
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( nesc( hasOrgan(Human,Heart)) &
nesc( isa(Human,tAnimal)) &
'$existential'( Heart,
1,
nesc(hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart)))) ==>
nesc( isa(Heart,tHeart))).
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
%~ completed_test_boxlog(t121)
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
~*/
:- add_test(t122,
(isa(Human,tAnimal)=>all(Human,exists([[Heart,tHeart]],hasOrgan(Human,Heart))))).
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_exists_02.pfc.pl:42
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
%~ test_boxlog(t122)
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
%~ kif_to_boxlog_attvars2 = necessary(=>(isa('$VAR'('Human'),tAnimal),forall('$VAR'('Human'),exists('$VAR'('Heart'),and(hasOrgan('$VAR'('Human'),'$VAR'('Heart')),isa('$VAR'('Heart'),tHeart))))))
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?Human hasOrgan ?Heart " is possibly false and
%~ " ?Heart isa tHeart " is necessarily true
%~ It's Proof that:
%~ " ?Human isa tAnimal " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( poss(~hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart)) ==>
poss( ~( isa(Human,tAnimal)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ (" ?Human hasOrgan ?Heart " is possibly false and
%~ " ?Human isa tAnimal " is necessarily true ) and
%~ by default ?Heart nesc(hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart))
%~ It's Proof that:
%~ " ?Heart isa tHeart " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( poss( ~( hasOrgan(Human,Heart))) &
nesc( isa(Human,tAnimal)) &
'$existential'( Heart,
1,
nesc(hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart)))) ==>
poss( ~( isa(Heart,tHeart)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ by default ?Heart nesc(hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart)) and
%~ (" ?Human isa tAnimal " is necessarily true and
%~ " ?Heart isa tHeart " is necessarily true )
%~ It's Proof that:
%~ " ?Human hasOrgan ?Heart " is necessarily true
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( '$existential'(Heart,1,nesc(hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart))) &
nesc( isa(Human,tAnimal)) &
nesc( isa(Heart,tHeart))) ==>
nesc( hasOrgan(Human,Heart))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?Human hasOrgan ?Heart " is necessarily true and
%~ " ?Heart isa tHeart " is possibly false
%~ It's Proof that:
%~ " ?Human isa tAnimal " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( nesc(hasOrgan(Human,Heart))&poss(~isa(Heart,tHeart)) ==>
poss( ~( isa(Human,tAnimal)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ by default ?Heart nesc(hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart)) and
%~ (" ?Human isa tAnimal " is necessarily true and
%~ " ?Heart isa tHeart " is possibly false )
%~ It's Proof that:
%~ " ?Human hasOrgan ?Heart " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( '$existential'(Heart,1,nesc(hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart))) &
nesc( isa(Human,tAnimal)) &
poss( ~( isa(Heart,tHeart)))) ==>
poss( ~( hasOrgan(Human,Heart)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ (" ?Human hasOrgan ?Heart " is necessarily true and
%~ " ?Human isa tAnimal " is necessarily true ) and
%~ by default ?Heart nesc(hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart))
%~ It's Proof that:
%~ " ?Heart isa tHeart " is necessarily true
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( nesc( hasOrgan(Human,Heart)) &
nesc( isa(Human,tAnimal)) &
'$existential'( Heart,
1,
nesc(hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart)))) ==>
nesc( isa(Heart,tHeart))).
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
%~ completed_test_boxlog(t122)
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
~*/
:- add_test(t123,
(isa(Human,tAnimal)=>all(Human,(isa(Heart,tHeart)=>exists(Heart,hasOrgan(Human,Heart)))))).
/*~
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_exists_02.pfc.pl:45
%~ test_boxlog(t123)
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
%~ kif_to_boxlog_attvars2 = necessary(=>(isa('$VAR'('Human'),tAnimal),forall('$VAR'('Human'),=>(isa('$VAR'('Heart'),tHeart),exists('$VAR'('Heart'),hasOrgan('$VAR'('Human'),'$VAR'('Heart')))))))
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?Human hasOrgan ?Heart " is possibly false and
%~ " ?Heart isa tHeart " is necessarily true
%~ It's Proof that:
%~ " ?Human isa tAnimal " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( poss(~hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart)) ==>
poss( ~( isa(Human,tAnimal)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ (" ?Human hasOrgan ?Heart " is possibly false and
%~ " ?Human isa tAnimal " is necessarily true ) and
%~ by default ?Heart nesc(hasOrgan(Human,Heart))
%~ It's Proof that:
%~ " ?Heart isa tHeart " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( poss( ~( hasOrgan(Human,Heart))) &
nesc( isa(Human,tAnimal)) &
'$existential'(Heart,1,nesc(hasOrgan(Human,Heart)))) ==>
poss( ~( isa(Heart,tHeart)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ by default ?Heart nesc(hasOrgan(Human,Heart)) and
%~ (" ?Human isa tAnimal " is necessarily true and
%~ " ?Heart isa tHeart " is necessarily true )
%~ It's Proof that:
%~ " ?Human hasOrgan ?Heart " is necessarily true
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( '$existential'(Heart,1,nesc(hasOrgan(Human,Heart))) &
nesc( isa(Human,tAnimal)) &
nesc( isa(Heart,tHeart))) ==>
nesc( hasOrgan(Human,Heart))).
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
%~ completed_test_boxlog(t123)
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
~*/
:- add_test(t124,
(all(Human,exists(Heart,isa(Human,tAnimal)
=> (isa(Heart,tHeart)
& hasOrgan(Human,Heart)))))).
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_exists_02.pfc.pl:50
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
%~ test_boxlog(t124)
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
%~ kif_to_boxlog_attvars2 = forall('$VAR'('Human'),exists('$VAR'('Heart'),necessary(=>(isa('$VAR'('Human'),tAnimal),and(isa('$VAR'('Heart'),tHeart),hasOrgan('$VAR'('Human'),'$VAR'('Heart')))))))
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?Human hasOrgan ?Heart " is necessarily true and
%~ " ?Heart isa tHeart " is possibly false
%~ It's Proof that:
%~ " ?Human isa tAnimal " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( nesc(hasOrgan(Human,Heart))&poss(~isa(Heart,tHeart)) ==>
poss( ~( isa(Human,tAnimal)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ by default ?Heart nesc(isa(Human,tAnimal))=>(nesc(isa(Heart,tHeart))&nesc(hasOrgan(Human,Heart))) and
%~ (" ?Human isa tAnimal " is necessarily true and
%~ " ?Heart isa tHeart " is possibly false )
%~ It's Proof that:
%~ " ?Human hasOrgan ?Heart " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( '$existential'( Heart,
1,
=>(
nesc( isa(Human,tAnimal)),
nesc(isa(Heart,tHeart))&nesc(hasOrgan(Human,Heart)))) &
nesc( isa(Human,tAnimal)) &
poss( ~( isa(Heart,tHeart)))) ==>
poss( ~( hasOrgan(Human,Heart)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ (" ?Human hasOrgan ?Heart " is necessarily true and
%~ " ?Human isa tAnimal " is necessarily true ) and
%~ by default ?Heart nesc(isa(Human,tAnimal))=>(nesc(isa(Heart,tHeart))&nesc(hasOrgan(Human,Heart)))
%~ It's Proof that:
%~ " ?Heart isa tHeart " is necessarily true
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( nesc( hasOrgan(Human,Heart)) &
nesc( isa(Human,tAnimal)) &
'$existential'( Heart,
1,
=>(
nesc( isa(Human,tAnimal)),
nesc(isa(Heart,tHeart))&nesc(hasOrgan(Human,Heart))))) ==>
nesc( isa(Heart,tHeart))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?Human hasOrgan ?Heart " is possibly false and
%~ " ?Heart isa tHeart " is necessarily true
%~ It's Proof that:
%~ " ?Human isa tAnimal " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( poss(~hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart)) ==>
poss( ~( isa(Human,tAnimal)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ (" ?Human hasOrgan ?Heart " is possibly false and
%~ " ?Human isa tAnimal " is necessarily true ) and
%~ by default ?Heart nesc(isa(Human,tAnimal))=>(nesc(isa(Heart,tHeart))&nesc(hasOrgan(Human,Heart)))
%~ It's Proof that:
%~ " ?Heart isa tHeart " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( poss( ~( hasOrgan(Human,Heart))) &
nesc( isa(Human,tAnimal)) &
'$existential'( Heart,
1,
=>(
nesc( isa(Human,tAnimal)),
nesc(isa(Heart,tHeart))&nesc(hasOrgan(Human,Heart))))) ==>
poss( ~( isa(Heart,tHeart)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ by default ?Heart nesc(isa(Human,tAnimal))=>(nesc(isa(Heart,tHeart))&nesc(hasOrgan(Human,Heart))) and
%~ (" ?Human isa tAnimal " is necessarily true and
%~ " ?Heart isa tHeart " is necessarily true )
%~ It's Proof that:
%~ " ?Human hasOrgan ?Heart " is necessarily true
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( '$existential'( Heart,
1,
=>(
nesc( isa(Human,tAnimal)),
nesc(isa(Heart,tHeart))&nesc(hasOrgan(Human,Heart)))) &
nesc( isa(Human,tAnimal)) &
nesc( isa(Heart,tHeart))) ==>
nesc( hasOrgan(Human,Heart))).
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
%~ completed_test_boxlog(t124)
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
~*/
:- add_test(t125,
(all(Human,isa(Human,tAnimal) => exists(Heart, (isa(Heart,tHeart) => hasOrgan(Human,Heart)))))).
/*~
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
%~ test_boxlog(t125)
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
%~ kif_to_boxlog_attvars2 = forall('$VAR'('Human'),necessary(=>(isa('$VAR'('Human'),tAnimal),exists('$VAR'('Heart'),=>(isa('$VAR'('Heart'),tHeart),hasOrgan('$VAR'('Human'),'$VAR'('Heart')))))))
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?Human hasOrgan ?Heart " is possibly false and
%~ " ?Heart isa tHeart " is necessarily true
%~ It's Proof that:
%~ " ?Human isa tAnimal " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( poss(~hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart)) ==>
poss( ~( isa(Human,tAnimal)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ (" ?Human hasOrgan ?Heart " is possibly false and
%~ " ?Human isa tAnimal " is necessarily true ) and
%~ by default ?Heart nesc(isa(Heart,tHeart))=>nesc(hasOrgan(Human,Heart))
%~ It's Proof that:
%~ " ?Heart isa tHeart " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( poss( ~( hasOrgan(Human,Heart))) &
nesc( isa(Human,tAnimal)) &
'$existential'( Heart,
1,
nesc(isa(Heart,tHeart))=>nesc(hasOrgan(Human,Heart)))) ==>
poss( ~( isa(Heart,tHeart)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ by default ?Heart nesc(isa(Heart,tHeart))=>nesc(hasOrgan(Human,Heart)) and
%~ (" ?Human isa tAnimal " is necessarily true and
%~ " ?Heart isa tHeart " is necessarily true )
%~ It's Proof that:
%~ " ?Human hasOrgan ?Heart " is necessarily true
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( '$existential'(Heart,1,nesc(isa(Heart,tHeart))=>nesc(hasOrgan(Human,Heart))) &
nesc( isa(Human,tAnimal)) &
nesc( isa(Heart,tHeart))) ==>
nesc( hasOrgan(Human,Heart))).
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
%~ completed_test_boxlog(t125)
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
~*/
:- expects_dialect(pfc).
/*~
~*/
:- t121.
/*~
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
%~ running_test(t121)
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
%~ kif_to_boxlog_attvars2 = forall('$VAR'('Human'),necessary(=>(isa('$VAR'('Human'),tAnimal),exists('$VAR'('Heart'),and(hasOrgan('$VAR'('Human'),'$VAR'('Heart')),isa('$VAR'('Heart'),tHeart))))))
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?Human hasOrgan ?Heart " is possibly false and
%~ " ?Heart isa tHeart " is necessarily true
%~ It's Proof that:
%~ " ?Human isa tAnimal " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( poss(~hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart)) ==>
poss( ~( isa(Human,tAnimal)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ (" ?Human hasOrgan ?Heart " is possibly false and
%~ " ?Human isa tAnimal " is necessarily true ) and
%~ by default ?Heart nesc(hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart))
%~ It's Proof that:
%~ " ?Heart isa tHeart " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( poss( ~( hasOrgan(Human,Heart))) &
nesc( isa(Human,tAnimal)) &
'$existential'( Heart,
1,
nesc(hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart)))) ==>
poss( ~( isa(Heart,tHeart)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ by default ?Heart nesc(hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart)) and
%~ (" ?Human isa tAnimal " is necessarily true and
%~ " ?Heart isa tHeart " is necessarily true )
%~ It's Proof that:
%~ " ?Human hasOrgan ?Heart " is necessarily true
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( '$existential'(Heart,1,nesc(hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart))) &
nesc( isa(Human,tAnimal)) &
nesc( isa(Heart,tHeart))) ==>
nesc( hasOrgan(Human,Heart))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?Human hasOrgan ?Heart " is necessarily true and
%~ " ?Heart isa tHeart " is possibly false
%~ It's Proof that:
%~ " ?Human isa tAnimal " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( nesc(hasOrgan(Human,Heart))&poss(~isa(Heart,tHeart)) ==>
poss( ~( isa(Human,tAnimal)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ by default ?Heart nesc(hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart)) and
%~ (" ?Human isa tAnimal " is necessarily true and
%~ " ?Heart isa tHeart " is possibly false )
%~ It's Proof that:
%~ " ?Human hasOrgan ?Heart " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( '$existential'(Heart,1,nesc(hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart))) &
nesc( isa(Human,tAnimal)) &
poss( ~( isa(Heart,tHeart)))) ==>
poss( ~( hasOrgan(Human,Heart)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ (" ?Human hasOrgan ?Heart " is necessarily true and
%~ " ?Human isa tAnimal " is necessarily true ) and
%~ by default ?Heart nesc(hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart))
%~ It's Proof that:
%~ " ?Heart isa tHeart " is necessarily true
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( nesc( hasOrgan(Human,Heart)) &
nesc( isa(Human,tAnimal)) &
'$existential'( Heart,
1,
nesc(hasOrgan(Human,Heart))&nesc(isa(Heart,tHeart)))) ==>
nesc( isa(Heart,tHeart))).
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
%~ completed_running_test(t121)
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
~*/
:- mpred_test(\+ tHeart(_)).
%:- mpred_test(\+ needs(_)).
/*~
%~ ?-( mpred_test("Test_0001_Line_0000__naf_tHeart_1",baseKB:(\+tHeart(Heart)))).
%~ make_dynamic_here(baseKB,tHeart(_41458))
passed=info(why_was_true(baseKB:(\+tHeart(_41458))))
no_proof_for(\+tHeart(Heart1)).
no_proof_for(\+tHeart(Heart1)).
no_proof_for(\+tHeart(Heart1)).
name = 'logicmoo.base.examples.fol.SANITY_EXISTS_02-Test_0001_Line_0000__naf_tHeart_1'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.SANITY_EXISTS_02'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'sanity_exists_02.pfc.pl\']"'.
% saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-base-examples-fol-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_base_examples_fol_SANITY_EXISTS_02_Test_0001_Line_0000_naf_tHeart_1-junit.xml
~*/
%:- mpred_test(\+ needs(_)).
tAnimal(iBob).
%:- mpred_test(needs(_)).
/*~
~*/
%:- mpred_test(needs(_)).
:- mpred_test(tHeart(_)).
/*~
%~ ?-( mpred_test("Test_0002_Line_0000__tHeart_1",baseKB:tHeart(Heart))).
failure=info((why_was_true(baseKB:(\+tHeart(_322574))),nop(ftrace(baseKB:tHeart(_322574)))))
no_proof_for(\+tHeart(Heart1)).
no_proof_for(\+tHeart(Heart1)).
no_proof_for(\+tHeart(Heart1)).
name = 'logicmoo.base.examples.fol.SANITY_EXISTS_02-Test_0002_Line_0000__tHeart_1'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.SANITY_EXISTS_02'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'sanity_exists_02.pfc.pl\']"'.
% saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-base-examples-fol-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_base_examples_fol_SANITY_EXISTS_02_Test_0002_Line_0000_tHeart_1-junit.xml
~*/
hasOrgan(iBob,iBobsHeart).
/*~
~*/
tHeart(iBobsHeart).
/*~
~*/
:- listing(hasOrgan/2).
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_exists_02.pfc.pl:71
%~ skipped( listing( hasOrgan/2))
~*/
%~ unused(no_junit_results)
logicmoo.base.examples.fol.SANITY_EXISTS_02 JUnit error = assertz/1: No permission to modify static procedure `common_logic_sanity:(add_test/2)'
Defined at /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/prolog/logicmoo/common_logic/common_logic_sanity.pl:271
logicmoo.base.examples.fol.SANITY_EXISTS_02 JUnit warning = Goal (directive) failed: baseKB:must_kif_process((add_test(_526,_530):-test_boxlog(_530),assert((_526:-cls,test_assert(_530)))))
logicmoo.base.examples.fol.SANITY_EXISTS_02 JUnit error = assertz/1: No permission to modify static procedure `common_logic_sanity:(test_assert/1)'
Defined at /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/prolog/logicmoo/common_logic/common_logic_sanity.pl:263
logicmoo.base.examples.fol.SANITY_EXISTS_02 JUnit warning = Goal (directive) failed: baseKB:must_kif_process((test_assert(_518):-kif_assert(_518),nop(forall(subtest(_522),do_subtest(_522)))))
Test_0001_Line_0000__naf_tHeart_1 result = passed.
Test_0002_Line_0000__tHeart_1 result = failure.
%~ test_completed_exit(56)
totalTime=4.000
FAILED: /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-junit-minor -k sanity_exists_02.pfc.pl (returned 56) Add_LABELS='Errors,Warnings' Rem_LABELS='Skipped,Overtime,Skipped'
