(define-theory Representation (Assessment Granularity Actors))

(in-theory 'Representation)


(DEFINE-RELATION ADAPTATION-OF (?A ?B) :IFF-DEF
 (AND (= (INVERSE ADAPTED-FROM) ADAPTATION-OF) (CITATION ?A))
 :AXIOM-CONSTRAINTS (DOMAIN ADAPTATION-OF CITATION))
(DEFINE-RELATION ADAPTED-FROM (?A ?B) :DEF
 (BIBLIOGRAPHIC-REFERENCE ?A ?B))
(DEFINE-RELATION ANALOGICALLY-REPRESENTED-BY (?A ?B) :IFF-DEF
 (= (INVERSE ANALOGICALLY-REPRESENTS) ANALOGICALLY-REPRESENTED-BY))
(DEFINE-RELATION ANALOGICALLY-REPRESENTS (?A ?B)
 "A representation may be performed in an analogical way, for 
example by repeating an event on a different structure, which can have partially different 
features from the original structure, but both belong to the same layer or granularity."
 :DEF
 (AND (SAME-GRANULARITY ?A ?B)
      (NOT (_ABSTRACT ?A TRUE))
      (NOT (_ABSTRACT ?B TRUE))
      (INTERPRETANT-OF ?A ?B)))
(DEFINE-RELATION AWARE-OF (?A ?B)
 "Nothing can be assessed if there is none aware of it while doing 
something (an agent). In Searle's terms, if there is no intentional stance."
 :DEF (AND (REPRESENTATION-RELATION ?A ?B) (*AGENT ?A)))
(DEFINE-RELATION BASED-ON (?A ?B)
 "An inferential process to make a judgment is usually
based on intermediate interpretants."
 :IFF-DEF
 (AND (REPRESENTATION-RELATION ?A ?B)
      (EXISTS (?C) (AND (JUDGMENT-OF ?A ?C) (INTERPRETANT ?C ?B)))))
(DEFINE-RELATION BASES (?A ?B) :IFF-DEF
 (AND (EXISTS (?C) (AND (INTERPRETANT-OF ?A ?C) (JUDGMENT ?C ?B)))
      (= (INVERSE REPRESENTATION-RELATION) BASES)
      (ENTITY ?A)
      (ENTITY ?B))
 :AXIOM-CONSTRAINTS
 (AND (RANGE BASES ENTITY)
      (DOMAIN BASES ENTITY)))
(DEFINE-RELATION BELIEVED-BY (?A ?B) :IFF-DEF
 (AND (= (INVERSE BELIEVES) BELIEVED-BY)
      (INFORMATION ?A)
      (*AGENT ?B))
 :AXIOM-CONSTRAINTS
 (AND (RANGE BELIEVED-BY *AGENT)
      (DOMAIN BELIEVED-BY INFORMATION)))
(DEFINE-RELATION BELIEVES (?A ?B)
 "An agent A believes to information I when A holds
that I is a good interpretant for some situation S that A is interpreting.
This is a primitive of 'processes' because not all interpretants of a S 
processed by A are believed by A."
 :IFF-DEF
 (AND (EXISTS (?Z) (AND (OCCURRENT ?Z) (INTERPRETANT-OF ?B ?Z)))
      (PROCESSES ?A ?B)))
(DEFINE-RELATION BIBLIOGRAPHIC-REFERENCE (?A ?B) :IFF-DEF
 (= (INVERSE BIBLIOGRAPHIC-REFERENCE-OF) BIBLIOGRAPHIC-REFERENCE))
(DEFINE-RELATION BIBLIOGRAPHIC-REFERENCE-OF (?A ?B) :DEF
 (AND (TEXTUAL-RELATION ?A ?B) (CITATION ?A)))
(DEFINE-RELATION CONVENTIONAL-GOAL (?A ?B) :IFF-DEF
 (AND (EXISTS (?C) (AND (FROM-ACTOR ?A ?C) (GOAL ?C ?B)))
      (PSEUDO-ACTOR ?A ?B)
      (PROCESS ?A)
      (TEMPORALIZED-ENTITY ?B))
 :AXIOM-CONSTRAINTS
 (AND (RANGE CONVENTIONAL-GOAL TEMPORALIZED-ENTITY)
      (DOMAIN CONVENTIONAL-GOAL PROCESS)))
(DEFINE-RELATION CONVENTIONAL-GOAL-OF (?A ?B)
 "A conventional goal expresses the metonymic notion of 
goal of an action or expresses a goal with a neutralized agent's intention. 
A conventional goal is different from an outcome, but their tuples
can coincide. A conventional goal is an expected outcome, while an outcome may be 
provided without the statement of a goal, for example a machine process may have outcomes, 
but not goals; a walking around may have outcomes from no goal; a learning
process may have goals with no outcomes, and so on."
 :IFF-DEF
 (AND (PSEUDO-ACTOR-OF ?A ?B)
      (EXISTS (?C) (AND (GOAL-OF ?A ?C) (FROM-ACTOR-OF ?C ?B)))))
(DEFINE-RELATION COPY (?A ?B)
 "copies selected text from the current editable text dialog-item into the clipboard. No action is taken if there is on selection."
 :IFF-DEF
 (AND (= (INVERSE COPY-OF) COPY) (ENTITY ?A) (ENTITY ?B))
 :AXIOM-CONSTRAINTS
 (AND (RANGE COPY ENTITY)
      (DOMAIN COPY ENTITY)))
(DEFINE-RELATION COPY-OF (?A ?B)
 "The exact copy of some individual, say the same object
(as far as the model is concerned), except that the copy is localized at a different 
region. This is asymmetric, since a preferential temporal origin is usually implied
and may constitute the differential criterion for 'originals'."
 :DEF (AND (REPRESENTATION-RELATION ?A ?B) (EQUAL-BUT-LOCALIZATION ?A ?B)))
(DEFINE-RELATION DESCRIPTION (?A ?B) :IFF-DEF
 (= (INVERSE DESCRIPTION-OF) DESCRIPTION))
(DEFINE-RELATION DESCRIPTION-OF (?A ?B) :DEF
 (TEXTUAL-RELATION ?A ?B))
(DEFINE-RELATION EVALUATED-BY (?A ?B) :IFF-DEF
 (AND (EXISTS (?C)
       (AND (JUDGMENT ?A ?C)
            (EXISTS (?D)
             (AND (INTERPRETANT ?C ?D)
                  (EXISTS (?E)
                   (AND (INSTRUMENT-OF ?D ?E) (PERFORMED-BY ?E ?B)))
                  (ENTITY ?D)
                  (OBJECT ?B)
                  (INVERSE-OF-REPRESENTATION-RELATION ?D ?B)
                  (INFORMATION ?D)
                  (*AGENT ?B)))
            (INVERSE-OF-REPRESENTATION-RELATION ?C ?B)
            (ENTITY ?C)
            (*AGENT ?B)))
      (INVERSE-OF-REPRESENTATION-RELATION ?A ?B)
      (ENTITY ?A)
      (*AGENT ?B))
 :AXIOM-CONSTRAINTS
 (AND (RANGE EVALUATED-BY *AGENT)
      (DOMAIN EVALUATED-BY ENTITY)))
(DEFINE-RELATION EVALUATES (?A ?B)
 "An evaluation is here the interpretation of previous
or available judgments."
 :IFF-DEF
 (AND (REPRESENTATION-RELATION ?A ?B)
      (EXISTS (?C) (AND (INTERPRETS ?A ?C) (JUDGMENT-OF ?C ?B)))))
(DEFINE-RELATION EXTRINSICALLY-REPRESENTED-BY (?A ?B) :IFF-DEF
 (= (INVERSE EXTRINSICALLY-REPRESENTS) EXTRINSICALLY-REPRESENTED-BY))
(DEFINE-RELATION EXTRINSICALLY-REPRESENTS (?A ?B)
 "The relation of representation for entities
               extrinsic to this model, including constant types within the model)."
 :DEF (AND (EXTRINSIC-STRUCTURING-RELATION ?A ?B) (CONSTANT ?A) (ENTITY ?B))
 :AXIOM-DEF (CONCEPTUALLY-DEPENDS-ON EXTRINSICALLY-REPRESENTS REPRESENTS))
(DEFINE-RELATION FORMAT (?A ?B)
 "generates output from control-string and args, and sends it to destination, which should be a stream, t, or nil. If destination is nil, format returns a stream of type string-stream holding the output. Otherwise it sends the output to destination (*standard-output* if destination is t) and returns nil."
 :IFF-DEF (= (INVERSE FORMAT-OF) FORMAT))
(DEFINE-RELATION FORMAT-OF (?A ?B) :DEF
 (AND (TEXTUAL-RELATION ?A ?B) (DOCUMENT ?B)))
(DEFINE-RELATION GOAL (?A ?B)
 "A goal is a cognitive attitude of some agent
concerning a certain occurrent (state of affairs, situation, process) that
could become true if some action is initiated. Very complex issues are involved
here. This definition is only a rough conceptualization. 
An entire theory should be built around such issues. Consider also the link 
with the '_intentional' granularity."
 :IFF-DEF
 (AND (REPRESENTATION-RELATION ?A ?B)
      (EXISTS (?C) (AND (BELIEVES ?A ?C) (INTERPRETANT-OF ?C ?B)))
      (*AGENT ?A)
      (TEMPORALIZED-ENTITY ?B)))
(DEFINE-RELATION AIMS-AT (?A ?B)
 "A goal is a cognitive attitude of some agent
concerning a certain occurrent (state of affairs, situation, process) that
could become true if some action is initiated. Very complex issues are involved
here. This definition is only a rough conceptualization. 
An entire theory should be built around such issues. Consider also the link 
with the '_intentional' granularity."
 :IFF-DEF (GOAL ?A ?B))
(DEFINE-RELATION GOAL-OF (?A ?B) :IFF-DEF
 (AND (EXISTS (?C)
       (AND (INTERPRETANT ?A ?C)
            (BELIEVES ?B ?C)
            (INFORMATION ?C)
            (*AGENT ?B)))
      (ENTITY ?A)
      (INVERSE-OF-REPRESENTATION-RELATION ?A ?B)
      (TEMPORALIZED-ENTITY ?A)
      (*AGENT ?B))
 :AXIOM-CONSTRAINTS
 (AND (RANGE GOAL-OF *AGENT)
      (DOMAIN GOAL-OF TEMPORALIZED-ENTITY)))
(DEFINE-RELATION AIMED-AT-BY (?A ?B) :IFF-DEF (GOAL-OF ?A ?B))
(DEFINE-RELATION INDICATED-BY (?A ?B) :IFF-DEF
 (= (INVERSE INDICATES) INDICATED-BY))
(DEFINE-RELATION INDICATES (?A ?B)
 "Gives evidence for the presence at some time of an 
entity or process."
 :DEF (INTERPRETANT-OF ?A ?B) :AXIOM-DEF
 (MAPPING INDICATES "USN new entry. Equals to representation:interpretant-of? 
Probably this is more specific: an interpretant of a PRESENCE 
(see assessement:present-in)."))
(DEFINE-RELATION INTERPRETANT (?A ?B) :IFF-DEF
 (= (INVERSE INTERPRETANT-OF) INTERPRETANT))
(DEFINE-RELATION INTERPRETANT-OF (?A ?B)
 "In principle, a theory of signs admits that anything can be 
used to describe anything else. In practice, there are severe limitations on the use of
some entity as interpretant of another, and these limitations derive from the cultural
and local context, from the symbolic system used, and from the cognitive and ontological
underlying motivations. This is a theory which only describes the use of signs as a post-hoc
issue, after some intentionality has decided what is an interpretant of what.
Interpretant is a relation which holds between any two entities, where the first is used
to describe or explain the second. There are background conditions for being an interpretant:
an agent should be aware of both the interpretant and the reference, and a context should
encompass the agent and the entities involved.
Interpretant is reflexive, while symmetry and transitivity are debatable. Symmetry seems
inappropriate, since usually some entity is USED as interpretant, and the process is not
reverted (not an equivalence). Transitivity holds only if metaphor and metonymy are
discarded as possible sense sources in the domain of interpretation."
 :DEF
 (AND (_INTENTIONAL ?A TRUE)
      (EXISTS (?Z ?W)
       (AND (SITUATION ?Z)
            (*AGENT ?W)
            (CONTEXT-OF ?Z ?W)
            (CONTEXT-OF ?Z ?A)
            (CONTEXT-OF ?Z ?B)
            (AWARE-OF ?W ?A)
            (AWARE-OF ?W ?B)))
      (REPRESENTATION-RELATION ?A ?B)))
(DEFINE-RELATION INTERPRETED-BY (?A ?B) :IFF-DEF
 (AND (EXISTS (?C)
       (AND (INTERPRETANT ?A ?C)
            (EXISTS (?D) (AND (INSTRUMENT-OF ?C ?D) (PERFORMED-BY ?D ?B)))
            (ENTITY ?C)
            (OBJECT ?B)
            (INVERSE-OF-REPRESENTATION-RELATION ?C ?B)
            (INFORMATION ?C)
            (*AGENT ?B)))
      (INVERSE-OF-REPRESENTATION-RELATION ?A ?B)
      (ENTITY ?A)
      (*AGENT ?B))
 :AXIOM-CONSTRAINTS
 (AND (RANGE INTERPRETED-BY *AGENT)
      (DOMAIN INTERPRETED-BY ENTITY)))
(DEFINE-RELATION INTERPRETS (?A ?B)
 "An agent interprets an entity by processing information 
used as interpretant of that entity."
 :IFF-DEF
 (AND (REPRESENTATION-RELATION ?A ?B)
      (EXISTS (?C) (AND (PROCESSES ?A ?C) (INTERPRETANT-OF ?C ?B)))
      (*AGENT ?A)
      (ENTITY ?B)))
(DEFINE-RELATION INVERSE-OF-TEXTUAL-RELATION (?A ?B) :IFF-DEF
 (= (INVERSE TEXTUAL-RELATION) INVERSE-OF-TEXTUAL-RELATION))
(DEFINE-FUNCTION JUDGMENT (?A) :-> ?B
 "A quite formal or conventional or exhaustive interpretant
of some entity. In some domains, a judgment is a very large text."
 :DEF (INTERPRETANT ?A ?B) :AXIOM-DEF (FUNCTION JUDGMENT))
(DEFINE-FUNCTION EVALUATION (?A) :-> ?B
 "A quite formal or conventional or exhaustive interpretant
of some entity. In some domains, a judgment is a very large text."
 :IFF-DEF (= (INVERSE EVALUATION-OF) EVALUATION))
(DEFINE-RELATION JUDGMENT-OF (?A ?B)
 "Judgment of the value or degree of some attribute or process." :IFF-DEF
 (AND (= (INVERSE JUDGMENT) JUDGMENT-OF)
      (ENTITY ?A)
      (ENTITY ?B))
 :AXIOM-CONSTRAINTS
 (AND (RANGE JUDGMENT-OF ENTITY)
      (DOMAIN JUDGMENT-OF ENTITY)))
(DEFINE-RELATION EVALUATION-OF (?A ?B)
 "Judgment of the value or degree of some attribute or process." :IFF-DEF
 (JUDGMENT-OF ?A ?B) :AXIOM-CONSTRAINTS
 (AND (RANGE EVALUATION-OF ENTITY)
      (DOMAIN EVALUATION-OF ABSTRACTION)))
(DEFINE-RELATION MANIFESTATION (?A ?B) :IFF-DEF
 (= (INVERSE MANIFESTATION-OF) MANIFESTATION))
(DEFINE-RELATION MANIFESTATION-OF (?A ?B)
 "That part of a phenomenon which is directly observable or 
concretely or visibly expressed, or which gives evidence to the underlying process.
This includes expression of, display of, and exhibition of."
 :DEF (REPRESENTATION-RELATION ?A ?B) :AXIOM-DEF
 (MAPPING MANIFESTATION-OF
  "USN new entry. Similar to 'indicates', but this assumes 
the presence revealed and plays the 'observable' role."))
(DEFINE-RELATION PROCESSED-BY (?A ?B) :IFF-DEF
 (AND (EXISTS (?C) (AND (INSTRUMENT-OF ?A ?C) (PERFORMED-BY ?C ?B)))
      (ENTITY ?A)
      (OBJECT ?B)
      (INVERSE-OF-REPRESENTATION-RELATION ?A ?B)
      (INFORMATION ?A)
      (*AGENT ?B))
 :AXIOM-CONSTRAINTS
 (AND (RANGE PROCESSED-BY *AGENT)
      (DOMAIN PROCESSED-BY INFORMATION)))
(DEFINE-RELATION PROCESSES (?A ?B)
 "An agent processes information by performing an activity
which makes use of abstract objects."
 :IFF-DEF
 (AND (REPRESENTATION-RELATION ?A ?B)
      (EXISTS (?C) (AND (PERFORMS ?A ?C) (INSTRUMENT ?C ?B)))
      (*AGENT ?A)
      (INFORMATION ?B)))
(DEFINE-RELATION REFERENCE-OF (?A ?B) :IFF-DEF
 (AND (= (INVERSE AWARE-OF) REFERENCE-OF)
      (ENTITY ?A)
      (*AGENT ?B))
 :AXIOM-CONSTRAINTS
 (AND (RANGE REFERENCE-OF *AGENT)
      (DOMAIN REFERENCE-OF ENTITY)))
(DEFINE-RELATION REPRESENTED-BY (?A ?B) :IFF-DEF
 (= (INVERSE REPRESENTS) REPRESENTED-BY))
(DEFINE-RELATION REPRESENTS (?A ?B)
 "Anything can be represented by some abstract object.
This is a restriction of 'interpretant-of' to abstract objects and with a conventional
value."
 :DEF
 (AND (EXISTS ?Z (AND (TOPIC ?Z) (CONVENTIONAL-WITHIN ?A ?Z)))
      (INTERPRETANT-OF ?A ?B)
      (ABSTRACTION ?A)
      (ENTITY ?B))
 :CONSTRAINTS (AND (ABSTRACTION ?A) (ENTITY ?B)) :AXIOM-CONSTRAINTS
 (AND (RANGE REPRESENTS ENTITY)
      (DOMAIN REPRESENTS ABSTRACTION)))
(DEFINE-RELATION SYMBOLIC-PART (?A ?B) :IFF-DEF
 (= (INVERSE SYMBOLIC-PART-OF) SYMBOLIC-PART))
(DEFINE-RELATION SYMBOLIC-PART-OF (?A ?B) :DEF
 (AND (TEXTUAL-RELATION ?A ?B) (CONSTANT ?A) (THING ?B)))
(DEFINE-RELATION TEXTUAL-RELATION (?A ?B) :DEF
 (AND (EXTRINSIC-STRUCTURING-RELATION ?A ?B) (STRING ?A) (THING ?B)))
(DEFINE-RELATION TITLE (?A ?B) :IFF-DEF (= (INVERSE TITLE-OF) TITLE))
(DEFINE-RELATION TITLE-OF (?A ?B) :DEF
 (AND (TEXTUAL-RELATION ?A ?B) (SYMBOLIC-STRING ?A) (TEXT ?B)))
(DEFINE-FUNCTION VERSION (?A) :-> ?B
 "Some objects have a life cycle. The configuration of
the object at some time in its life cycle may be identified by a version serial value. 
The object configuration at a certain time in a life cycle is the localized counterpart 
of the temporal phase of a process."
 :DEF (SERIAL-VALUE ?A ?B))
(DEFINE-RELATION VERSION-OF (?A ?B) :IFF-DEF
 (= (INVERSE VERSION) VERSION-OF))
(DEFINE-CLASS *SIGN (?SELF)
 "This results to be a top concept, but it is unavoidable,
since too many concepts can be interpretant of something else, thus making
restrictions would be an unfortunate task! Moreover, it is ontologically meaningful
to treat the something that interprets something else as a separate category and
not as an abstract object; for example, the smoke behind the hill that can be
an interpretant for the presence of persons is hardly conceivable as abstract."
 :IFF-DEF
 (AND (ENTITY ?SELF)
      (MINIMUM-SLOT-CARDINALITY ?SELF INTERPRETANT-OF 1))
 :AXIOM-DEF (THE-ARCHETYPE *SIGN REIFIED-PROPERTY))
(DEFINE-CLASS CITATION (?SELF)
:DEF (SYMBOLIC-STRING ?SELF))
(DEFINE-CLASS CLASSIFICATION (?SELF)
:DEF
 (AND (TERM-LIST ?SELF)
      (VALUE-CARDINALITY ?SELF _STRUCTURED 1)
      (VALUE-CARDINALITY ?SELF _INFORMAL 1))
 :AXIOM-DEF
 (USN-DOCUMENTATION CLASSIFICATION
  "A term or system of terms denoting an arrangement 
by class or category."))
(DEFINE-CLASS DOCUMENT (?SELF)
:DEF (INFORMATION ?SELF))
(DEFINE-CLASS EXPRESSION (?SELF)
 "An expression is an abstraction that may
have multiple representations: strings, sounds, icons, etc., and that is used
as an interpretant of something else (therefore it is also a kind of *sign).
It is important to distinguish between (abstract) expressions and implemented
signifiers. For example, the word 'cat' is represented (implemented) here 
as a string of graphical characters displayed on a monitor and/or printed
on paper, but it can be represented by a sequence of sounds or by some non-latin
alphabet or by some cryptographic form."
 :DEF
 (AND (INFORMATION ?SELF)
      (MINIMUM-SLOT-CARDINALITY ?SELF INTERPRETANT-OF 1)
      (MINIMUM-SLOT-CARDINALITY ?SELF EXTRINSICALLY-REPRESENTED-BY
       1)
      (MINIMUM-SLOT-CARDINALITY ?SELF REPRESENTED-BY 1)))
(DEFINE-CLASS FORMAL-LANGUAGE (?SELF)
:DEF
 (AND (LANGUAGE ?SELF) (VALUE-CARDINALITY ?SELF _FORMAL 1)))
(DEFINE-CLASS FREE-TEXT (?SELF)
:DEF (TEXT ?SELF))
(DEFINE-CLASS ICON (?SELF)
:DEF (EXPRESSION ?SELF))
(DEFINE-CLASS IMAGE (?SELF)
:DEF (VISUAL-DOCUMENT ?SELF))
(DEFINE-CLASS INFORMATION (?SELF)
 "Information is an abstract object mediated by
some language (rule system - syntax, and a lexicon)."
 :DEF (ABSTRACTION ?SELF) :CONSTRAINTS
 (VALUE-TYPE ?SELF MEDIATED-BY LANGUAGE))
(DEFINE-CLASS LANGUAGE (?SELF)
:DEF
 (AND (ABSTRACTION ?SELF) (EXISTS (?A) (AND (PART ?SELF ?A) (EXPRESSION ?A)))))
(DEFINE-CLASS LINGUISTIC-EXPRESSION (?SELF)
:DEF
 (AND (EXPRESSION ?SELF)
      (EXISTS (?A)
              (AND (EXTRINSICALLY-REPRESENTED-BY ?SELF ?A)
                   (SYMBOLIC-STRING ?A)))))
(DEFINE-CLASS MAP (?SELF)
 :DEF (VISUAL-DOCUMENT ?SELF))
(DEFINE-CLASS MEDICAL-RECORD (?SELF)
:DEF (TEXT ?SELF) :AXIOM-DEF
 (THE-ARCHETYPE MEDICAL-RECORD TYPE))
(DEFINE-CLASS MORPHEME (?SELF)
:DEF (LINGUISTIC-EXPRESSION ?SELF)
 :CONSTRAINTS (VALUE-TYPE ?SELF PART INCOHERENT))
(DEFINE-CLASS NARRATIVE (?SELF)
 "A narrative represents a complex action, with 
branching subprocesses, actors, and dependences among parts; it usually is an 
approximation of complex activities, used as a summary (a story), as a protocol, 
as a set of guidelines, etc."
 :DEF
 (AND (TEXT ?SELF)
      (EXISTS (?A) (AND (REPRESENTS ?SELF ?A) (TEMPORALIZED-ENTITY ?A)))))
(DEFINE-CLASS NATURAL-LANGUAGE (?SELF)
 "The system of communication used by a particular 
nation or people."
 :DEF
 (AND (LANGUAGE ?SELF) (EXISTS (?A) (AND (USED-BY ?SELF ?A) (ORGANISM ?A)))))
(DEFINE-CLASS PHRASE (?SELF)
:DEF
 (AND (LINGUISTIC-EXPRESSION ?SELF)
      (EXISTS (?A) (AND (PART ?SELF ?A) (WORD ?A))))
 :CONSTRAINTS
 (FORALL (?B) (=> (PART ?SELF ?B) (OR (WORD ?B) (MORPHEME ?B)))))
(DEFINE-CLASS PROTOCOL (?SELF)
:DEF
 (AND (SCRIPT ?SELF) (EXISTS (?A) (AND (METHOD-OF ?SELF ?A) (PROCEDURE ?A))))
 :AXIOM-DEF (THE-ARCHETYPE PROTOCOL TYPE))
(DEFINE-CLASS REPORT (?SELF)
:DEF (TEXT ?SELF) :AXIOM-DEF
 (THE-ARCHETYPE REPORT TYPE))
(DEFINE-CLASS SCRIPT (?SELF)
:DEF
 (AND (NARRATIVE ?SELF) (EXISTS (?A) (AND (METHOD-OF ?SELF ?A) (ACTIVITY ?A)))))
(DEFINE-CLASS SENTENCE (?SELF)
:DEF
 (AND (LINGUISTIC-EXPRESSION ?SELF)
      (EXISTS (?A) (AND (PART ?SELF ?A) (WORD ?A))))
 :CONSTRAINTS (VALUE-TYPE ?SELF PART LINGUISTIC-EXPRESSION))
(DEFINE-CLASS SOFTWARE-PROGRAM (?SELF)
:DEF
 (AND (INFORMATION ?SELF)
      (VALUE-CARDINALITY ?SELF _STRUCTURED 1)
      (VALUE-CARDINALITY ?SELF _FORMAL 1)
      (EXISTS (?A) (AND (STRICTLY-DEPENDS-ON ?SELF ?A) (MACHINE-ACTIVITY ?A)))))
(DEFINE-CLASS STATEMENT (?SELF)
:DEF (TEXT ?SELF) :AXIOM-DEF
 (THE-ARCHETYPE STATEMENT TYPE))
(DEFINE-CLASS SYMBOLIC-STRING (?SELF)
 "This is for strings (extrinsic to the 'entities'
in this model), which represent a semiotic object, such as a word."
 :DEF (STRING ?SELF) :CONSTRAINTS
 (EXISTS (?A) (AND (SYMBOLIC-PART ?SELF ?A) (CHARACTER ?A))))
(DEFINE-CLASS TERM (?SELF)
:IFF-DEF
 (AND (PHRASE ?SELF) (VALUE-CARDINALITY ?SELF _STRUCTURED 1)))
(DEFINE-CLASS TERM-LIST (?SELF)
:DEF
 (AND (DOCUMENT ?SELF)
      (VALUE-CARDINALITY ?SELF _LIST 1)
      (EXISTS (?A) (AND (PART ?SELF ?A) (TERM ?A)))))
(DEFINE-CLASS TEXT (?SELF)
:DEF
 (AND (DOCUMENT ?SELF)
      (EXISTS (?A) (AND (PART ?SELF ?A) (LINGUISTIC-EXPRESSION ?A)))
      (EXISTS (?B) (AND (STRICTLY-DEPENDS-ON ?SELF ?B) (LANGUAGE ?B))))
 :AXIOM-DEF (THE-ARCHETYPE TEXT TYPE))
(DEFINE-CLASS THEORY (?SELF)
:DEF
 (AND (TEXT ?SELF)
      (VALUE-CARDINALITY ?SELF _FORMAL 1)
      (EXISTS (?A) (AND (REPRESENTS ?SELF ?A) (TOPIC ?A)))))
(DEFINE-CLASS VISUAL-DOCUMENT (?SELF)
:DEF
 (AND (DOCUMENT ?SELF) (EXISTS (?A) (AND (PART ?SELF ?A) (ICON ?A)))))
(DEFINE-CLASS WORD (?SELF)
:DEF
 (AND (LINGUISTIC-EXPRESSION ?SELF)
      (EXISTS (?A) (AND (PART ?SELF ?A) (MORPHEME ?A))))
 :CONSTRAINTS (VALUE-TYPE ?SELF PART MORPHEME))