*** Yes

*** Yes

*** Yes

*** Yes
Fri Feb 17 22:16:11 CST 2017

*** Yes
> 
*** Yes
> 
> write_time(Ignore)?
0
*** Yes
Ignore = @.
--1> 

*** No
> 
> 
> remark(5001, Remark)?

*** Yes
Remark = 'Test Set 5 - about belief understanding and belief about belief.'.
--1> 

*** No
> remark(5002, Remark)?

*** Yes
Remark = 'I have not checked this out thorougly - other things were prerequisites.'.

--1> 

*** No
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> believes_internal_about_understands_internal_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, 0, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2)?

*** Yes
A_Internal_Symbol_1 = quine_cicero_int, 
A_Internal_Symbol_2 = tom_cicero_int, 
A_Object = cicero, 
Arity = 2, 
B_Internal_Symbol_1 = quine_cicero_int, 
B_Internal_Symbol_2 = tom_cicero_int, 
B_Object = cicero, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** Yes
A_Internal_Symbol_1 = quine_cicero_int, 
A_Internal_Symbol_2 = tom_cicero_int, 
A_Object = cicero, 
Arity = 2, 
B_Internal_Symbol_1 = quine_cataline_int, 
B_Internal_Symbol_2 = tom_cataline_int, 
B_Object = cataline, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** Yes
A_Internal_Symbol_1 = quine_cataline_int, 
A_Internal_Symbol_2 = tom_cataline_int, 
A_Object = cataline, 
Arity = 2, 
B_Internal_Symbol_1 = quine_cicero_int, 
B_Internal_Symbol_2 = tom_cicero_int, 
B_Object = cicero, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** Yes
A_Internal_Symbol_1 = quine_cataline_int, 
A_Internal_Symbol_2 = tom_cataline_int, 
A_Object = cataline, 
Arity = 2, 
B_Internal_Symbol_1 = quine_cataline_int, 
B_Internal_Symbol_2 = tom_cataline_int, 
B_Object = cataline, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** No
> 
> believes_internal_about_understands_internal_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, 1, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2)?

*** No
> ;
> 
> believes_internal_about_understands_internal_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, 2, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2)?

*** No
> ;
> 
> believes_internal_about_understands_internal_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, 3, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2)?

*** No
> ;
> 
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> 
> believes_internal_about_understands_external_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, 0, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2, External_Relation_Symbol_2, A_External_Symbol_2, B_External_Symbol_2, C_External_Symbol_2)?

*** Yes
A_External_Symbol_2 = tom_cicero_ext, 
A_Internal_Symbol_1 = quine_cicero_int, 
A_Internal_Symbol_2 = tom_cicero_int, 
A_Object = cicero, 
Arity = 2, 
B_External_Symbol_2 = tom_cicero_ext, 
B_Internal_Symbol_1 = quine_cicero_int, 
B_Internal_Symbol_2 = tom_cicero_int, 
B_Object = cicero, 
C_External_Symbol_2 = nop, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
External_Relation_Symbol_2 = tom_denounced_ext, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** Yes
A_External_Symbol_2 = tom_cicero_ext, 
A_Internal_Symbol_1 = quine_cicero_int, 
A_Internal_Symbol_2 = tom_cicero_int, 
A_Object = cicero, 
Arity = 2, 
B_External_Symbol_2 = tom_cicero_ext, 
B_Internal_Symbol_1 = quine_tully_int, 
B_Internal_Symbol_2 = tom_cicero_int, 
B_Object = cicero, 
C_External_Symbol_2 = nop, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
External_Relation_Symbol_2 = tom_denounced_ext, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** Yes
A_External_Symbol_2 = tom_cicero_ext, 
A_Internal_Symbol_1 = quine_tully_int, 
A_Internal_Symbol_2 = tom_cicero_int, 
A_Object = cicero, 
Arity = 2, 
B_External_Symbol_2 = tom_cicero_ext, 
B_Internal_Symbol_1 = quine_cicero_int, 
B_Internal_Symbol_2 = tom_cicero_int, 
B_Object = cicero, 
C_External_Symbol_2 = nop, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
External_Relation_Symbol_2 = tom_denounced_ext, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** Yes
A_External_Symbol_2 = tom_cicero_ext, 
A_Internal_Symbol_1 = quine_tully_int, 
A_Internal_Symbol_2 = tom_cicero_int, 
A_Object = cicero, 
Arity = 2, 
B_External_Symbol_2 = tom_cicero_ext, 
B_Internal_Symbol_1 = quine_tully_int, 
B_Internal_Symbol_2 = tom_cicero_int, 
B_Object = cicero, 
C_External_Symbol_2 = nop, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
External_Relation_Symbol_2 = tom_denounced_ext, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** Yes
A_External_Symbol_2 = tom_cicero_ext, 
A_Internal_Symbol_1 = quine_cicero_int, 
A_Internal_Symbol_2 = tom_cicero_int, 
A_Object = cicero, 
Arity = 2, 
B_External_Symbol_2 = tom_cicero_ext, 
B_Internal_Symbol_1 = quine_cicero_int, 
B_Internal_Symbol_2 = tom_tully_int, 
B_Object = cicero, 
C_External_Symbol_2 = nop, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
External_Relation_Symbol_2 = tom_denounced_ext, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> 

*** No
> 
> believes_internal_about_understands_external_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, 1, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2, External_Relation_Symbol_2, A_External_Symbol_2, B_External_Symbol_2, C_External_Symbol_2)?

*** No
> ;
> 
> 
> believes_internal_about_understands_external_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, 2, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2, External_Relation_Symbol_2, A_External_Symbol_2, B_External_Symbol_2, C_External_Symbol_2)?

*** No
> ;
> 
> 
> believes_internal_about_understands_external_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, 3, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2, External_Relation_Symbol_2, A_External_Symbol_2, B_External_Symbol_2, C_External_Symbol_2)?

*** No
> ;
> 
> 
> 
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> 
> believes_external_about_understands_external_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, 0, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2, External_Relation_Symbol_1, A_External_Symbol_1, B_External_Symbol_1, C_External_Symbol_1, External_Relation_Symbol_2, A_External_Symbol_2, B_External_Symbol_2, C_External_Symbol_2)?

*** Yes
A_External_Symbol_1 = cicero_ext, 
A_External_Symbol_2 = tom_cicero_ext, 
A_Internal_Symbol_1 = quine_cicero_int, 
A_Internal_Symbol_2 = tom_cicero_int, 
A_Object = cicero, 
Arity = 2, 
B_External_Symbol_1 = cicero_ext, 
B_External_Symbol_2 = tom_cicero_ext, 
B_Internal_Symbol_1 = quine_cicero_int, 
B_Internal_Symbol_2 = tom_cicero_int, 
B_Object = cicero, 
C_External_Symbol_1 = nop, 
C_External_Symbol_2 = nop, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
External_Relation_Symbol_1 = denounced_ext, 
External_Relation_Symbol_2 = tom_denounced_ext, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** Yes
A_External_Symbol_1 = cicero_ext, 
A_External_Symbol_2 = tom_cicero_ext, 
A_Internal_Symbol_1 = quine_cicero_int, 
A_Internal_Symbol_2 = tom_cicero_int, 
A_Object = cicero, 
Arity = 2, 
B_External_Symbol_1 = tully_ext, 
B_External_Symbol_2 = tom_cicero_ext, 
B_Internal_Symbol_1 = quine_tully_int, 
B_Internal_Symbol_2 = tom_cicero_int, 
B_Object = cicero, 
C_External_Symbol_1 = nop, 
C_External_Symbol_2 = nop, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
External_Relation_Symbol_1 = denounced_ext, 
External_Relation_Symbol_2 = tom_denounced_ext, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** Yes
A_External_Symbol_1 = tully_ext, 
A_External_Symbol_2 = tom_cicero_ext, 
A_Internal_Symbol_1 = quine_tully_int, 
A_Internal_Symbol_2 = tom_cicero_int, 
A_Object = cicero, 
Arity = 2, 
B_External_Symbol_1 = cicero_ext, 
B_External_Symbol_2 = tom_cicero_ext, 
B_Internal_Symbol_1 = quine_cicero_int, 
B_Internal_Symbol_2 = tom_cicero_int, 
B_Object = cicero, 
C_External_Symbol_1 = nop, 
C_External_Symbol_2 = nop, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
External_Relation_Symbol_1 = denounced_ext, 
External_Relation_Symbol_2 = tom_denounced_ext, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** Yes
A_External_Symbol_1 = tully_ext, 
A_External_Symbol_2 = tom_cicero_ext, 
A_Internal_Symbol_1 = quine_tully_int, 
A_Internal_Symbol_2 = tom_cicero_int, 
A_Object = cicero, 
Arity = 2, 
B_External_Symbol_1 = tully_ext, 
B_External_Symbol_2 = tom_cicero_ext, 
B_Internal_Symbol_1 = quine_tully_int, 
B_Internal_Symbol_2 = tom_cicero_int, 
B_Object = cicero, 
C_External_Symbol_1 = nop, 
C_External_Symbol_2 = nop, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
External_Relation_Symbol_1 = denounced_ext, 
External_Relation_Symbol_2 = tom_denounced_ext, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** Yes
A_External_Symbol_1 = cicero_ext, 
A_External_Symbol_2 = tom_cicero_ext, 
A_Internal_Symbol_1 = quine_cicero_int, 
A_Internal_Symbol_2 = tom_cicero_int, 
A_Object = cicero, 
Arity = 2, 
B_External_Symbol_1 = cicero_ext, 
B_External_Symbol_2 = tom_cicero_ext, 
B_Internal_Symbol_1 = quine_cicero_int, 
B_Internal_Symbol_2 = tom_tully_int, 
B_Object = cicero, 
C_External_Symbol_1 = nop, 
C_External_Symbol_2 = nop, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
External_Relation_Symbol_1 = denounced_ext, 
External_Relation_Symbol_2 = tom_denounced_ext, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> 

*** No
> 
> believes_external_about_understands_external_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, 1, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2, External_Relation_Symbol_1, A_External_Symbol_1, B_External_Symbol_1, C_External_Symbol_1, External_Relation_Symbol_2, A_External_Symbol_2, B_External_Symbol_2, C_External_Symbol_2)?

*** No
> ;
> 
> believes_external_about_understands_external_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, 2, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2, External_Relation_Symbol_1, A_External_Symbol_1, B_External_Symbol_1, C_External_Symbol_1, External_Relation_Symbol_2, A_External_Symbol_2, B_External_Symbol_2, C_External_Symbol_2)?

*** No
> ;
> 
> believes_external_about_understands_external_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, 3, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2, External_Relation_Symbol_1, A_External_Symbol_1, B_External_Symbol_1, C_External_Symbol_1, External_Relation_Symbol_2, A_External_Symbol_2, B_External_Symbol_2, C_External_Symbol_2)?

*** No
> ;
> 
> 
> 
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> believes_external_about_understands_internal_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, 0, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2, External_Relation_Symbol_1, A_External_Symbol_1, B_External_Symbol_1, C_External_Symbol_1)?

*** Yes
A_External_Symbol_1 = cicero_ext, 
A_Internal_Symbol_1 = quine_cicero_int, 
A_Internal_Symbol_2 = tom_cicero_int, 
A_Object = cicero, 
Arity = 2, 
B_External_Symbol_1 = cicero_ext, 
B_Internal_Symbol_1 = quine_cicero_int, 
B_Internal_Symbol_2 = tom_cicero_int, 
B_Object = cicero, 
C_External_Symbol_1 = nop, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
External_Relation_Symbol_1 = denounced_ext, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** Yes
A_External_Symbol_1 = cicero_ext, 
A_Internal_Symbol_1 = quine_cicero_int, 
A_Internal_Symbol_2 = tom_cicero_int, 
A_Object = cicero, 
Arity = 2, 
B_External_Symbol_1 = cataline_ext, 
B_Internal_Symbol_1 = quine_cataline_int, 
B_Internal_Symbol_2 = tom_cataline_int, 
B_Object = cataline, 
C_External_Symbol_1 = nop, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
External_Relation_Symbol_1 = denounced_ext, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** Yes
A_External_Symbol_1 = cataline_ext, 
A_Internal_Symbol_1 = quine_cataline_int, 
A_Internal_Symbol_2 = tom_cataline_int, 
A_Object = cataline, 
Arity = 2, 
B_External_Symbol_1 = cicero_ext, 
B_Internal_Symbol_1 = quine_cicero_int, 
B_Internal_Symbol_2 = tom_cicero_int, 
B_Object = cicero, 
C_External_Symbol_1 = nop, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
External_Relation_Symbol_1 = denounced_ext, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** Yes
A_External_Symbol_1 = cataline_ext, 
A_Internal_Symbol_1 = quine_cataline_int, 
A_Internal_Symbol_2 = tom_cataline_int, 
A_Object = cataline, 
Arity = 2, 
B_External_Symbol_1 = cataline_ext, 
B_Internal_Symbol_1 = quine_cataline_int, 
B_Internal_Symbol_2 = tom_cataline_int, 
B_Object = cataline, 
C_External_Symbol_1 = nop, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
External_Relation_Symbol_1 = denounced_ext, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** No
> 
> believes_external_about_understands_internal_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, 1, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2, External_Relation_Symbol_1, A_External_Symbol_1, B_External_Symbol_1, C_External_Symbol_1)?

*** No
> ;
> 
> believes_external_about_understands_internal_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, 2, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2, External_Relation_Symbol_1, A_External_Symbol_1, B_External_Symbol_1, C_External_Symbol_1)?

*** No
> ;
> 
> believes_external_about_understands_internal_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, 3, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2, External_Relation_Symbol_1, A_External_Symbol_1, B_External_Symbol_1, C_External_Symbol_1)?

*** No
> ;
> 
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> 
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> believes_internal_about_believes_internal_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, Logical_Form_2, 0, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2)?

*** Yes
A_Internal_Symbol_1 = quine_cicero_int, 
A_Internal_Symbol_2 = tom_cicero_int, 
A_Object = cicero, 
Arity = 2, 
B_Internal_Symbol_1 = quine_cataline_int, 
B_Internal_Symbol_2 = tom_cataline_int, 
B_Object = cataline, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Logical_Form_2 = pos_pos, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** No
> ;
> 
> believes_internal_about_believes_internal_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, Logical_Form_2, 1, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2)?

*** No
> ;
> 
> believes_internal_about_believes_internal_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, Logical_Form_2, 2, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2)?

*** No
> ;
> 
> believes_internal_about_believes_internal_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, Logical_Form_2, 3, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2)?

*** No
> ;
> 
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> 
> believes_internal_about_believes_external_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, Logical_Form_2, 0, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2, External_Relation_Symbol_2, A_External_Symbol_2, B_External_Symbol_2, C_External_Symbol_2)?

*** Yes
A_External_Symbol_2 = tom_cicero_ext, 
A_Internal_Symbol_1 = quine_cicero_int, 
A_Internal_Symbol_2 = tom_cicero_int, 
A_Object = cicero, 
Arity = 2, 
B_External_Symbol_2 = tom_cataline_ext, 
B_Internal_Symbol_1 = quine_cataline_int, 
B_Internal_Symbol_2 = tom_cataline_int, 
B_Object = cataline, 
C_External_Symbol_2 = nop, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
External_Relation_Symbol_2 = tom_denounced_ext, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Logical_Form_2 = pos_pos, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** Yes
A_External_Symbol_2 = tom_cicero_ext, 
A_Internal_Symbol_1 = quine_tully_int, 
A_Internal_Symbol_2 = tom_cicero_int, 
A_Object = cicero, 
Arity = 2, 
B_External_Symbol_2 = tom_cataline_ext, 
B_Internal_Symbol_1 = quine_cataline_int, 
B_Internal_Symbol_2 = tom_cataline_int, 
B_Object = cataline, 
C_External_Symbol_2 = nop, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
External_Relation_Symbol_2 = tom_denounced_ext, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Logical_Form_2 = pos_pos, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** Yes
A_External_Symbol_2 = tom_cicero_ext, 
A_Internal_Symbol_1 = quine_cicero_int, 
A_Internal_Symbol_2 = tom_tully_int, 
A_Object = cicero, 
Arity = 2, 
B_External_Symbol_2 = tom_cataline_ext, 
B_Internal_Symbol_1 = quine_cataline_int, 
B_Internal_Symbol_2 = tom_cataline_int, 
B_Object = cataline, 
C_External_Symbol_2 = nop, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
External_Relation_Symbol_2 = tom_denounced_ext, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Logical_Form_2 = pos_neg, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** Yes
A_External_Symbol_2 = tom_cicero_ext, 
A_Internal_Symbol_1 = quine_tully_int, 
A_Internal_Symbol_2 = tom_tully_int, 
A_Object = cicero, 
Arity = 2, 
B_External_Symbol_2 = tom_cataline_ext, 
B_Internal_Symbol_1 = quine_cataline_int, 
B_Internal_Symbol_2 = tom_cataline_int, 
B_Object = cataline, 
C_External_Symbol_2 = nop, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
External_Relation_Symbol_2 = tom_denounced_ext, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Logical_Form_2 = pos_neg, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** No
> 
> 
> believes_internal_about_believes_external_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, Logical_Form_2, 1, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2, External_Relation_Symbol_2, A_External_Symbol_2, B_External_Symbol_2, C_External_Symbol_2)?

*** No
> ;
> 
> 
> believes_internal_about_believes_external_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, Logical_Form_2, 2, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2, External_Relation_Symbol_2, A_External_Symbol_2, B_External_Symbol_2, C_External_Symbol_2)?

*** No
> ;
> 
> 
> believes_internal_about_believes_external_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, Logical_Form_2, 3, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2, External_Relation_Symbol_2, A_External_Symbol_2, B_External_Symbol_2, C_External_Symbol_2)?

*** No
> ;
> 
> 
> 
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> 
> believes_external_about_believes_external_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, Logical_Form_2, 0, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2, External_Relation_Symbol_1, A_External_Symbol_1, B_External_Symbol_1, C_External_Symbol_1, External_Relation_Symbol_2, A_External_Symbol_2, B_External_Symbol_2, C_External_Symbol_2)?

*** Yes
A_External_Symbol_1 = cicero_ext, 
A_External_Symbol_2 = tom_cicero_ext, 
A_Internal_Symbol_1 = quine_cicero_int, 
A_Internal_Symbol_2 = tom_cicero_int, 
A_Object = cicero, 
Arity = 2, 
B_External_Symbol_1 = cataline_ext, 
B_External_Symbol_2 = tom_cataline_ext, 
B_Internal_Symbol_1 = quine_cataline_int, 
B_Internal_Symbol_2 = tom_cataline_int, 
B_Object = cataline, 
C_External_Symbol_1 = nop, 
C_External_Symbol_2 = nop, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
External_Relation_Symbol_1 = denounced_ext, 
External_Relation_Symbol_2 = tom_denounced_ext, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Logical_Form_2 = pos_pos, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** Yes
A_External_Symbol_1 = tully_ext, 
A_External_Symbol_2 = tom_cicero_ext, 
A_Internal_Symbol_1 = quine_tully_int, 
A_Internal_Symbol_2 = tom_cicero_int, 
A_Object = cicero, 
Arity = 2, 
B_External_Symbol_1 = cataline_ext, 
B_External_Symbol_2 = tom_cataline_ext, 
B_Internal_Symbol_1 = quine_cataline_int, 
B_Internal_Symbol_2 = tom_cataline_int, 
B_Object = cataline, 
C_External_Symbol_1 = nop, 
C_External_Symbol_2 = nop, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
External_Relation_Symbol_1 = denounced_ext, 
External_Relation_Symbol_2 = tom_denounced_ext, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Logical_Form_2 = pos_pos, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** Yes
A_External_Symbol_1 = cicero_ext, 
A_External_Symbol_2 = tom_cicero_ext, 
A_Internal_Symbol_1 = quine_cicero_int, 
A_Internal_Symbol_2 = tom_tully_int, 
A_Object = cicero, 
Arity = 2, 
B_External_Symbol_1 = cataline_ext, 
B_External_Symbol_2 = tom_cataline_ext, 
B_Internal_Symbol_1 = quine_cataline_int, 
B_Internal_Symbol_2 = tom_cataline_int, 
B_Object = cataline, 
C_External_Symbol_1 = nop, 
C_External_Symbol_2 = nop, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
External_Relation_Symbol_1 = denounced_ext, 
External_Relation_Symbol_2 = tom_denounced_ext, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Logical_Form_2 = pos_neg, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** Yes
A_External_Symbol_1 = tully_ext, 
A_External_Symbol_2 = tom_cicero_ext, 
A_Internal_Symbol_1 = quine_tully_int, 
A_Internal_Symbol_2 = tom_tully_int, 
A_Object = cicero, 
Arity = 2, 
B_External_Symbol_1 = cataline_ext, 
B_External_Symbol_2 = tom_cataline_ext, 
B_Internal_Symbol_1 = quine_cataline_int, 
B_Internal_Symbol_2 = tom_cataline_int, 
B_Object = cataline, 
C_External_Symbol_1 = nop, 
C_External_Symbol_2 = nop, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
External_Relation_Symbol_1 = denounced_ext, 
External_Relation_Symbol_2 = tom_denounced_ext, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Logical_Form_2 = pos_neg, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** No
> 
> 
> believes_external_about_believes_external_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, Logical_Form_2, 1, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2, External_Relation_Symbol_1, A_External_Symbol_1, B_External_Symbol_1, C_External_Symbol_1, External_Relation_Symbol_2, A_External_Symbol_2, B_External_Symbol_2, C_External_Symbol_2)?

*** No
> ;
> 
> believes_external_about_believes_external_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, Logical_Form_2, 2, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2, External_Relation_Symbol_1, A_External_Symbol_1, B_External_Symbol_1, C_External_Symbol_1, External_Relation_Symbol_2, A_External_Symbol_2, B_External_Symbol_2, C_External_Symbol_2)?

*** No
> ;
> 
> believes_external_about_believes_external_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, Logical_Form_2, 3, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2, External_Relation_Symbol_1, A_External_Symbol_1, B_External_Symbol_1, C_External_Symbol_1, External_Relation_Symbol_2, A_External_Symbol_2, B_External_Symbol_2, C_External_Symbol_2)?

*** No
> ;
> 
> 
> 
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> believes_external_about_believes_internal_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, Logical_Form_2, 0, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2, External_Relation_Symbol_1, A_External_Symbol_1, B_External_Symbol_1, C_External_Symbol_1)?

*** Yes
A_External_Symbol_1 = cicero_ext, 
A_Internal_Symbol_1 = quine_cicero_int, 
A_Internal_Symbol_2 = tom_cicero_int, 
A_Object = cicero, 
Arity = 2, 
B_External_Symbol_1 = cataline_ext, 
B_Internal_Symbol_1 = quine_cataline_int, 
B_Internal_Symbol_2 = tom_cataline_int, 
B_Object = cataline, 
C_External_Symbol_1 = nop, 
C_Internal_Symbol_1 = nop, 
C_Internal_Symbol_2 = nop, 
C_Object = nop, 
External_Relation_Symbol_1 = denounced_ext, 
Internal_Relation_Symbol_1 = quine_denounced_int, 
Internal_Relation_Symbol_2 = tom_denounced_int, 
Logical_Form_1 = pos_pos, 
Logical_Form_2 = pos_pos, 
Relation = denounced, 
Subject_1 = quine, 
Subject_2 = tom, 
Time_1 = now, 
Time_2 = now.

--1> ;

*** No
> ;
> 
> believes_external_about_believes_internal_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, Logical_Form_2, 1, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2, External_Relation_Symbol_1, A_External_Symbol_1, B_External_Symbol_1, C_External_Symbol_1)?

*** No
> ;
> 
> believes_external_about_believes_internal_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, Logical_Form_2, 2, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2, External_Relation_Symbol_1, A_External_Symbol_1, B_External_Symbol_1, C_External_Symbol_1)?

*** No
> ;
> 
> believes_external_about_believes_internal_object(Subject_1, Time_1, Logical_Form_1, Subject_2, Time_2, Logical_Form_2, 3, Arity, Relation, A_Object, B_Object, C_Object, Internal_Relation_Symbol_1, A_Internal_Symbol_1, B_Internal_Symbol_1, C_Internal_Symbol_1, Internal_Relation_Symbol_2, A_Internal_Symbol_2, B_Internal_Symbol_2, C_Internal_Symbol_2, External_Relation_Symbol_1, A_External_Symbol_1, B_External_Symbol_1, C_External_Symbol_1)?

*** No
> ;
> 
> write_stats(Ignore)?
I am not sure of units here
Clock Time 1.48739 Seconds
CPU Time 166.667 Milliseconds

*** Yes
Ignore = @.
--1> 

*** No
>  
> 
> 
> halt?