true. ['facts/common_facts_2017_0001']. % facts/common_facts_2017_0001 compiled 0.00 sec, 100 clauses true. ['facts/common_facts_2017_0002']. Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/facts/common_facts_2017_0002.pl:275: Clauses of book/5 are not together in the source-file Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/facts/common_facts_2017_0002.pl:408: Clauses of philosophical_quotation/7 are not together in the source-file % facts/common_facts_2017_0002 compiled 0.00 sec, 180 clauses true. ['rules/common_2017_0001']. Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:43: Singleton variables: [Subject,Time,Type,Arity,Relation] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:45: Singleton variables: [Subject,Time,Type,A_Object] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:57: Singleton variables: [Type_p1,Relation,A_Object,B_Object,C_Object] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:61: Singleton variables: [Internal_Relation_symbol,A_Internal_Symbol,B_Internal_Symbol,C_Internal_Symbol] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:65: Singleton variables: [Type_p1] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:79: Singleton variables: [External_Relation_Symbol_2] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:91: Singleton variables: [Internal_Relation_Symbol,A_Internal_Symbol,B_Internal_Symbol,C_Internal_Symbol] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:95: Singleton variables: [Relation,A_Object,B_Object,C_Object] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:99: Singleton variables: [Internal_Relation_Symbol] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:103: Singleton variables: [Internal_Relation_symbol,A_Internal_Symbol,B_Internal_Symbol,C_Internal_Symbol] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:136: Singleton variables: [Logical_Form] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:166: Singleton variables: [Subject,Time] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:168: Singleton variables: [Subject,Time] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:176: Singleton variables: [Subject,Time] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:178: Singleton variables: [Subject,Time] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:223: Singleton variables: [Relation2] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:223: Singleton variable in \+: Logical_Form_2 Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:247: Singleton variables: [Number1A,Number1B,External_Term_2,NumberA,NumberB] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:253: Singleton variables: [Quote_1A,Quote_2A,Quote_3A,Quote_4A,Quote_1B,Quote_2B,Quote_3B,Quote_4B] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:259: Singleton variables: [Quote_1A,Quote_2A,Quote_3A,Quote_4A,Quote_1B,Quote_2B,Quote_3B,Quote_4B] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:289: Singleton variables: [Author_Book_Abbreviation] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/common_2017_0001.pl:291: Singleton variables: [Author_Article_Abbreviation] % rules/common_2017_0001 compiled 0.00 sec, 49 clauses true. ['rules/prolog_2017_0001']. Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/prolog_2017_0001.pl:27: Singleton variables: [Type,Arity] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/prolog_2017_0001.pl:36: Singleton variables: [Ignore] Warning: /home/dennis/darland_philosophy-01.23/darland_philosophy-01.23/DarlandPhilosophySwi/rules/prolog_2017_0001.pl:39: Singleton variables: [Ignore] % rules/prolog_2017_0001 compiled 0.00 sec, 13 clauses true. write_time(Ignore). will be time someday true. remark(3001, Remark). Remark = 'Test Set 3 - about belief.'. remark(3002, Remark). Remark = 'A person can have contradictory beliefs. This can because he does not know of all facts. Thus for `believes` so defined - it fails of substituitivity of identity. It is not referentially transparent - it is referentially opaque. But this `believes` is defined in terms which themselves are referentially transparent. There is no need to flee intension. We must analyze it when needed. There is no logical problem when `believes` is analyzed. I use one kind of belief in my `database` of facts - `belives_internal`. I define 5 more kinds of belief.(`believes_external_internal_object`, `believes_external_object`, `believes_external_internal`, `believes_internal_object`, and `believes_object`. All are reverentially transparent except `believes_object` - it is reverentially opaque.'. remark(3003, Remark). Remark = 'Tom believes both `Cicero denounced Cataline.` and `Cicero did not denounced Cataline.` He has two different internal symbols for Cicero (`cicero` and `tully` - but both refer to the same object - there is only one object! And (also) in Prolog or Life two atoms cannot be equal.'. remark(3004, Remark). Remark = 'In SwiProlog I use `is` for the arithmetic with types. It requires `Type` be instantiated. So multiple queries are needed. With WildLife I could have placed, e.g. `Type + 1` where I used `Type_p1`, and not needed the predicate `type_p1` at all.'. remark(3005, Remark). Remark = '`believes_internal` is a (here primative) psychological relation between internal symbols. Usually these internal symbols relate to external objects (not always). The relation to the objects is usually learned from interaction with other people. However this is mostly coordinated via the external objects and external symbols. The internal symbols may vary from person to person. I thought about calling the internal symbols `neural centers` - but that is stretching my knowledge. They are referentially transparent - even though `cicero = tully`, `cicero_int != tully_int`.'. remark(3006, Remark). Remark = '`believes_object` is a (defined) relation between a person and (usually) external objects medeated by symbolic relations. It is referentially opaque. I do not regard that as a problem as the relations it is defined in terms of are referentially transparent.'. remark(3007, Remark). Remark = 'Beliefs that go all the way to the objects can be opaque. Because we can never have complete knowledge - or, at least, if we do, then opacity never occurs.'. remark(3008, Remark). Remark = 'Beliefs involving symbols (external or internal) can never be opaque as the symbols themselves are different - whether or not they stand for the same object. Only `believes_object` does not involve symbols. (Althogh symbols are used in its definition, they `cancel out`.'. remark(3009, Remark). Remark = 'There is a Logical_Form for belief - it is either `pos_pos`, `pos_neg`, `neg_pos` or `neg_neg`. The first neg indicates not believing the second would indicate believing not. For simple beliefs `pos` & `neg` would have been sufficient. They would indicate belief or disbelief. However for those I use `pos_pos` and `pos_neg`. This simplifies things. A logical form of `neg_pos` indicates the person has no belief that something is true. (They might either believe it false or have no belief regarding it. Similarly for `neg_neg`.'. quote_note(br0008, Author, Author_Article, Author_Book, Article_Title, Book_Title, Pages, Quotation, Article_Year, Book_Year, Note1, Notes_Article, Notes_Book). Author = Author_Article, Author_Article = Author_Book, Author_Book = 'Bertrand Russell', Article_Title = 'On the Nature of Truth [1]', Book_Title = 'CPBR 05: Toward `Principia Mathematica`', Pages = '451-452', Quotation = 'Thus a belief, if this view [a belief is not a single thing related to a fact] is adopted, will not consist of one idea with a complex object, but will consist of several related ideas. That is, if we believe (say) that A is B, we shall have the ideas of A and of B, and these ideas will be related in a certain manner; but we shall not have a sinle complex idea which can be described as the idea of `A is B`. A belief will then differ from an idea or presentation by the fact that it will consist of several interrelated ideas. Certain ideas standing in certain relations will be called the belief that so-and-so. In the event of the objects standing in he corresponding relation, we shall say that the belief is true, or that it is belief in a fact. In the event of the objects not standing in the corresponding relation, there will be no objective complex corresponding to the belief, and the belief is belief in nothing, though it is not `thinking of nothing`, because it is thinking of the objects of the ideas which constitute the belief. Thus it would seem that the argument that false beliefs must be beliefs in something is not conclusive in favour of objective falsehood.', Article_Year = '1907', Book_Year = '1905-1908', Note1 = 'This belief relation of Russell`s is my `believes_internal` relation. Russell`s ideas are my `internal_symbols` or `internal_relation_symbols`. What Russell`s ideas are of is what my `internal_symbols` or `internal_relation_symbols` are related to. [see my remark 8]', Notes_Article = Notes_Book, Notes_Book = none quote_note(br0009, Author, Author_Article, Author_Book, Article_Title, Book_Title, Pages, Quotation, Article_Year, Book_Year, Note1, Notes_Article, Notes_Book). Author = Author_Article, Author_Article = Author_Book, Author_Book = 'Bertrand Russell', Article_Title = 'On the Nature of Truth [2]', Book_Title = 'Philosophical Essays', Pages = '155', Quotation = 'The theory of judgment [belief] which I am advocating is, that judgment is not a dual relation of mind to a single objective, but a multiple relation of the mind to the various other terms with which the judgment is concerned. Thus if I judge that A loves B, that is not a relation of me to `A`s love for B`, but a relation between me and A and love and B. If it were a relation of me to `A`s love for B`, it would be impossible unless there were such a thing s `A`s love for B`, i.e. unless A loved B, i.e. unless the judgment were true; but in fact false judgments are possible. When the judgment is taken as a relation between me and A and love and B, the mere fact that the the judgement occurs does not involve any relation between its objects A and love and B; thus the possibility of false judgments is fully allowed for.', Article_Year = Book_Year, Book_Year = '1910', Note1 = 'This relation of Russell`s corresponds to my `believes` relation defined in `common_2017_0001.pl` for prolog or `common_2017_0001.lf` for WildLife. It is defined in terms of the `believes_internal`, `internal_symbol` and `internal_relation_symbol` relations. [see my remark 9]', Notes_Article = Notes_Book, Notes_Book = none %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% believes_external_internal_object(Subject, Time, Logical_Form, 0, Arity, External_Relation_Symbol, Internal_Relation_Symbol, Relation, A_External_Symbol, A_Object, A_Internal_Symbol, B_External_Symbol, B_Internal_Symbol, B_Object, C_External_Symbol, C_Internal_Symbol, C_Object). %% Simple query repeated by semi-colons %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% believes_external_internal_object(Subject, Time, Logical_Form, 0, Arity, External_Relation_Symbol, Internal_Relation_Symbol, Relation, A_External_Symbol, A_Object, A_Internal_Symbol, B_External_Symbol, B_Internal_Symbol, B_Object, C_External_Symbol, C_Internal_Symbol, C_Object). Subject = tom, Time = now, Logical_Form = pos_pos, Arity = 2, External_Relation_Symbol = denounced_ext, Internal_Relation_Symbol = tom_denounced_int, Relation = denounced, A_External_Symbol = cicero_ext, A_Object = cicero, A_Internal_Symbol = tom_cicero_int, B_External_Symbol = cataline_ext, B_Internal_Symbol = tom_cataline_int, B_Object = cataline, C_External_Symbol = C_Internal_Symbol, C_Internal_Symbol = C_Object, C_Object = nop ; Subject = tom, Time = now, Logical_Form = pos_neg, Arity = 2, External_Relation_Symbol = denounced_ext, Internal_Relation_Symbol = tom_denounced_int, Relation = denounced, A_External_Symbol = tully_ext, A_Object = cicero, A_Internal_Symbol = tom_tully_int, B_External_Symbol = cataline_ext, B_Internal_Symbol = tom_cataline_int, B_Object = cataline, C_External_Symbol = C_Internal_Symbol, C_Internal_Symbol = C_Object, C_Object = nop ; Subject = tom, Time = now, Logical_Form = pos_pos, Arity = 1, External_Relation_Symbol = human_ext, Internal_Relation_Symbol = tom_human_int, Relation = human, A_External_Symbol = tully_ext, A_Object = cicero, A_Internal_Symbol = tom_tully_int, B_External_Symbol = B_Internal_Symbol, B_Internal_Symbol = B_Object, B_Object = C_External_Symbol, C_External_Symbol = C_Internal_Symbol, C_Internal_Symbol = C_Object, C_Object = nop ; Subject = quine, Time = now, Logical_Form = pos_pos, Arity = 2, External_Relation_Symbol = denounced_ext, Internal_Relation_Symbol = quine_denounced_int, Relation = denounced, A_External_Symbol = cicero_ext, A_Object = cicero, A_Internal_Symbol = quine_cicero_int, B_External_Symbol = cataline_ext, B_Internal_Symbol = quine_cataline_int, B_Object = cataline, C_External_Symbol = C_Internal_Symbol, C_Internal_Symbol = C_Object, C_Object = nop %% %% Next find all (there are a lot fewer beliefs than understandings %% (at least in my database) %% find_all([Subject, Time, Logical_Form, 0, Arity, External_Relation_Symbol, Internal_Relation_Symbol, Relation, A_External_Symbol, A_Object, A_Internal_Symbol, B_External_Symbol, B_Internal_Symbol, B_Object, C_External_Symbol, C_Internal_Symbol, C_Object], believes_external_internal_object(Subject, Time, Logical_Form, 0, Arity, External_Relation_Symbol, Internal_Relation_Symbol, Relation, A_External_Symbol, A_Object, A_Internal_Symbol, B_External_Symbol, B_Internal_Symbol, B_Object, C_External_Symbol, C_Internal_Symbol, C_Object), L). L = [[tom, now, pos_pos, 0, 2, denounced_ext, tom_denounced_int, denounced|...], [tom, now, pos_neg, 0, 2, denounced_ext, tom_denounced_int|...], [tom, now, pos_pos, 0, 1, human_ext|...], [quine, now, pos_pos, 0, 2|...], [quine, now, pos_pos, 0|...]]. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% Next Types > 0 - No results believes_external_internal_object(Subject, Time, Logical_Form, 1, Arity, External_Relation_Symbol, Internal_Relation_Symbol, Relation, A_External_Symbol, A_Object, A_Internal_Symbol, B_External_Symbol, B_Internal_Symbol, B_Object, C_External_Symbol, C_Internal_Symbol, C_Object). false. believes_external_internal_object(Subject, Time, Logical_Form, 2, Arity, External_Relation_Symbol, Internal_Relation_Symbol, Relation, A_External_Symbol, A_Object, A_Internal_Symbol, B_External_Symbol, B_Internal_Symbol, B_Object, C_External_Symbol, C_Internal_Symbol, C_Object). false. believes_external_internal_object(Subject, Time, Logical_Form, 3, Arity, External_Relation_Symbol, Internal_Relation_Symbol, Relation, A_External_Symbol, A_Object, A_Internal_Symbol, B_External_Symbol, B_Internal_Symbol, B_Object, C_External_Symbol, C_Internal_Symbol, C_Object). false. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% believes_external_object(Subject, Time, Logical_Form, 0, Arity, External_Relation_Symbol, Relation, A_External_Symbol, A_Object, B_External_Symbol, B_Object, C_External_Symbol, C_Object). Subject = tom, Time = now, Logical_Form = pos_pos, Arity = 2, External_Relation_Symbol = denounced_ext, Relation = denounced, A_External_Symbol = cicero_ext, A_Object = cicero, B_External_Symbol = cataline_ext, B_Object = cataline, C_External_Symbol = C_Object, C_Object = nop ; Subject = tom, Time = now, Logical_Form = pos_neg, Arity = 2, External_Relation_Symbol = denounced_ext, Relation = denounced, A_External_Symbol = tully_ext, A_Object = cicero, B_External_Symbol = cataline_ext, B_Object = cataline, C_External_Symbol = C_Object, C_Object = nop ; Subject = tom, Time = now, Logical_Form = pos_pos, Arity = 1, External_Relation_Symbol = human_ext, Relation = human, A_External_Symbol = tully_ext, A_Object = cicero, B_External_Symbol = B_Object, B_Object = C_External_Symbol, C_External_Symbol = C_Object, C_Object = nop ; Subject = quine, Time = now, Logical_Form = pos_pos, Arity = 2, External_Relation_Symbol = denounced_ext, Relation = denounced, A_External_Symbol = cicero_ext, A_Object = cicero, B_External_Symbol = cataline_ext, B_Object = cataline, C_External_Symbol = C_Object, C_Object = nop %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% find_all([Subject, Time, Logical_Form, 0, Arity, External_Relation_Symbol, Relation, A_External_Symbol, A_Object, B_External_Symbol, B_Object, C_External_Symbol, C_Object], believes_external_object(Subject, Time, Logical_Form, 0, Arity, External_Relation_Symbol, Relation, A_External_Symbol, A_Object, B_External_Symbol, B_Object, C_External_Symbol, C_Object), L). L = [[tom, now, pos_pos, 0, 2, denounced_ext, denounced, cicero_ext|...], [tom, now, pos_neg, 0, 2, denounced_ext, denounced|...], [tom, now, pos_pos, 0, 1, human_ext|...], [quine, now, pos_pos, 0, 2|...], [quine, now, pos_pos, 0|...]]. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% believes_external_object(Subject, Time, Logical_Form, 1, Arity, External_Relation_Symbol, Relation, A_External_Symbol, A_Object, B_External_Symbol, B_Object, C_External_Symbol, C_Object). false. believes_external_object(Subject, Time, Logical_Form, 2, Arity, External_Relation_Symbol, Relation, A_External_Symbol, A_Object, B_External_Symbol, B_Object, C_External_Symbol, C_Object). false. believes_external_object(Subject, Time, Logical_Form, 3, Arity, External_Relation_Symbol, Relation, A_External_Symbol, A_Object, B_External_Symbol, B_Object, C_External_Symbol, C_Object). false. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% believes_external_internal(Subject, Time, Logical_Form, 0, Arity, External_Relation_Symbol, Internal_Relation_Symbol, A_External_Symbol, A_Internal_Symbol, B_External_Symbol, B_Internal_Symbol, C_External_Symbol, C_Internal_Symbol). Subject = tom, Time = now, Logical_Form = pos_pos, Arity = 2, External_Relation_Symbol = denounced_ext, Internal_Relation_Symbol = tom_denounced_int, A_External_Symbol = cicero_ext, A_Internal_Symbol = tom_cicero_int, B_External_Symbol = cataline_ext, B_Internal_Symbol = tom_cataline_int, C_External_Symbol = C_Internal_Symbol, C_Internal_Symbol = nop ; Subject = tom, Time = now, Logical_Form = pos_neg, Arity = 2, External_Relation_Symbol = denounced_ext, Internal_Relation_Symbol = tom_denounced_int, A_External_Symbol = tully_ext, A_Internal_Symbol = tom_tully_int, B_External_Symbol = cataline_ext, B_Internal_Symbol = tom_cataline_int, C_External_Symbol = C_Internal_Symbol, C_Internal_Symbol = nop ; Subject = tom, Time = now, Logical_Form = pos_pos, Arity = 1, External_Relation_Symbol = human_ext, Internal_Relation_Symbol = tom_human_int, A_External_Symbol = tully_ext, A_Internal_Symbol = tom_tully_int, B_External_Symbol = B_Internal_Symbol, B_Internal_Symbol = C_External_Symbol, C_External_Symbol = C_Internal_Symbol, C_Internal_Symbol = nop ; Subject = quine, Time = now, Logical_Form = pos_pos, Arity = 2, External_Relation_Symbol = denounced_ext, Internal_Relation_Symbol = quine_denounced_int, A_External_Symbol = cicero_ext, A_Internal_Symbol = quine_cicero_int, B_External_Symbol = cataline_ext, B_Internal_Symbol = quine_cataline_int, C_External_Symbol = C_Internal_Symbol, C_Internal_Symbol = nop %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% find_all([Subject, Time, Logical_Form, 0, Arity, External_Relation_Symbol, Internal_Relation_Symbol, A_External_Symbol, A_Internal_Symbol, B_External_Symbol, B_Internal_Symbol, C_External_Symbol, C_Internal_Symbol], believes_external_internal(Subject, Time, Logical_Form, 0, Arity, External_Relation_Symbol, Internal_Relation_Symbol, A_External_Symbol, A_Internal_Symbol, B_External_Symbol, B_Internal_Symbol, C_External_Symbol, C_Internal_Symbol), L). L = [[tom, now, pos_pos, 0, 2, denounced_ext, tom_denounced_int, cicero_ext|...], [tom, now, pos_neg, 0, 2, denounced_ext, tom_denounced_int|...], [tom, now, pos_pos, 0, 1, human_ext|...], [quine, now, pos_pos, 0, 2|...], [quine, now, pos_pos, 0|...]]. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% believes_external_internal(Subject, Time, Logical_Form, 1, Arity, External_Relation_Symbol, Internal_Relation_Symbol, A_External_Symbol, A_Internal_Symbol, B_External_Symbol, B_Internal_Symbol, C_External_Symbol, C_Internal_Symbol). false. believes_external_internal(Subject, Time, Logical_Form, 2, Arity, External_Relation_Symbol, Internal_Relation_Symbol, A_External_Symbol, A_Internal_Symbol, B_External_Symbol, B_Internal_Symbol, C_External_Symbol, C_Internal_Symbol). false. believes_external_internal(Subject, Time, Logical_Form, 3, Arity, External_Relation_Symbol, Internal_Relation_Symbol, A_External_Symbol, A_Internal_Symbol, B_External_Symbol, B_Internal_Symbol, C_External_Symbol, C_Internal_Symbol). false. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% believes_internal_object(Subject, Time, Logical_Form, 0, Arity, Internal_Relation_symbol, Relation, A_Internal_Symbol, A_Object, B_Internal_Symbol, B_Object, C_Internal_Symbol, C_Object). Subject = tom, Time = now, Logical_Form = pos_pos, Arity = 2, Internal_Relation_symbol = tom_denounced_int, Relation = denounced, A_Internal_Symbol = tom_cicero_int, A_Object = cicero, B_Internal_Symbol = tom_cataline_int, B_Object = cataline, C_Internal_Symbol = C_Object, C_Object = nop ; Subject = tom, Time = now, Logical_Form = pos_neg, Arity = 2, Internal_Relation_symbol = tom_denounced_int, Relation = denounced, A_Internal_Symbol = tom_tully_int, A_Object = cicero, B_Internal_Symbol = tom_cataline_int, B_Object = cataline, C_Internal_Symbol = C_Object, C_Object = nop ; Subject = tom, Time = now, Logical_Form = pos_pos, Arity = 1, Internal_Relation_symbol = tom_human_int, Relation = human, A_Internal_Symbol = tom_tully_int, A_Object = cicero, B_Internal_Symbol = B_Object, B_Object = C_Internal_Symbol, C_Internal_Symbol = C_Object, C_Object = nop ; Subject = tom, Time = now, Logical_Form = pos_pos, Arity = 1, Internal_Relation_symbol = tom_featherless_biped_int, Relation = featherless_biped, A_Internal_Symbol = tom_tully_int, A_Object = cicero, B_Internal_Symbol = B_Object, B_Object = C_Internal_Symbol, C_Internal_Symbol = C_Object, C_Object = nop %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% find_all([Subject, Time, Logical_Form, 0, Arity, Internal_Relation_symbol, Relation, A_Internal_Symbol, A_Object, B_Internal_Symbol, B_Object, C_Internal_Symbol, C_Object], believes_internal_object(Subject, Time, Logical_Form, 0, Arity, Internal_Relation_symbol, Relation, A_Internal_Symbol, A_Object, B_Internal_Symbol, B_Object, C_Internal_Symbol, C_Object), L). L = [[tom, now, pos_pos, 0, 2, tom_denounced_int, denounced, tom_cicero_int|...], [tom, now, pos_neg, 0, 2, tom_denounced_int, denounced|...], [tom, now, pos_pos, 0, 1, tom_human_int|...], [tom, now, pos_pos, 0, 1|...], [tom, now, pos_pos, 0|...], [tom, now, pos_pos|...], [quine, now|...], [quine|...]]. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% believes_internal_object(Subject, Time, Logical_Form, 1, Arity, Internal_Relation_symbol, Relation, A_Internal_Symbol, A_Object, B_Internal_Symbol, B_Object, C_Internal_Symbol, C_Object). false. believes_internal_object(Subject, Time, Logical_Form, 2, Arity, Internal_Relation_symbol, Relation, A_Internal_Symbol, A_Object, B_Internal_Symbol, B_Object, C_Internal_Symbol, C_Object). false. believes_internal_object(Subject, Time, Logical_Form, 3, Arity, Internal_Relation_symbol, Relation, A_Internal_Symbol, A_Object, B_Internal_Symbol, B_Object, C_Internal_Symbol, C_Object). false. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% believes_object(Subject, Time, Logical_Form, 0, Arity, Relation, A_Object, B_Object, C_Object). Subject = tom, Time = now, Logical_Form = pos_pos, Arity = 2, Relation = denounced, A_Object = cicero, B_Object = cataline, C_Object = nop ; Subject = tom, Time = now, Logical_Form = pos_neg, Arity = 2, Relation = denounced, A_Object = cicero, B_Object = cataline, C_Object = nop ; Subject = tom, Time = now, Logical_Form = pos_pos, Arity = 1, Relation = human, A_Object = cicero, B_Object = C_Object, C_Object = nop ; Subject = tom, Time = now, Logical_Form = pos_pos, Arity = 1, Relation = featherless_biped, A_Object = cicero, B_Object = C_Object, C_Object = nop %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% find_all([Subject, Time, Logical_Form, 0, Arity, Relation, A_Object, B_Object, C_Object], believes_object(Subject, Time, Logical_Form, 0, Arity, Relation, A_Object, B_Object, C_Object), L). L = [[tom, now, pos_pos, 0, 2, denounced, cicero, cataline|...], [tom, now, pos_neg, 0, 2, denounced, cicero|...], [tom, now, pos_pos, 0, 1, human|...], [tom, now, pos_pos, 0, 1|...], [tom, now, pos_pos, 0|...], [tom, now, pos_pos|...], [quine, now|...], [quine|...]]. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% believes_object(Subject, Time, Logical_Form, 1, Arity, Relation, A_Object, B_Object, C_Object). false. believes_object(Subject, Time, Logical_Form, 2, Arity, Relation, A_Object, B_Object, C_Object). false. believes_object(Subject, Time, Logical_Form, 3, Arity, Relation, A_Object, B_Object, C_Object). false. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% write_stats(Ignore). will be stats someday true. noprotocol.