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.01 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(8001, Remark). Remark = 'Test Set 8 - about opacity & synonymity.'. remark(8002, Remark). Remark = 'Synonymity is a relation of symbols - not of things.'. quote_note(wvoq0001, Author, Author_Article, Author_Book, Article_Title, Book_Title, Pages, Quotation, Article_Year, Book_Year, Note1, Notes_Article, Notes_Book). Author = Author_Book, Author_Book = 'Willard Van Orman Quine', Author_Article = Article_Title, Article_Title = Article_Year, Article_Year = Notes_Article, Notes_Article = Notes_Book, Notes_Book = none, Book_Title = 'Word and Object', Pages = '142', Quotation = 'When a singular term is used in a sentence purely to specify its object, and the sentence is true of the object, then certainly the sentence will stay true when any other singular term is substituted that designates the same object. Here we have a criterion for what may be called purely referential position: the position must be subject to substituitivity of identity.', Book_Year = '1960', Note1 = 'Note: Whitehead and Russell used the term [referential] transparent in Principia Mathematica, 2nd ed., p. 665. Quine mostly calls non-referential position `opaque`.' quote_note(lw0001, Author, Author_Article, Author_Book, Article_Title, Book_Title, Pages, Quotation, Article_Year, Book_Year, Note1, Notes_Article, Notes_Book). Author = Author_Book, Author_Book = 'Ludwig Wittgenstein', Author_Article = Article_Title, Article_Title = Article_Year, Article_Year = Note1, Note1 = Notes_Article, Notes_Article = Notes_Book, Notes_Book = none, Book_Title = 'Tractatus Logico-Philosophicus', Pages = '5.53', Quotation = 'Identity of object I express by identity of sign, and not by using a sign for identity. Difference of objects I express by difference of signs.', Book_Year = '1921' quote_note(lw0002, Author, Author_Article, Author_Book, Article_Title, Book_Title, Pages, Quotation, Article_Year, Book_Year, Note1, Notes_Article, Notes_Book). false. philosophical_quotation(8001, Author_1, Author_2, Article, Book_or_journal, Year, Page_range, Quotation, Note1, Note2, Note3). ERROR: Undefined procedure: philosophical_quotation/11 ERROR: However, there are definitions for: ERROR: philosophical_quotation/7 ERROR: philosophical_quotation/8 false. philosophical_quotation(8002, Author_1, Author_2, Article, Book_or_journal, Year, Page_range, Quotation, Note1, Note2, Note3). ERROR: Undefined procedure: philosophical_quotation/11 ERROR: However, there are definitions for: ERROR: philosophical_quotation/7 ERROR: philosophical_quotation/8 false. philosophical_quotation(8003, Author_1, Author_2, Article, Book_or_journal, Year, Page_range, Quotation, Note1, Note2, Note3). ERROR: Undefined procedure: philosophical_quotation/11 ERROR: However, there are definitions for: ERROR: philosophical_quotation/7 ERROR: philosophical_quotation/8 false. opaque_believes_object(Subject, Time, Logical_Form_1, Logical_Form_2, 0, Arity, Relation, A_object, B_object, C_object). Subject = tom, Time = now, Logical_Form_1 = pos_pos, Logical_Form_2 = pos_neg, Arity = 2, Relation = denounced, A_object = cicero, B_object = cataline, C_object = nop opaque_believes_external_internal_object(Subject, Time, Logical_Form_1, Logical_Form_2, 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). false. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% opaque_believes_external_object(Subject, Time, Logical_Form_1, Logical_Form_2, 0, Arity, External_Relation_Symbol, Relation, A_External_Symbol, A_Object, B_External_Symbol, B_Object, C_External_Symbol, C_Object). false. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% opaque_believes_external_internal(Subject, Time, Logical_Form_1, Logical_Form_2, 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). false. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% opaque_believes_internal_object(Subject, Time, Logical_Form_1, Logical_Form_2, 0, Arity, Internal_Relation_symbol, Relation, A_Internal_Symbol, A_Object, B_Internal_Symbol, B_Object, C_Internal_Symbol, C_Object). false. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% opaque_believes_internal(Subject, Time, Logical_Form_1, Logical_Form_2, 0, Arity, Internal_Relation_symbol, A_Internal_Symbol, B_Internal_Symbol, C_Internal_Symbol). false. write_stats(Ignore). will be stats someday true. noprotocol.