<< MELD features/Appendix A/2 MELD features

History

version 1 put ASSERTION-num in for Assertions
version 2 put CONSTANT-num in for Constants
version 3 put in call for color-coding calling template:MELD-A or template:MELD-C

- name Assertion-### for each assertion

Appendix A: Formulas true in every MELD KB

As we remarked above, the syntactic component of MELD includes a large number of constant terms (you can think of these as "reserved words" in the MELD language), and the semantic component of MELD includes a large number of sentences involving and interrelating these terms. This set of sentences forms a coherent self-sufficient KB -- the MELD_features/A -- which forms the upper (most general) part of every MELD KB, including, e.g., the Cyc KB, the HPKB IKB, etc.

Herewith is that list of approximately 650 sentences -- each is a closed, well-formed MELD formula.

All of the MELD constants mentioned in these assertions should be thought of as MELD "reserved words." These terms, of which there are about 160, occur below on comment lines, just before the set of mandatory formulas involving them; each of those comment lines begins with three semicolons in a row; e.g., ;;; #$001 {{#if: AntiSymmetricBinaryPredicate |AntiSymmetricBinaryPredicate|}}.

The formulas, and terms, are not commented or explained, below. If one browses through the Cyc KB or the HPKB IKB, one can read the documentation for each of these terms, etc. That is how you, a human reader, can most easily become familiar with the ontology and the semantics of MELD. Just as the BNF in Appendix C, the long list of formulas below (here in Appendix B) is provided more to be machine- than human- readable.

We've arranged these in such a fashion that (most) duplicates have been eliminated. Thus, in the case of one of the first few assertions,

(#$genls {{#if: meld-c |meld-c|}}  #$AntiSymmetricBinaryPredicate {{#if: 001 |001|}}  #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}}),

that assertion is listed once, under ;;; #$001 {{#if: AntiSymmetricBinaryPredicate |AntiSymmetricBinaryPredicate|}}, not again under ;;; #$BinaryPredicate {{#if: |[[{{{2}}}]]|}}.

We've prefixed each MELD term with the characters #$. This may facilitate reading mechanically; if you don't care or want this, just do a systematic replace of #$ by the empty string. It will be useful in distinguishing MELD constant names from the names of C (or Lisp) functions which are called to implement some of the low-level bookkeeping, and may be useful in distinguishing MELD constant names from numbers (e.g., distinguishing the MELD constant named 42 from the number 42.)

Let us reiterate that MELD is a declarative language with no procedural information of any kind in any MELD formula, including these formulas.

Finally, you may notice that about 10 of the 160 MELD constant terms below contain the word "Cyc"; this reflects the origins of those terms. We could just as well have called those ten . . .Cyc. . . terms . . .MELD. . . instead; the absolute names are not so important as agreeing on a fixed vocabulary of names for constants.

This is the MELD semantic standard; please do not rename any of these 160 terms, or remove/violate any of these 650 formulas:

;;; #$AntiSymmetricBinaryPredicate {{#if: 801 |801|}}

Assertion#001: 
(#$isa {{#if: 934 |934|}} #$AntiSymmetricBinaryPredicate {{#if: 801 |801|}} #$Collection {{#if: 810 |810|}} )

Assertion#002: 
(#$genls {{#if: meld-c |meld-c|}}  #$AntiSymmetricBinaryPredicate {{#if: 001 |001|}}  #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

Assertion#003: 
(#$implies {{#if:  |[[{{{2}}}]]|}} 
   (#$and 
      (#$isa {{#if:  |[[{{{2}}}]]|}} ?SLOT  #$AntiSymmetricBinaryPredicate {{#if: 801 |801|}} ) 
      (#$isa {{#if:  |[[{{{2}}}]]|}} ?SLOT #$IrreflexiveBinaryPredicate {{#if:  |[[{{{2}}}]]|}}) ) 
   (#$isa {{#if:  |[[{{{2}}}]]|}} ?SLOT #$AsymmetricBinaryPredicate {{#if:  |[[{{{2}}}]]|}})
)

;;; #$Assertion {{#if: 802 |802|}}

Assertion#004: 
(#$isa {{#if: 800 |800|}}  #$Assertion {{#if: 002 |002|}}  #$Collection {{#if:  |[[{{{2}}}]]|}})


Assertion#005: 
(#$genls {{#if: meld-c |meld-c|}}  #$Assertion {{#if: 002 |002|}}  #$CycIndexedTerm {{#if:  |[[{{{2}}}]]|}})


Assertion#006: 
(#$genls {{#if: meld-c |meld-c|}}  #$Assertion {{#if: 002 |002|}}  #$IndividualObject {{#if:  |[[{{{2}}}]]|}})

;;; #$AsymmetricBinaryPredicate {{#if: m-C |m-C|}}

Assertion#007: 
(#$isa {{#if: 800 |800|}} #$AsymmetricBinaryPredicate {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#008: 
(#$genls {{#if: M-C |M-C|}} #$AsymmetricBinaryPredicate {{#if: meld-c |meld-c|}}  #$AntiSymmetricBinaryPredicate {{#if: 001 |001|}}  )


Assertion#009: 
(#$genls {{#if:  |[[{{{2}}}]]|}} #$AsymmetricBinaryPredicate #$IrreflexiveBinaryPredicate {{#if:  |[[{{{2}}}]]|}} )
|}}

Assertion#010: 
(#$not {{#if:  |[[{{{2}}}]]|}} (#$and {{#if:  |[[{{{2}}}]]|}} 
     (#$isa {{#if:  |[[{{{2}}}]]|}} ?PRED #$AsymmetricBinaryPredicate {{#if:  |[[{{{2}}}]]|}}) 
     (?PRED ?ARG1 ?ARG2) 
     (?PRED ?ARG2 ?ARG1)
                       ) )

Assertion#011: 
(#$implies {{#if:  |[[{{{2}}}]]|}} 
   (#$and {{#if:  |[[{{{2}}}]]|}} 
      (#$isa {{#if:  |[[{{{2}}}]]|}} ?Q #$AsymmetricBinaryPredicate {{#if:  |[[{{{2}}}]]|}}) 
      (#$genlPreds {{#if:  |[[{{{2}}}]]|}} ?P ?Q)
   ) 
   (#$isa {{#if:  |[[{{{2}}}]]|}} ?P #$AsymmetricBinaryPredicate {{#if:  |[[{{{2}}}]]|}})
)

Assertion#012: 
(#$implies {{#if:  |[[{{{2}}}]]|}} 
    (#$isa {{#if:  |[[{{{2}}}]]|}} ?PRED #$AsymmetricBinaryPredicate {{#if:  |[[{{{2}}}]]|}}) 
    (#$negationInverse {{#if:  |[[{{{2}}}]]|}} ?PRED ?PRED)
)

;;; #$AttributeValue {{#if: m-C |m-C|}}

Assertion#013: 
(#$isa {{#if: 800 |800|}} #$AttributeValue {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}})

Assertion#014: 
(#$genls {{#if: M-C |M-C|}} #$AttributeValue {{#if: M-C |M-C|}} #$IndividualObject {{#if:  |[[{{{2}}}]]|}})

;;; #$BaseKB {{#if: m-C |m-C|}}

Assertion#015: 
(#$isa {{#if: 800 |800|}} #$BaseKB {{#if: M-C |M-C|}} #$BroadMicrotheory {{#if:  |[[{{{2}}}]]|}})


Assertion#016: 
(#$implies {{#if:  |[[{{{2}}}]]|}} 
   (#$isa {{#if:  |[[{{{2}}}]]|}} ?MIC #$Microtheory {{#if:  |[[{{{2}}}]]|}}) 
   (#$genlMt {{#if:  |[[{{{2}}}]]|}} ?MIC #$BaseKB {{#if:  |[[{{{2}}}]]|}})
)

;;; #$BinaryPredicate {{#if: m-C |m-C|}}

Assertion#017: 
(#$isa {{#if: 800 |800|}} #$BinaryPredicate {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}})


Assertion#018: 
(#$genls {{#if: M-C |M-C|}} #$BinaryPredicate {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}})


Assertion#019: 
(#$implies {{#if:  |[[{{{2}}}]]|}} 
    (#$isa {{#if:  |[[{{{2}}}]]|}} ?P #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}}) 
    (#$arity {{#if:  |[[{{{2}}}]]|}} ?P 2 )
)

;;; #$BookkeepingMt {{#if: m-C |m-C|}}

Assertion#020: 
(#$isa {{#if: 800 |800|}} #$BookkeepingMt {{#if: M-C |M-C|}} #$Microtheory {{#if:  |[[{{{2}}}]]|}})


Assertion#021: 
(#$genlMt {{#if: M-C |M-C|}} #$BookkeepingMt {{#if: M-C |M-C|}} #$CyclistsMt {{#if:  |[[{{{2}}}]]|}})


Assertion#022: 
(#$genlMt {{#if: M-C |M-C|}} #$BookkeepingMt {{#if: M-C |M-C|}} #$BaseKB {{#if:  |[[{{{2}}}]]|}})

;;; #$BookkeepingPredicate {{#if: m-C |m-C|}}

Assertion#023: 
(#$isa {{#if: 800 |800|}} #$BookkeepingPredicate {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}})


Assertion#024: 
(#$genls {{#if: M-C |M-C|}} #$BookkeepingPredicate {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}})

;;; #$BroadMicrotheory {{#if: m-C |m-C|}}

Assertion#025: 
(#$isa {{#if: 800 |800|}} #$BroadMicrotheory {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}})


Assertion#026: 
(#$genls {{#if: M-C |M-C|}} #$BroadMicrotheory {{#if: M-C |M-C|}} #$Microtheory {{#if:  |[[{{{2}}}]]|}})

;;; #$Collection {{#if: m-C |m-C|}}

Assertion#027: 
(#$isa {{#if: 800 |800|}} #$Collection {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}})


Assertion#028: 
(#$genls {{#if: M-C |M-C|}} #$Collection {{#if: M-C |M-C|}} #$SetOrCollection {{#if:  |[[{{{2}}}]]|}})

;;; #$CollectionDenotingFunction {{#if: m-C |m-C|}}

Assertion#029: 
(#$isa {{#if: 800 |800|}} #$CollectionDenotingFunction {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}})


Assertion#030: 
(#$genls {{#if: M-C |M-C|}} #$CollectionDenotingFunction {{#if: M-C |M-C|}} #$ReifiableFunction {{#if:  |[[{{{2}}}]]|}} )

;;; #$CommutativeRelation {{#if: m-C |m-C|}}

Assertion#031: 
(#$isa {{#if: 800 |800|}} #$CommutativeRelation {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}})


Assertion#032: 
(#$genls {{#if: M-C |M-C|}} #$CommutativeRelation {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[{{{2}}}]]|}})

;;; #$CycELVariable {{#if: m-C |m-C|}}

Assertion#033: 
(#$isa {{#if: 800 |800|}} #$CycELVariable {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}})


Assertion#034: 
(#$genls {{#if: M-C |M-C|}} #$CycELVariable {{#if: M-C |M-C|}} #$CycSystemSymbol {{#if:  |[[{{{2}}}]]|}})

;;; #$CycExpression {{#if: m-C |m-C|}}

Assertion#035: 
(#$isa {{#if: 800 |800|}} #$CycExpression {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#036: 
(#$genls {{#if: M-C |M-C|}} #$CycExpression {{#if: M-C |M-C|}} #$IndividualObject {{#if:  |[[{{{2}}}]]|}})

;;; #$CycFormula {{#if: m-C |m-C|}}

Assertion#037: 
(#$isa {{#if: 800 |800|}} #$CycFormula {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}})


Assertion#038: 
(#$genls {{#if: M-C |M-C|}} #$CycFormula {{#if: M-C |M-C|}} #$CycExpression {{#if:  |[[{{{2}}}]]|}})

;;; #$CycIndexedTerm {{#if: m-C |m-C|}}

Assertion#039: 
(#$isa {{#if: 800 |800|}} #$CycIndexedTerm {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}})


Assertion#040: 
(#$genls {{#if:  |[[{{{2}}}]]|}} #$CycIndexedTerm #$Thing {{#if:  |[[{{{2}}}]]|}})
|}}

;;; #$CycSystemList {{#if: m-C |m-C|}}

Assertion#041: 
(#$isa {{#if: 800 |800|}} #$CycSystemList {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}})


Assertion#042: 
(#$genls {{#if: M-C |M-C|}} #$CycSystemList {{#if: M-C |M-C|}} #$IndividualObject {{#if:  |[[{{{2}}}]]|}})

;;; #$CycSystemString {{#if: m-C |m-C|}}

Assertion#043: 
(#$isa {{#if: 800 |800|}} #$CycSystemString {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}})


Assertion#044: 
(#$genls {{#if: M-C |M-C|}} #$CycSystemString {{#if: M-C |M-C|}} #$IndividualObject {{#if:  |[[{{{2}}}]]|}})

;;; #$CycSystemSymbol {{#if: m-C |m-C|}}

Assertion#045: 
(#$isa {{#if: 800 |800|}} #$CycSystemSymbol {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}})


Assertion#046: 
(#$genls {{#if: M-C |M-C|}} #$CycSystemSymbol {{#if: M-C |M-C|}} #$IndividualObject {{#if:  |[[{{{2}}}]]|}} )

;;; #$Cyclist {{#if: m-C |m-C|}}

Assertion#047: 
(#$isa {{#if: 800 |800|}} #$Cyclist {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#048: 
(#$genls {{#if: M-C |M-C|}} #$Cyclist {{#if: M-C |M-C|}} #$TemporalObject {{#if:  |[[{{{2}}}]]|}} )

;;; #$CyclistsMt {{#if: m-C |m-C|}}

Assertion#049: 
(#$isa {{#if: 800 |800|}} #$CyclistsMt {{#if: M-C |M-C|}} #$Microtheory {{#if:  |[[{{{2}}}]]|}} )


Assertion#050: 
(#$genlMt {{#if: M-C |M-C|}} #$CyclistsMt {{#if: M-C |M-C|}} #$BaseKB {{#if:  |[[{{{2}}}]]|}})

;;; #$DefaultMonotonicPredicate {{#if: m-C |m-C|}}

Assertion#051: 
(#$isa {{#if: 800 |800|}} #$DefaultMonotonicPredicate {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}})


Assertion#052: 
(#$genls {{#if: M-C |M-C|}} #$DefaultMonotonicPredicate {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}})

;;; #$EvaluatableFunction {{#if: m-C |m-C|}}

Assertion#053: 
(#$isa {{#if: 800 |800|}} #$EvaluatableFunction {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}})


Assertion#054: 
(#$genls {{#if: M-C |M-C|}} #$EvaluatableFunction {{#if: M-C |M-C|}} #$FunctionTheMathematicalType {{#if:  |[[{{{2}}}]]|}} )

;;; #$False {{#if: m-C |m-C|}}

Assertion#055: 
(#$isa {{#if: 800 |800|}} #$False {{#if: M-C |M-C|}} #$IndividualObject {{#if:  |[[{{{2}}}]]|}} )

;;; #$Format {{#if: m-C |m-C|}}

Assertion#056: 
(#$isa {{#if: 800 |800|}} #$Format {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#057: 
(#$genls {{#if: M-C |M-C|}} #$Format {{#if: M-C |M-C|}} #$IndividualObject {{#if:  |[[{{{2}}}]]|}} )

;;; #$ForwardInferencePSC {{#if: m-C |m-C|}}

Assertion#058: 
(#$isa {{#if: 800 |800|}} #$ForwardInferencePSC {{#if: M-C |M-C|}} #$ProblemSolvingCntxt {{#if:  |[[{{{2}}}]]|}} )


Assertion#059: 
(#$genlMt {{#if: M-C |M-C|}} #$ForwardInferencePSC {{#if: M-C |M-C|}} #$BaseKB {{#if:  |[[{{{2}}}]]|}})

;;; #$FunctionTheMathematicalType {{#if: m-C |m-C|}}

Assertion#060: 
(#$isa {{#if: 800 |800|}} #$FunctionTheMathematicalType {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}})


Assertion#061: 
(#$genls {{#if: M-C |M-C|}} #$FunctionTheMathematicalType {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[]]|}})

;;; #$Guest {{#if: m-C |m-C|}}

Assertion#062: 
(#$isa {{#if: 800 |800|}} #$Guest {{#if: M-C |M-C|}} #$HumanCyclist {{#if:  |[[{{{2}}}]]|}} )

;;; #$HumanCyclist {{#if: m-C |m-C|}}

Assertion#063: 
(#$isa {{#if: 800 |800|}} #$HumanCyclist {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#064: 
(#$genls {{#if: M-C |M-C|}} #$HumanCyclist {{#if: M-C |M-C|}} #$Cyclist {{#if:  |[[{{{2}}}]]|}} )

;;; #$IndividualObject {{#if: m-C |m-C|}}

Assertion#65: 
(#$isa {{#if: 800 |800|}} #$IndividualObject {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#66: 
(#$genls {{#if: M-C |M-C|}} #$IndividualObject {{#if: M-C |M-C|}} #$Thing {{#if:  |[[{{{2}}}]]|}} )

;;; #$InferenceRelatedBookkeepingPredicate {{#if: m-C |m-C|}}

Assertion#67: 
(#$isa {{#if: 800 |800|}} #$InferenceRelatedBookkeepingPredicate {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#68: 
(#$genls {{#if: M-C |M-C|}} #$InferenceRelatedBookkeepingPredicate {{#if: M-C |M-C|}} #$BookkeepingPredicate {{#if:  |[[{{{2}}}]]|}} )

;;; #$Integer {{#if: m-C |m-C|}}

Assertion#69: 
(#$isa {{#if: 800 |800|}} #$Integer {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#70: 
( #$genls {{#if: M-C |M-C|}} #$Integer {{#if: M-C |M-C|}} #$RealNumber {{#if:  |[[{{{2}}}]]|}} )

;;; #$IntervalEntry {{#if: |[[]]|}}

Assertion#71: 
( #$isa {{#if: 800 |800|}} #$IntervalEntry {{#if: M-C |M-C|}} #$Format {{#if:  |[[]]|}})

;;; #$IrreflexiveBinaryPredicate {{#if: m-C |m-C|}}

Assertion#72: 
( #$isa {{#if: 800 |800|}} #$IrreflexiveBinaryPredicate {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#73: 
( #$genls {{#if: M-C |M-C|}} #$IrreflexiveBinaryPredicate {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#74: 
(#$not {{#if:  |[[]]|}} (#$and {{#if:  |[[]]|}} 
   (#$isa {{#if:  |[[]]|}} ?PRED #$IrreflexiveBinaryPredicate {{#if:  |[[]]|}}) 
   (?PRED ?OBJ ?OBJ)
                 ) )


{{MELD-A|75|a=075|
(#$implies {{#if:  |[[]]|}} 
   (#$and {{#if:  |[[]]|}} 
      (#$isa {{#if:  |[[]]|}} ?Q #$IrreflexiveBinaryPredicate {{#if:  |[[]]|}}) 
      (#$different {{#if:  |[[]]|}} ?P ?Q) 
      (#$genlPreds {{#if:  |[[]]|}} ?P ?Q)
   ) 
   (#$isa {{#if:  |[[]]|}} ?P #$IrreflexiveBinaryPredicate {{#if:  |[[]]|}})
)

;;; #$ListTheFormat

Assertion#76: 
(#$isa {{#if: 800 |800|}} #$ListTheFormat {{#if: M-C |M-C|}} #$Format {{#if:  |[[]]|}})

;;; #$Microtheory

Assertion#77: 
(#$isa {{#if: 800 |800|}} #$Microtheory {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#78: 
(#$genls {{#if: M-C |M-C|}} #$Microtheory {{#if: M-C |M-C|}} #$IndividualObject {{#if:  |[[]]|}})

;;; #$NonNegativeInteger {{#if: m-C |m-C|}}

Assertion#79: 
(#$isa {{#if: 800 |800|}} #$NonNegativeInteger {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})


Assertion#80: 
(#$genls {{#if: M-C |M-C|}} #$NonNegativeInteger {{#if: M-C |M-C|}} #$Integer {{#if:  |[[]]|}})

;;; #$NonPredicateFunction {{#if: m-C |m-C|}}

Assertion#81: 
(#$isa {{#if: 800 |800|}} #$NonPredicateFunction {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#82: 
(#$genls {{#if: M-C |M-C|}} #$NonPredicateFunction {{#if: M-C |M-C|}} #$FunctionTheMathematicalType {{#if:  |[[{{{2}}}]]|}} )

;;; #$PositiveInteger {{#if: m-C |m-C|}}

Assertion#83: 
(#$isa {{#if: 800 |800|}} #$PositiveInteger {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#84: 
(#$genls {{#if: M-C |M-C|}} #$PositiveInteger {{#if: M-C |M-C|}} #$NonNegativeInteger {{#if:  |[[{{{2}}}]]|}} )

;;; #$Predicate {{#if: m-C |m-C|}}

Assertion#85: 
(#$isa {{#if: 800 |800|}} #$Predicate {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})


Assertion#86: 
(#$genls {{#if: M-C |M-C|}} #$Predicate {{#if: M-C |M-C|}} #$FunctionTheMathematicalType {{#if:  |[[{{{2}}}]]|}} )

;;; #$ProblemSolvingCntxt {{#if: m-C |m-C|}}

Assertion#87: 
(#$isa {{#if: 800 |800|}} #$ProblemSolvingCntxt {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#88: 
(#$genls {{#if: M-C |M-C|}} #$ProblemSolvingCntxt {{#if: M-C |M-C|}} #$Microtheory {{#if:  |[[{{{2}}}]]|}} )

;;; #$QuaternaryPredicate

Assertion#89: 
(#$isa {{#if: 800 |800|}} #$QuaternaryPredicate {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})


Assertion#90: 
(#$genls {{#if: M-C |M-C|}} #$QuaternaryPredicate {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#91: 
(#$implies {{#if:  |[[]]|}} 
   (#$isa {{#if:  |[[]]|}} ?P #$QuaternaryPredicate {{#if:  |[[{{{2}}}]]|}} ) 
   (#$arity {{#if:  |[[]]|}} ?P 4 )
)

;;; #$QuintaryPredicate {{#if: m-C |m-C|}}

Assertion#92: 
(#$isa {{#if: 800 |800|}} #$QuintaryPredicate {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})


Assertion#93: 
(#$genls {{#if: M-C |M-C|}} #$QuintaryPredicate {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[]]|}})


Assertion#94: 
 (#$implies {{#if:  |[[]]|}} 
    (#$isa {{#if:  |[[]]|}} ?P #$QuintaryPredicate {{#if:  |[[{{{2}}}]]|}} ) 
    (#$arity {{#if:  |[[]]|}} ?P 5) )

;;; #$RealNumber {{#if: m-C |m-C|}}

Assertion#95: 
(#$isa {{#if: 800 |800|}} #$RealNumber {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#96: 
(#$genls {{#if: M-C |M-C|}} #$RealNumber {{#if: M-C |M-C|}} #$AttributeValue {{#if:  |[[{{{2}}}]]|}} )

;;; #$ReflexiveBinaryPredicate {{#if: m-C |m-C|}}

Assertion#97: 
(#$isa {{#if: 800 |800|}} #$ReflexiveBinaryPredicate {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#98: 
(#$genls {{#if: M-C |M-C|}} #$ReflexiveBinaryPredicate {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#99: 
(#$implies {{#if:  |[[]]|}} 
    (#$isa {{#if:  |[[]]|}} ?PRED #$ReflexiveBinaryPredicate {{#if:  |[[{{{2}}}]]|}} ) 
    (?PRED ?OBJ ?OBJ)
)

;;; #$ReifiableFunction {{#if: m-C |m-C|}}

Assertion#100: 
(#$isa {{#if: 800 |800|}} #$ReifiableFunction {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#101: 
(#$genls {{#if: M-C |M-C|}} #$ReifiableFunction {{#if: M-C |M-C|}} #$NonPredicateFunction {{#if:  |[[{{{2}}}]]|}} )

;;; #$ReifiableTerm {{#if: m-C |m-C|}}

Assertion#102: 
(#$isa {{#if: 800 |800|}} #$ReifiableTerm {{#if: M-C |M-C|}} #$ReifiableTerm {{#if:  |[[{{{2}}}]]|}} )


Assertion#103: 
(#$isa {{#if: 800 |800|}} #$ReifiableTerm {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#104: 
(#$genls {{#if: M-C |M-C|}} #$ReifiableTerm {{#if: M-C |M-C|}} #$CycIndexedTerm {{#if:  |[[{{{2}}}]]|}} )

;;; #$Relationship {{#if: m-C |m-C|}}

Assertion#105: 
(#$isa {{#if: 800 |800|}} #$Relationship {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})


Assertion#106: 
(#$genls {{#if: M-C |M-C|}} #$Relationship {{#if: M-C |M-C|}} #$IndividualObject {{#if:  |[[{{{2}}}]]|}} )

;;; #$Set-Mathematical {{#if: m-C |m-C|}}

Assertion#107: 
(#$isa {{#if: 800 |800|}} #$Set-Mathematical {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})


Assertion#108: 
(#$genls {{#if: M-C |M-C|}} #$Set-Mathematical {{#if: M-C |M-C|}} #$SetOrCollection {{#if:  |[[]]|}})

;;; #$SetOrCollection {{#if: m-C |m-C|}}

Assertion#109: 
(#$isa {{#if: 800 |800|}} #$SetOrCollection {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#110: 
(#$genls {{#if: M-C |M-C|}} #$SetOrCollection {{#if: M-C |M-C|}} #$Thing {{#if:  |[[{{{2}}}]]|}} )

;;; #$SetTheFormat {{#if: m-C |m-C|}}

Assertion#111: 
(#$isa {{#if: 800 |800|}} #$SetTheFormat {{#if: M-C |M-C|}} #$Format {{#if:  |[[]]|}})

;;; #$SiblingDisjointAttributeType {{#if: m-C |m-C|}}

Assertion#112: 
(#$isa {{#if: 800 |800|}} #$SiblingDisjointAttributeType {{#if: M-C |M-C|}} #$SiblingDisjointCollection {{#if:  |[[]]|}})


Assertion#113: 
(#$genls {{#if: M-C |M-C|}} #$SiblingDisjointAttributeType {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})


Assertion#114: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
      (#$isa {{#if:  |[[]]|}} ?C #$SiblingDisjointAttributeType {{#if:  |[[{{{2}}}]]|}} ) 
      (#$isa {{#if:  |[[]]|}} ?A1 ?C ) 
      (#$isa {{#if:  |[[]]|}} ?A2 ?C ) 
      (#$different {{#if:  |[[]]|}} ?A1 ?A2 ) 
      (#$hasAttributes {{#if:  |[[]]|}} ?G072 ?A1 ) 
      (#$hasAttributes {{#if:  |[[]]|}} ?G072 ?A2 )
    ) 
    (#$or {{#if:  |[[]]|}} 
      (#$genlAttributes {{#if:  |[[]]|}} ?A1 ?A2) 
      (#$genlAttributes {{#if:  |[[]]|}} ?A2 ?A1)
    )
)

;;; #$SiblingDisjointCollection {{#if: m-C |m-C|}}

Assertion#115: 
(#$isa {{#if: 800 |800|}} #$SiblingDisjointCollection {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})


Assertion#116: 
(#$genls {{#if: M-C |M-C|}} #$SiblingDisjointCollection {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

;;; #$SingleEntry {{#if: m-C |m-C|}}

Assertion#117: 
(#$isa {{#if: 800 |800|}} #$SingleEntry {{#if: M-C |M-C|}} #$Format {{#if:  |[[{{{2}}}]]|}} )

;;; #$SkolemFuncN {{#if: m-C |m-C|}}

Assertion#118: 
(#$isa {{#if: 800 |800|}} #$SkolemFuncN {{#if: M-C |M-C|}} #$ReifiableFunction {{#if:  |[[]]|}})


Assertion#119: 
(#$arity {{#if: M-C |M-C|}} #$SkolemFuncN {{#if:  |[[]]|}} 3)


Assertion#120: 
(#$arg1Isa {{#if: M-C |M-C|}} #$SkolemFuncN {{#if: M-C |M-C|}} #$CycSystemList {{#if:  |[[]]|}})


Assertion#121: 
(#$arg2Isa {{#if: M-C |M-C|}} #$SkolemFuncN {{#if: M-C |M-C|}} #$CycSystemSymbol {{#if:  |[[{{{2}}}]]|}} )


Assertion#122: 
(#$arg3Isa {{#if: M-C |M-C|}} #$SkolemFuncN {{#if: M-C |M-C|}} #$RealNumber {{#if:  |[[]]|}})

;;; #$SkolemFunction {{#if: m-C |m-C|}}

Assertion#123: 
(#$isa {{#if: 800 |800|}} #$SkolemFunction {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})


Assertion#124: 
(#$genls {{#if: M-C |M-C|}} #$SkolemFunction {{#if: M-C |M-C|}} #$ReifiableFunction {{#if:  |[[]]|}})


Assertion#125: 
(#$arity {{#if: M-C |M-C|}} #$SkolemFunction {{#if:  |[[]]|}} 2 )


Assertion#126: 
(#$arg2Isa {{#if: M-C |M-C|}} #$SkolemFunction {{#if: M-C |M-C|}} #$CycSystemSymbol {{#if:  |[[]]|}})


Assertion#127: 
(#$arg1Isa {{#if: M-C |M-C|}} #$SkolemFunction {{#if: M-C |M-C|}} #$CycSystemList {{#if:  |[[]]|}})

;;; #$SubAbs {{#if: m-C |m-C|}}

Assertion#128: 
(#$isa {{#if: 800 |800|}} #$SubAbs {{#if: M-C |M-C|}} #$Format {{#if:  |[[]]|}})

;;; #$SymmetricBinaryPredicate {{#if: m-C |m-C|}}

Assertion#129: 
(#$isa {{#if: 800 |800|}} #$SymmetricBinaryPredicate {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})


Assertion#130: 
(#$genls {{#if: M-C |M-C|}} #$SymmetricBinaryPredicate {{#if: M-C |M-C|}} #$CommutativeRelation {{#if:  |[[{{{2}}}]]|}} )


Assertion#131: 
(#$genls {{#if: M-C |M-C|}} #$SymmetricBinaryPredicate {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#132: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$isa {{#if:  |[[]]|}} ?PRED #$SymmetricBinaryPredicate {{#if:  |[[]]|}}) 
        (?PRED ?ARG1 ?ARG2)
    ) 
    (?PRED ?ARG2 ?ARG1)
)


Assertion#133: 
(#$implies {{#if:  |[[]]|}} 
    (#$isa {{#if:  |[[]]|}} ?PRED #$SymmetricBinaryPredicate {{#if:  |[[{{{2}}}]]|}} ) 
    (#$genlInverse {{#if:  |[[]]|}} ?PRED ?PRED )
)

;;; #$TemporalObject {{#if: m-C |m-C|}}

Assertion#134: 
(#$isa {{#if: 800 |800|}} #$TemporalObject {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})


Assertion#135: 
(#$genls {{#if: M-C |M-C|}} #$TemporalObject {{#if: M-C |M-C|}} #$IndividualObject {{#if:  |[[{{{2}}}]]|}} )

;;; #$TernaryPredicate

Assertion#136: 
(#$isa {{#if: 800 |800|}} #$TernaryPredicate {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#137: 
(#$genls {{#if: M-C |M-C|}} #$TernaryPredicate {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#138: 
(#$not {{#if:  |[[]]|}}      (#$and {{#if:  |[[]]|}} 
    (#$isa {{#if:  |[[]]|}} ?X #$TernaryPredicate {{#if:  |[[{{{2}}}]]|}} ) 
    (#$arg4Isa {{#if:  |[[]]|}} ?X ?Y )
                   )  )


Assertion#139: 
(#$implies {{#if:  |[[]]|}} 
    (#$isa {{#if:  |[[]]|}} ?P #$TernaryPredicate {{#if:  |[[{{{2}}}]]|}} ) 
    (#$arity {{#if:  |[[]]|}} ?P 3 )
)

;;; #$TheSet {{#if: m-C |m-C|}}

Assertion#140: 
(#$isa {{#if: 800 |800|}} #$TheSet {{#if: M-C |M-C|}} #$VariableArityRelation {{#if:  |[[{{{2}}}]]|}} )
 

Assertion#141: 
(#$isa {{#if: 800 |800|}} #$TheSet {{#if: M-C |M-C|}} #$NonPredicateFunction {{#if:  |[[]]|}})
 

Assertion#142: 
(#$resultIsa {{#if: M-C |M-C|}} #$TheSet {{#if: M-C |M-C|}} #$Set-Mathematical {{#if:  |[[]]|}})
 

Assertion#143: 
(#$argsIsa {{#if: M-C |M-C|}} #$TheSet {{#if: M-C |M-C|}} #$Thing {{#if:  |[[{{{2}}}]]|}} )

;;; #$TheTerm {{#if: m-C |m-C|}}

Assertion#144: 
(#$isa {{#if: 800 |800|}} #$TheTerm {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#145: 
(#$genls {{#if: M-C |M-C|}} #$TheTerm {{#if:  |[[]]|}}  #$Thing {{#if:  |[[{{{2}}}]]|}} )

;;; #$Thing {{#if: m-C |m-C|}}

Assertion#146: 
(#$isa {{#if: 800 |800|}} #$Thing {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#147: 
(#$isa {{#if:  |[[]]|}} ?OBJ #$Thing {{#if:  |[[]]|}})

;;; #$TransitiveBinaryPredicate {{#if: m-C |m-C|}}

Assertion#148: 
(#$isa {{#if: 800 |800|}} #$TransitiveBinaryPredicate {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#149: 
(#$genls {{#if: M-C |M-C|}} #$TransitiveBinaryPredicate {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[]]|}})


Assertion#150: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$isa {{#if:  |[[]]|}} ?U #$TransitiveBinaryPredicate {{#if:  |[[{{{2}}}]]|}} ) 
        ( ?U ?X ?Z ) 
        ( ?U ?Z ?VAR3 )
    ) 
    ( ?U ?X ?VAR3 )
)

;;; #$True {{#if: m-C |m-C|}}

Assertion#151: 
(#$isa {{#if: 800 |800|}} #$True {{#if: M-C |M-C|}} #$IndividualObject {{#if:  |[[{{{2}}}]]|}} )

;;; #$UnaryPredicate {{#if: m-C |m-C|}}

Assertion#152: 
(#$isa {{#if: 800 |800|}} #$UnaryPredicate {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#153: 
(#$genls {{#if: M-C |M-C|}} #$UnaryPredicate {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#154: 
(#$implies {{#if:  |[[]]|}} 
    (#$isa {{#if:  |[[]]|}} ?P #$UnaryPredicate {{#if:  |[[{{{2}}}]]|}} ) 
    (#$arity {{#if:  |[[]]|}} ?P 1 )
)

;;; #$UnaryTypePredicate {{#if: m-C |m-C|}}

Assertion#155: 
(#$isa {{#if: 800 |800|}} #$UnaryTypePredicate {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#156: 
(#$genls {{#if: M-C |M-C|}} #$UnaryTypePredicate {{#if: M-C |M-C|}} #$UnaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#157: 
(#$genls {{#if: M-C |M-C|}} #$UnaryTypePredicate {{#if: M-C |M-C|}} #$InferenceRelatedBookkeepingPredicate {{#if:  |[[{{{2}}}]]|}} )

;;; #$VariableArityRelation {{#if: m-C |m-C|}}

Assertion#158: 
(#$isa {{#if: 800 |800|}} #$VariableArityRelation {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#159: 
(#$genls {{#if: M-C |M-C|}} #$VariableArityRelation {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[{{{2}}}]]|}} )

;;; #$abnormal {{#if: m-C |m-C|}}

Assertion#160: 
(#$isa {{#if: 800 |800|}} #$abnormal {{#if: M-C |M-C|}} #$DefaultMonotonicPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#161: 
(#$isa {{#if: 800 |800|}} #$abnormal {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#162: 
(#$arity {{#if: M-C |M-C|}} #$abnormal {{#if:  |[[]]|}} 2 )


Assertion#163: 
(#$arg1Isa {{#if: M-C |M-C|}} #$abnormal {{#if: M-C |M-C|}} #$CycSystemList {{#if:  |[[{{{2}}}]]|}} )


{{MELD-A|164|a=164|
(#$arg2Isa {{#if: M-C |M-C|}} #$abnormal {{#if: meld-c |meld-c|}}  #$Assertion {{#if: 002 |002|}}

;;; #$afterAdding {{#if: m-C |m-C|}}

Assertion#165: 
(#$isa {{#if: 800 |800|}} #$afterAdding {{#if: M-C |M-C|}} #$InferenceRelatedBookkeepingPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#166: 
(#$isa {{#if: 800 |800|}} #$afterAdding {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#167: 
(#$arity {{#if: M-C |M-C|}} #$afterAdding {{#if:  |[[]]|}} 2 )


Assertion#168: 
(#$arg1Isa {{#if: M-C |M-C|}} #$afterAdding {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#169: 
(#$arg2Isa {{#if: M-C |M-C|}} #$afterAdding {{#if: M-C |M-C|}} #$CycSystemSymbol {{#if:  |[[{{{2}}}]]|}} )

;;; #$afterRemoving {{#if: m-C |m-C|}}

Assertion#170: 
(#$isa {{#if: 800 |800|}} #$afterRemoving {{#if: M-C |M-C|}} #$InferenceRelatedBookkeepingPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#171: 
(#$isa {{#if: 800 |800|}} #$afterRemoving {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#172: 
(#$arity {{#if: M-C |M-C|}} #$afterRemoving {{#if:  |[[]]|}} 2 )


Assertion#173: 
(#$arg1Isa {{#if: M-C |M-C|}} #$afterRemoving {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#174: 
(#$arg2Isa {{#if: M-C |M-C|}} #$afterRemoving {{#if: M-C |M-C|}} #$CycSystemSymbol {{#if:  |[[]]|}})

;;; #$and {{#if: m-C |m-C|}}

Assertion#175: 
(#$isa {{#if: 800 |800|}} #$and {{#if: M-C |M-C|}} #$CommutativeRelation {{#if:  |[[{{{2}}}]]|}} )


Assertion#176: 
(#$isa {{#if: 800 |800|}} #$and {{#if: M-C |M-C|}} #$VariableArityRelation {{#if:  |[[{{{2}}}]]|}} )


Assertion#178: 
(#$argsIsa {{#if: M-C |M-C|}} #$and {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )


Assertion#179: 
(#$resultIsa {{#if: M-C |M-C|}} #$and {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )

;;; #$arg1Format {{#if: m-C |m-C|}}

Assertion#180: 
(#$isa {{#if: 800 |800|}} #$arg1Format {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[]]|}})


Assertion#181: 
(#$arity {{#if: M-C |M-C|}} #$arg1Format {{#if:  |[[]]|}} 2 )


Assertion#182: 
(#$arg1Isa {{#if: M-C |M-C|}} #$arg1Format {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#183: 
(#$arg2Isa {{#if: M-C |M-C|}} #$arg1Format {{#if: M-C |M-C|}} #$Format {{#if:  |[[{{{2}}}]]|}} )

;;; #$arg1Genl {{#if: m-C |m-C|}}

Assertion#184: 
(#$isa {{#if: 800 |800|}} #$arg1Genl {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#185: 
(#$arity {{#if: M-C |M-C|}} #$arg1Genl {{#if:  |[[]]|}} 2 )


Assertion#186: 
(#$arg1Isa {{#if: M-C |M-C|}} #$arg1Genl {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[{{{2}}}]]|}} )


Assertion#187: 
(#$arg2Isa {{#if: M-C |M-C|}} #$arg1Genl {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

;;; #$arg1Isa {{#if: m-C |m-C|}}

Assertion#188: 
(#$isa {{#if: 800 |800|}} #$arg1Isa {{#if: M-C |M-C|}} #$DefaultMonotonicPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#189: 
(#$isa {{#if: 800 |800|}} #$arg1Isa {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#190: 
(#$arity {{#if: M-C |M-C|}} #$arg1Isa {{#if:  |[[]]|}} 2)


Assertion#191: 
(#$arg1Isa {{#if: M-C |M-C|}} #$arg1Isa {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[{{{2}}}]]|}} )


Assertion#192: 
(#$arg2Isa {{#if: M-C |M-C|}} #$arg1Isa {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

;;; #$arg2Format {{#if: m-C |m-C|}}

Assertion#193: 
(#$isa {{#if: 800 |800|}} #$arg2Format {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#194: 
(#$arity {{#if: M-C |M-C|}} #$arg2Format {{#if:  |[[]]|}} 2 )


Assertion#195: 
(#$arg1Isa {{#if: M-C |M-C|}} #$arg2Format {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#196: 
(#$arg2Isa {{#if: M-C |M-C|}} #$arg2Format {{#if: M-C |M-C|}} #$Format {{#if:  |[[{{{2}}}]]|}} )

;;; #$arg2Genl {{#if: m-C |m-C|}}

Assertion#197: 
(#$isa {{#if: 800 |800|}} #$arg2Genl {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#198: 
(#$arity {{#if: M-C |M-C|}} #$arg2Genl {{#if:  |[[]]|}} 2 )


Assertion#199: 
(#$arg1Isa {{#if: M-C |M-C|}} #$arg2Genl {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[{{{2}}}]]|}} )


Assertion#200: 200

;;; #$arg2Isa {{#if: m-C |m-C|}}

Assertion#201: 201

Assertion#202: 202

Assertion#203: 203

Assertion#204: 204

Assertion#205: 205

;;; #$arg3Format {{#if: m-C |m-C|}}

Assertion#206: 206

Assertion#207: 207

Assertion#208: 208

Assertion#209: 209

;;; #$arg3Genl {{#if: m-C |m-C|}}

Assertion#210: 210

Assertion#211: 211

Assertion#212: 212

Assertion#213: 213

;;; #$arg3Isa {{#if: m-C |m-C|}}

Assertion#214: 214

Assertion#215: 215

Assertion#216: 216

Assertion#217: 217

Assertion#218: 218

;;; #$arg4Format {{#if: m-C |m-C|}}

Assertion#219: 219

Assertion#220: 220

Assertion#221: 221

Assertion#222: 222

;;; #$arg4Genl {{#if: m-C |m-C|}}

Assertion#223: 223

Assertion#224: 224

Assertion#225: 225

Assertion#226: 226

;;; #$arg4Isa {{#if: m-C |m-C|}}

Assertion#227: 227

Assertion#228: 228

Assertion#229: 229

Assertion#230: 230

Assertion#231: 231

;;; #$arg5Format {{#if: m-C |m-C|}}

Assertion#232: 232

Assertion#233: 233

Assertion#234: 234

Assertion#235: 235

;;; #$arg5Genl {{#if: m-C |m-C|}}

Assertion#236: 236

Assertion#237: 237

Assertion#238: 238

Assertion#239: 239

;;; #$arg5Isa {{#if: m-C |m-C|}}

Assertion#240: 240

Assertion#241: 241

Assertion#242: 242

Assertion#243: 243

Assertion#244: 244

;;; #$argsGenl {{#if: m-C |m-C|}}

Assertion#245: 245

Assertion#246: 246

Assertion#247: 247

Assertion#248: 248

;;; #$argsIsa {{#if: m-C |m-C|}}

Assertion#249: 249

Assertion#250: 250

Assertion#251: 251

Assertion#252: 252

;;; #$arity {{#if: m-C |m-C|}}

Assertion#253: 253

Assertion#254: 254

Assertion#255: 255

Assertion#256: 256

Assertion#257: 257

;;; #$coExtensional {{#if: m-C |m-C|}}

Assertion#258: 258

Assertion#259: 259

Assertion#260: 260

Assertion#261: 261

Assertion#262: 262

Assertion#263: 263

Assertion#264: 264

;;; #$comment {{#if: m-C |m-C|}}

Assertion#265: 265

Assertion#266: 266

Assertion#267: 267

Assertion#268: 268

;;; #$cyclistNotes {{#if: m-C |m-C|}}

Assertion#269: 269

Assertion#270: 270

Assertion#271: 271

Assertion#272: 272

;;; #$defnIff {{#if: m-C |m-C|}}

Assertion#273: 273

Assertion#274: 274

Assertion#275: 275

Assertion#276: 276

Assertion#277: 277

Assertion#278: 278

;;; #$defnNecessary {{#if: m-C |m-C|}}

Assertion#279: 279

Assertion#280: 280

Assertion#281: 281

Assertion#282: 282

;;; #$defnSufficient {{#if: m-C |m-C|}}

Assertion#283: 283

Assertion#284: 284

Assertion#285: 285

Assertion#286: 286

Assertion#287: 287

;;; #$different {{#if: m-C |m-C|}}

Assertion#288: 288

Assertion#289: 289

Assertion#290: 290

Assertion#291: 291

Assertion#292: 292

;;; #$disjointWith {{#if: m-C |m-C|}}

Assertion#293: 293

Assertion#294: 294

Assertion#295: 295

Assertion#296: 296

Assertion#297: 297

Assertion#298: 298

Assertion#299: 299

Assertion#300: 
(#$not {{#if:  |[[]]|}}      (#$and {{#if:  |[[]]|}} 
       (#$isa {{#if:  |[[]]|}} ?OBJ ?COL1) 
       (#$isa {{#if:  |[[]]|}} ?OBJ ?COL2) 
       (#$disjointWith {{#if:  |[[]]|}} ?COL1 ?COL2)
    )   )


Assertion#301: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$disjointWith {{#if:  |[[]]|}} ?COL ?SUPERSET ) 
        (#$genls {{#if:  |[[]]|}} ?SUBSET ?SUPERSET )
    ) 
    (#$disjointWith {{#if:  |[[]]|}} ?COL ?SUBSET )
)


Assertion#302: 
(#$not {{#if:  |[[]]|}}  (#$and {{#if:  |[[]]|}} 
    (#$disjointWith {{#if:  |[[]]|}} ?X ?Y) 
    (#$genls {{#if:  |[[]]|}} ?X ?Y)
            )   )

;;; #$elementOf {{#if: m-C |m-C|}}

Assertion#303: 
(#$isa {{#if: 800 |800|}} #$elementOf {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[]]|}})


Assertion#304: 
(#$arity {{#if: M-C |M-C|}} #$elementOf {{#if:  |[[]]|}} 2)


Assertion#305: 
(#$arg1Isa {{#if: M-C |M-C|}} #$elementOf {{#if: M-C |M-C|}} #$Thing {{#if:  |[[]]|}})


Assertion#306: 
(#$arg2Isa {{#if: M-C |M-C|}} #$elementOf {{#if: M-C |M-C|}} #$SetOrCollection {{#if:  |[[]]|}})

;;; #$equals {{#if: m-C |m-C|}}

Assertion#307: 
(#$isa {{#if: 800 |800|}} #$equals {{#if: M-C |M-C|}} #$DefaultMonotonicPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#308: 
(#$isa {{#if: 800 |800|}} #$equals {{#if: M-C |M-C|}} #$SymmetricBinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#309: 
(#$isa {{#if: 800 |800|}} #$equals {{#if: M-C |M-C|}} #$ReflexiveBinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#310: 
(#$isa {{#if: 800 |800|}} #$equals {{#if: M-C |M-C|}} #$TransitiveBinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#311: 
(#$genlInverse {{#if: M-C |M-C|}} #$equals {{#if: M-C |M-C|}} #$equals {{#if:  |[[{{{2}}}]]|}} )


Assertion#312: 
(#$arity {{#if: M-C |M-C|}} #$equals {{#if:  |[[]]|}} 2 )


Assertion#313: 
(#$arg1Isa {{#if: M-C |M-C|}} #$equals {{#if: M-C |M-C|}} #$Thing {{#if:  |[[{{{2}}}]]|}} )


Assertion#314: 
(#$arg2Isa {{#if: M-C |M-C|}} #$equals {{#if: M-C |M-C|}} #$Thing {{#if:  |[[{{{2}}}]]|}} )

;;; #$exceptFor {{#if: m-C |m-C|}}

Assertion#315: 
(#$isa {{#if: 800 |800|}} #$exceptFor {{#if: M-C |M-C|}} #$Relatio1nship {{#if:  |[[]]|}})


Assertion#316: 
(#$arity {{#if: M-C |M-C|}} #$exceptFor {{#if:  |[[]]|}} 2)


{{MELD-A|317|a=317|
(#$arg2Isa {{#if: M-C |M-C|}} #$exceptFor {{#if: meld-c |meld-c|}}  #$Assertion {{#if: 002 |002|}} 

Assertion#318: 
(#$arg1Isa {{#if: M-C |M-C|}} #$exceptFor {{#if: M-C |M-C|}} #$ReifiableTerm {{#if:  |[[{{{2}}}]]|}} )

;;; #$exceptWhen {{#if: m-C |m-C|}}

Assertion#319: 
(#$isa {{#if: 800 |800|}} #$exceptWhen {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[]]|}})


Assertion#320: 
(#$arity {{#if: M-C |M-C|}} #$exceptWhen {{#if:  |[[]]|}} 2 )


{{MELD-A|321|a=321|
(#$arg2Isa {{#if: M-C |M-C|}} #$exceptWhen {{#if: meld-c |meld-c|}}  #$Assertion {{#if: 002 |002|}} 

Assertion#322: 
(#$arg1Isa {{#if: M-C |M-C|}} #$exceptWhen {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[]]|}})

;;; #$forAll {{#if: m-C |m-C|}}

Assertion#323: 
(#$isa {{#if: 800 |800|}} #$forAll {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[{{{2}}}]]|}} )


Assertion#324: 
(#$arity {{#if: M-C |M-C|}} #$forAll {{#if:  |[[]]|}} 2 )


Assertion#325: 
(#$arg2Isa {{#if: M-C |M-C|}} #$forAll {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )


Assertion#326: 
(#$arg1Isa {{#if: M-C |M-C|}} #$forAll {{#if: M-C |M-C|}} #$CycELVariable {{#if:  |[[{{{2}}}]]|}} )

;;; #$genlAttributes {{#if: m-C |m-C|}}

Assertion#327: 
(#$isa {{#if: 800 |800|}} #$genlAttributes {{#if: M-C |M-C|}} #$ReflexiveBinaryPredicate {{#if:  |[[]]|}})


Assertion#328: 
(#$isa {{#if: 800 |800|}} #$genlAttributes {{#if: M-C |M-C|}} #$TransitiveBinaryPredicate {{#if:  |[[]]|}})


Assertion#329: 
(#$arity {{#if: M-C |M-C|}} #$genlAttributes {{#if:  |[[]]|}} 2 )


Assertion#330: 
(#$arg1Isa {{#if: M-C |M-C|}} #$genlAttributes {{#if: M-C |M-C|}} #$AttributeValue {{#if:  |[[{{{2}}}]]|}} )


Assertion#331: 
(#$arg2Isa {{#if: M-C |M-C|}} #$genlAttributes {{#if: M-C |M-C|}} #$AttributeValue {{#if:  |[[]]|}})

;;; #$genlInverse {{#if: m-C |m-C|}}

Assertion#332: 
(#$isa {{#if: 800 |800|}} #$genlInverse {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[]]|}})


Assertion#333: 
(#$arity {{#if: M-C |M-C|}} #$genlInverse {{#if:  |[[]]|}} 2 )


Assertion#334: 
(#$arg1Isa {{#if: M-C |M-C|}} #$genlInverse {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#335: 
(#$arg2Isa {{#if: M-C |M-C|}} #$genlInverse {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#336: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$genlInverse {{#if:  |[[]]|}} ?PRED ?GEN-PRED) 
        (?PRED ?ARG1 ?ARG2)
    ) 
    (?GEN-PRED ?ARG2 ?ARG1)
)


Assertion#337: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$genlInverse {{#if:  |[[]]|}} ?SPEC-PRED ?PRED) 
        (#$genlInverse {{#if:  |[[]]|}} ?PRED ?GENL-PRED)
    ) 
    (#$genlPreds {{#if:  |[[]]|}} ?SPEC-PRED ?GENL-PRED)
)


Assertion#338: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$genlInverse {{#if:  |[[]]|}} ?SPEC-PRED ?PRED) 
        (#$genlPreds {{#if:  |[[]]|}} ?PRED ?GENL-PRED)
    ) 
    (#$genlInverse {{#if:  |[[]]|}} ?SPEC-PRED ?GENL-PRED)
)


Assertion#339: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$negationPreds {{#if:  |[[]]|}} ?GENL-PRED ?NEG-PRED ) 
        (#$genlInverse {{#if:  |[[]]|}} ?SPEC-PRED ?GENL-PRED )
    ) 
    (#$negationInverse {{#if:  |[[]]|}} ?NEG-PRED ?SPEC-PRED )
)


Assertion#340: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$negationInverse {{#if:  |[[]]|}} ?GENL-PRED ?NEG-PRED ) 
        (#$genlInverse {{#if:  |[[]]|}} ?SPEC-PRED ?GENL-PRED )
    ) 
    (#$negationPreds {{#if:  |[[]]|}} ?NEG-PRED ?SPEC-PRED )
)


Assertion#341: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$genlPreds {{#if:  |[[]]|}} ?SPEC-PRED ?PRED ) 
        (#$genlInverse {{#if:  |[[]]|}} ?PRED ?GENL-PRED )
    ) 
    (#$genlInverse {{#if:  |[[]]|}} ?SPEC-PRED ?GENL-PRED )
)

;;; #$genlMt {{#if: m-C |m-C|}}

Assertion#342: 
(#$isa {{#if: 800 |800|}} #$genlMt {{#if: M-C |M-C|}} #$DefaultMonotonicPredicate {{#if:  |[[]]|}})


{{MELD-A|343|a=343|
(#$isa {{#if: 800 |800|}} #$genlMt {{#if: meld-c |meld-c|}}  #$AntiSymmetricBinaryPredicate {{#if: 001 |001|}} 

Assertion#344: 
(#$isa {{#if: 800 |800|}} #$genlMt {{#if: M-C |M-C|}} #$ReflexiveBinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#345: 
(#$isa {{#if: 800 |800|}} #$genlMt {{#if: M-C |M-C|}} #$TransitiveBinaryPredicate {{#if:  |[[]]|}})


Assertion#346: 
(#$arity {{#if: M-C |M-C|}} #$genlMt {{#if:  |[[]]|}} 2)


Assertion#347: 
(#$arg1Isa {{#if: M-C |M-C|}} #$genlMt {{#if: M-C |M-C|}} #$Microtheory {{#if:  |[[{{{2}}}]]|}} )


Assertion#348: 
(#$arg2Isa {{#if: M-C |M-C|}} #$genlMt {{#if: M-C |M-C|}} #$Microtheory {{#if:  |[[{{{2}}}]]|}} )

;;; #$genlPreds {{#if: m-C |m-C|}}

Assertion#349: 
(#$isa {{#if: 800 |800|}} #$genlPreds {{#if: meld-c |meld-c|}}  #$AntiSymmetricBinaryPredicate {{#if: 001 |001|}} 

Assertion#350: 
(#$isa {{#if: 800 |800|}} #$genlPreds {{#if: M-C |M-C|}} #$ReflexiveBinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#351: 
(#$isa {{#if: 800 |800|}} #$genlPreds {{#if: M-C |M-C|}} #$TransitiveBinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#352: 
(#$arity {{#if: M-C |M-C|}} #$genlPreds {{#if:  |[[]]|}} 2 )


Assertion#353: 
(#$arg1Isa {{#if: M-C |M-C|}} #$genlPreds {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#354: 
(#$arg2Isa {{#if: M-C |M-C|}} #$genlPreds {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#355: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (?PRED ?ARG1) 
        (#$genlPreds {{#if:  |[[]]|}} ?PRED ?GENL-PRED )
    ) 
    (?GENL-PRED ?ARG1)
)


Assertion#356: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$negationPreds {{#if:  |[[]]|}} ?GENL-PRED ?NEG-PRED ) 
        (#$genlPreds {{#if:  |[[]]|}} ?SPEC-PRED ?GENL-PRED )
    ) 
    (#$negationPreds {{#if:  |[[]]|}} ?NEG-PRED ?SPEC-PRED )
)


Assertion#357: 
 (#$implies {{#if:  |[[]]|}} 
     (#$and {{#if:  |[[]]|}} 
         (#$negationInverse {{#if:  |[[]]|}} ?GENL-PRED ?NEG-PRED ) 
         (#$genlPreds {{#if:  |[[]]|}} ?SPEC-PRED ?GENL-PRED )
     ) 
     (#$negationInverse {{#if:  |[[]]|}} ?NEG-PRED ?SPEC-PRED )
 )


Assertion#358: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$genlPreds {{#if:  |[[]]|}} ?PRED ?GENL-PRED ) 
        (?PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4 ?ARG5 )
    ) 
    (?GENL-PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4 ?ARG5 )
)


Assertion#359: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$genlPreds {{#if:  |[[]]|}} ?PRED ?GENL-PRED) 
        (?PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4)
    ) 
    (?GENL-PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4)
)


Assertion#360: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$genlPreds {{#if:  |[[]]|}} ?PRED ?GENL-PRED) 
        (?PRED ?ARG1 ?ARG2 ?ARG3)
    ) 
    (?GENL-PRED ?ARG1 ?ARG2 ?ARG3)
)


Assertion#361: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$genlPreds {{#if:  |[[]]|}} ?PRED ?GENL-PRED) 
        (?PRED ?ARG1 ?ARG2)
    ) 
    (?GENL-PRED ?ARG1 ?ARG2 )
)

;;; #$genls {{#if: m-C |m-C|}}

Assertion#362: 
(#$isa {{#if: 800 |800|}} #$genls {{#if: M-C |M-C|}} #$DefaultMonotonicPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#363: 
(#$isa {{#if: 800 |800|}} #$genls {{#if: M-C |M-C|}} #$ReflexiveBinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#364: 
(#$isa {{#if: 800 |800|}} #$genls {{#if: M-C |M-C|}} #$TransitiveBinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#365: 
(#$arity {{#if: M-C |M-C|}} #$genls {{#if:  |[[]]|}} 2 )


Assertion#366: 
(#$arg1Isa {{#if: M-C |M-C|}} #$genls {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#367: 
(#$arg2Isa {{#if: M-C |M-C|}} #$genls {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#368: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$isa {{#if:  |[[]]|}} ?OBJ ?SUBSET ) 
        (#$genls {{#if:  |[[]]|}} ?SUBSET ?SUPERSET )
    ) 
    (#$isa {{#if:  |[[]]|}} ?OBJ ?SUPERSET )
)


Assertion#369: 
(#$implies {{#if:  |[[]]|}} 
    (#$resultgenl {{#if:  |[[]]|}} ?FUNC ?COLL ) 
    (#$genls {{#if:  |[[]]|}} 
        (?FUNC ?ARG1 ?ARG2 ?ARG3 ?ARG4 ?ARG5 )
        ?COLL
    )
)


Assertion#370: 
(#$implies {{#if:  |[[]]|}} 
    (#$resultgenl {{#if:  |[[]]|}} ?FUNC ?COLL ) 
    (#$genls {{#if:  |[[]]|}} 
        ( ?FUNC ?ARG1 ?ARG2 ?ARG3 ?ARG4 ) 
        ?COLL
    )
)


Assertion#371: 
(#$implies {{#if:  |[[]]|}} 
    (#$resultgenl {{#if:  |[[]]|}} ?FUNC ?COLL) 
    (#$genls {{#if:  |[[]]|}} 
        (?FUNC ?ARG1 ?ARG2 ?ARG3) 
        ?COLL
    )
)


Assertion#372: 
(#$implies {{#if:  |[[]]|}} 
    (#$resultgenl {{#if:  |[[]]|}} ?FUNC ?COLL) 
    (#$genls {{#if:  |[[]]|}} 
        (?FUNC ?ARG1 ?ARG2) 
        ?COLL
    )
)


Assertion#373: 
(#$implies {{#if:  |[[]]|}} 
   (#$resultgenl {{#if:  |[[]]|}} ?FUNC ?COLL) 
   (#$genls {{#if:  |[[]]|}} 
      (?FUNC ?ARG1) ?COLL)
)

;;; #$hasAttributes {{#if: m-C |m-C|}}

Assertion#374: 
(#$isa {{#if: 800 |800|}} #$hasAttributes {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

Assertion#375: 
(#$arity {{#if: M-C |M-C|}} #$hasAttributes {{#if:  |[[]]|}} 2)


Assertion#376: 
(#$arg1Isa {{#if: M-C |M-C|}} #$hasAttributes {{#if: M-C |M-C|}} #$TemporalObject {{#if:  |[[{{{2}}}]]|}} )


Assertion#377: 
(#$arg2Isa {{#if: M-C |M-C|}} #$hasAttributes {{#if: M-C |M-C|}} #$AttributeValue {{#if:  |[[{{{2}}}]]|}} )


Assertion#378: 
(#$not {{#if:  |[[]]|}}  (#$and {{#if:  |[[]]|}} 
    (#$hasAttributes {{#if:  |[[]]|}} ?Z ?X ) 
    (#$hasAttributes {{#if:  |[[]]|}} ?Z ?Y ) 
    (#$negationAttribute {{#if:  |[[]]|}} ?X ?Y )
              ) )

;;; #$holdsIn {{#if: m-C |m-C|}}

Assertion#379: 
(#$isa {{#if: 800 |800|}} #$holdsIn {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[]]|}})


Assertion#380: 
(#$arity {{#if: M-C |M-C|}} #$holdsIn {{#if:  |[[]]|}} 2)


Assertion#381: 
(#$arg1Isa {{#if: M-C |M-C|}} #$holdsIn {{#if: M-C |M-C|}} #$TemporalObject {{#if:  |[[{{{2}}}]]|}} )


Assertion#382: 
(#$arg2Isa {{#if: M-C |M-C|}} #$holdsIn {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )

;;; #$implies {{#if: m-C |m-C|}}

Assertion#383: 
(#$isa {{#if: 800 |800|}} #$implies {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[{{{2}}}]]|}} )


Assertion#384:  </font>
(#$arity {{#if: M-C |M-C|}} #$implies {{#if:  |[[]]|}} 2)


Assertion#385:  </font>
(#$arg2Isa {{#if: M-C |M-C|}} #$implies {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )


Assertion#386: 
(#$arg1Isa {{#if: M-C |M-C|}} #$implies {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )


Assertion#387: 
(#$resultIsa {{#if: M-C |M-C|}} #$implies {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )

;;; #$interArgIsa1-2 {{#if: m-C |m-C|}}

Assertion#388: 
(#$isa {{#if: 800 |800|}} #$interArgIsa1-2 {{#if: M-C |M-C|}} #$TernaryPredicate {{#if:  |[[]]|}})


Assertion#389: 
(#$arity {{#if: M-C |M-C|}} #$interArgIsa1-2 {{#if:  |[[]]|}} 3)


Assertion#390: 
(#$arg1Isa {{#if: M-C |M-C|}} #$interArgIsa1-2 {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[]]|}})


Assertion#391: 
(#$arg2Isa {{#if: M-C |M-C|}} #$interArgIsa1-2 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})


Assertion#392: 
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa1-2 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})


Assertion#393: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$requiredArg1Pred {{#if:  |[[]]|}} ?COL-1 ?PRED ) 
        (#$interArgIsa1-2 {{#if:  |[[]]|}} ?PRED ?COL-1 ?COL-2 )
    ) 
    (#$relationAllExists {{#if:  |[[]]|}} ?PRED ?COL-1 ?COL-2 )
)


Assertion#394: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$isa {{#if:  |[[]]|}} ?INDEP-INS ?INDEP-COL) 
        (?PRED ?INDEP-INS ?DEP-INS) 
        (#$interArgIsa1-2 {{#if:  |[[]]|}} ?PRED ?INDEP-COL ?DEP-COL)
    ) 
    (#$isa {{#if:  |[[]]|}} ?DEP-INS ?DEP-COL)
)

;;; #$interArgIsa1-3 {{#if: m-C |m-C|}}

Assertion#395: 
(#$isa {{#if: 800 |800|}} #$interArgIsa1-3 {{#if: M-C |M-C|}} #$TernaryPredicate {{#if:  |[[]]|}})


Assertion#396: 
(#$arity {{#if: M-C |M-C|}} #$interArgIsa1-3 {{#if:  |[[]]|}} 3)


Assertion#397: 
(#$arg1Isa {{#if: M-C |M-C|}} #$interArgIsa1-3 {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#398: 
(#$arg2Isa {{#if: M-C |M-C|}} #$interArgIsa1-3 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#399: 
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa1-3 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#400: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$isa {{#if:  |[[]]|}} ?INDEP-INS ?INDEP-COL ) 
        (#$interArgIsa1-3 {{#if:  |[[]]|}} ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?INDEP-INS ?ANY-ARG-2 ?DEP-INS)
    ) 
    (#$isa {{#if:  |[[]]|}} ?DEP-INS ?DEP-COL )
)

;;; #$interArgIsa1-4 {{#if: m-C |m-C|}}

Assertion#401: 
(#$isa {{#if: 800 |800|}} #$interArgIsa1-4 {{#if: M-C |M-C|}} #$TernaryPredicate {{#if:  |[[]]|}})


Assertion#402: 
(#$arity {{#if: M-C |M-C|}} #$interArgIsa1-4 {{#if:  |[[]]|}} 3 )


Assertion#403: 
(#$arg1Isa {{#if: M-C |M-C|}} #$interArgIsa1-4 {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#404: 
(#$arg2Isa {{#if: M-C |M-C|}} #$interArgIsa1-4 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#405: 
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa1-4 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})
 

Assertion#406: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$isa {{#if:  |[[]]|}} ?INDEP-INS ?INDEP-COL) 
        (#$interArgIsa1-4 {{#if:  |[[]]|}} ?PRED ?INDEP-COL ?DEP-COL) 
        (?PRED ?INDEP-INS ?ANY-ARG-2 ?ANY-ARG-3 ?DEP-INS)
    ) 
    (#$isa {{#if:  |[[]]|}} ?DEP-INS ?DEP-COL )
)

;;; #$interArgIsa1-5 {{#if: m-C |m-C|}}

Assertion#407: 
(#$isa {{#if: 800 |800|}} #$interArgIsa1-5 {{#if: M-C |M-C|}} #$TernaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#408: 
 (#$arity {{#if: M-C |M-C|}} #$interArgIsa1-5 {{#if:  |[[]]|}} 3 )


Assertion#409: 
 (#$arg1Isa {{#if: M-C |M-C|}} #$interArgIsa1-5 {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#410: 
 (#$arg2Isa {{#if: M-C |M-C|}} #$interArgIsa1-5 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#411: 
 (#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa1-5 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#412: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$isa {{#if:  |[[]]|}} ?INDEP-INS ?INDEP-COL ) 
        (#$interArgIsa1-5 {{#if:  |[[]]|}} ?PRED ?INDEP-COL ?DEP-COL ) 
        ( ?PRED ?INDEP-INS ?ANY-ARG-2 ?ANY-ARG-3 ?ANY-ARG-4 ?DEP-INS )
    ) 
    (#$isa {{#if:  |[[]]|}} ?DEP-INS ?DEP-COL)
)

;;; #$interArgIsa2-1 {{#if: m-C |m-C|}}

Assertion#413: 
(#$isa {{#if: 800 |800|}} #$interArgIsa2-1 {{#if: M-C |M-C|}} #$TernaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#414: 
(#$arity {{#if: M-C |M-C|}} #$interArgIsa2-1 3 {{#if:  |[[{{{2}}}]]|}} )


Assertion#415: 
(#$arg1Isa {{#if: M-C |M-C|}} #$interArgIsa2-1 {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )


{{MELD-A|416|a=416|
 (#$arg2Isa {{#if: M-C |M-C|}} #$interArgIsa2-1 #$Collection)
  {{#if:  |[[]]|}}

Assertion#417: 
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa2-1 #$Collection)
  {{#if:  |[[]]|}}

Assertion#418: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$isa {{#if:  |[[]]|}} ?INDEP-INS ?INDEP-COL ) 
        (?PRED ?DEP-INS ?INDEP-INS ) 
        (#$interArgIsa2-1 {{#if:  |[[]]|}} ?PRED ?INDEP-COL ?DEP-COL )
    ) 
    (#$isa {{#if:  |[[]]|}} ?DEP-INS ?DEP-COL)
)

;;; #$interArgIsa2-3 {{#if: m-C |m-C|}}

Assertion#419: 
 (#$isa {{#if: 800 |800|}} #$interArgIsa2-3 {{#if: M-C |M-C|}} #$TernaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#420: 
(#$arity {{#if: M-C |M-C|}} #$interArgIsa2-3 {{#if:  |[[]]|}} 3 )


 Assertion#421: 
(#$arg1Isa {{#if: M-C |M-C|}} #$interArgIsa2-3 {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )


 Assertion#422: 
(#$arg2Isa {{#if: M-C |M-C|}} #$interArgIsa2-3 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


 Assertion#423: 
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa2-3 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )
 

 Assertion#424: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$isa {{#if:  |[[]]|}} ?INDEP-INS ?INDEP-COL ) 
        (#$interArgIsa2-3 {{#if:  |[[]]|}} ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?ANY-ARG-1 ?INDEP-INS ?DEP-INS )
    ) 
    (#$isa {{#if:  |[[]]|}} ?DEP-INS ?DEP-COL )
)

;;; #$interArgIsa2-4 {{#if: m-C |m-C|}}

 Assertion#425: 
(#$isa {{#if: 800 |800|}} #$interArgIsa2-4 {{#if: M-C |M-C|}} #$TernaryPredicate {{#if:  |[[{{{2}}}]]|}} )


 Assertion#426: 
(#$arity {{#if: M-C |M-C|}} #$interArgIsa2-4 3 {{#if:  |[[{{{2}}}]]|}} )


 Assertion#427: 
(#$arg1Isa {{#if: M-C |M-C|}} #$interArgIsa2-4 {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )


 Assertion#428: 
(#$arg2Isa {{#if: M-C |M-C|}} #$interArgIsa2-4 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


 Assertion#429: 
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa2-4 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )
 

Assertion#430: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$isa {{#if:  |[[]]|}} ?INDEP-INS ?INDEP-COL ) 
        (#$interArgIsa2-4 {{#if:  |[[]]|}} ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?ANY-ARG-1 ?INDEP-INS ?ANY-ARG-3 ?DEP-INS )
    ) 
    (#$isa {{#if:  |[[]]|}} ?DEP-INS ?DEP-COL )
)

;;; #$interArgIsa2-5 {{#if: m-C |m-C|}}

 Assertion#431: 
(#$isa {{#if: 800 |800|}} #$interArgIsa2-5 {{#if: M-C |M-C|}} #$TernaryPredicate {{#if:  |[[{{{2}}}]]|}} )


 Assertion#432: 
(#$arity {{#if: M-C |M-C|}} #$interArgIsa2-5 {{#if:  |[[]]|}} 3 )


 Assertion#433: 
(#$arg1Isa {{#if: M-C |M-C|}} #$interArgIsa2-5 {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )


 Assertion#434: 
(#$arg2Isa {{#if: M-C |M-C|}} #$interArgIsa2-5 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


 Assertion#435: 
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa2-5 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )
 

 Assertion#436: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$isa {{#if:  |[[]]|}} ?INDEP-INS ?INDEP-COL ) 
        (#$interArgIsa2-5 {{#if:  |[[]]|}} ?PRED ?INDEP-COL ?DEP-COL) 
        (?PRED ?ANY-ARG-1 ?INDEP-INS ?ANY-ARG-3 ?ANY-ARG-4 ?DEP-INS ) 
    ) 
    (#$isa {{#if:  |[[]]|}} ?DEP-INS ?DEP-COL )
)

;;; #$interArgIsa3-1 {{#if: m-C |m-C|}}

 Assertion#437: 
(#$isa {{#if: 800 |800|}} #$interArgIsa3-1 {{#if: M-C |M-C|}} #$TernaryPredicate {{#if:  |[[{{{2}}}]]|}} )


 Assertion#438: 
(#$arity {{#if: M-C |M-C|}} #$interArgIsa3-1 {{#if:  |[[]]|}} 3 )


 Assertion#439: 
(#$arg1Isa {{#if: M-C |M-C|}} #$interArgIsa3-1 {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )


 Assertion#440: 
(#$arg2Isa {{#if: M-C |M-C|}} #$interArgIsa3-1 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


 Assertion#441: 
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa3-1 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )
 

 Assertion#442: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$isa {{#if:  |[[]]|}} ?INDEP-INS ?INDEP-COL ) 
        (#$interArgIsa3-1 {{#if:  |[[]]|}} ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?DEP-INS ?ANY-ARG-2 ?INDEP-INS )
    ) 
    (#$isa {{#if:  |[[]]|}} ?DEP-INS ?DEP-COL )
)

;;; #$interArgIsa3-2 {{#if: m-C |m-C|}}

 Assertion#443: 
 (#$isa {{#if: 800 |800|}} #$interArgIsa3-2 {{#if: M-C |M-C|}} #$TernaryPredicate {{#if:  |[[{{{2}}}]]|}} )


 Assertion#444: 
(#$arity {{#if: M-C |M-C|}} #$interArgIsa3-2 {{#if:  |[[]]|}} 3 )


 Assertion#445: 
(#$arg1Isa {{#if: M-C |M-C|}} #$interArgIsa3-2 {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )


 Assertion#446: 
(#$arg2Isa {{#if: M-C |M-C|}} #$interArgIsa3-2 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})


 Assertion#447: 
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa3-2 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


 Assertion#448: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$isa {{#if:  |[[]]|}} ?INDEP-INS ?INDEP-COL ) 
        (#$interArgIsa3-2 {{#if:  |[[]]|}} ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?ANY-ARG-1 ?DEP-INS ?INDEP-INS )
    ) 
    (#$isa {{#if:  |[[]]|}} ?DEP-INS ?DEP-COL)
)

;;; #$interArgIsa3-4 {{#if: m-C |m-C|}}

 Assertion#449: 
(#$isa {{#if: 800 |800|}} #$interArgIsa3-4 {{#if: M-C |M-C|}} #$TernaryPredicate {{#if:  |[[{{{2}}}]]|}} )


 Assertion#450: 
(#$arity {{#if: M-C |M-C|}} #$interArgIsa3-4 {{#if:  |[[]]|}} 3 )


 Assertion#451: 
(#$arg1Isa {{#if: M-C |M-C|}} #$interArgIsa3-4 {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )


 Assertion#452: 
(#$arg2Isa {{#if: M-C |M-C|}} #$interArgIsa3-4 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})


 Assertion#453: 
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa3-4 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


 Assertion#454: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$isa {{#if:  |[[]]|}} ?INDEP-INS ?INDEP-COL ) 
        (#$interArgIsa3-4 {{#if:  |[[]]|}} ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?ANY-ARG-1 ?ANY-ARG-2 ?INDEP-INS ?DEP-INS )
    ) 
    (#$isa {{#if:  |[[]]|}} ?DEP-INS ?DEP-COL )
)

;;; #$interArgIsa3-5 {{#if: m-C |m-C|}}

 Assertion#455: 
(#$isa {{#if: 800 |800|}} #$interArgIsa3-5 {{#if: M-C |M-C|}} #$TernaryPredicate {{#if:  |[[{{{2}}}]]|}} )


 Assertion#456: 
(#$arity {{#if: M-C |M-C|}} #$interArgIsa3-5 {{#if:  |[[]]|}} 3 )


 Assertion#457: 
(#$arg1Isa {{#if: M-C |M-C|}} #$interArgIsa3-5 {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )


 Assertion#458: 
(#$arg2Isa {{#if: M-C |M-C|}} #$interArgIsa3-5 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


 Assertion#459: 
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa3-5 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})
 

 Assertion#460: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$isa {{#if:  |[[]]|}} ?INDEP-INS ?INDEP-COL ) 
        (#$interArgIsa3-5 {{#if:  |[[]]|}} ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?ANY-ARG-1 ?ANY-ARG-2 ?INDEP-INS ?ANY-ARG-4 ?DEP-INS )
    ) 
    (#$isa {{#if:  |[[]]|}} ?DEP-INS ?DEP-COL )
)

;;; #$interArgIsa4-1 {{#if: m-C |m-C|}}

Assertion#461: 
(#$isa {{#if: 800 |800|}} #$interArgIsa4-1 {{#if: M-C |M-C|}} #$TernaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#462: 
(#$arity {{#if: M-C |M-C|}} #$interArgIsa4-1 {{#if:  |[[]]|}} 3 )


Assertion#463: 
(#$arg1Isa {{#if: M-C |M-C|}} #$interArgIsa4-1 {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#464: 
(#$arg2Isa {{#if: M-C |M-C|}} #$interArgIsa4-1 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#465: 
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa4-1 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )
 

Assertion#466: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$isa {{#if:  |[[]]|}} ?INDEP-INS ?INDEP-COL ) 
        (#$interArgIsa4-1 {{#if:  |[[]]|}} ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?DEP-INS ?ANY-ARG-2 ?ANY-ARG-3 ?INDEP-INS )
    ) 
    (#$isa {{#if:  |[[]]|}} ?DEP-INS ?DEP-COL )
)

;;; #$interArgIsa4-2 {{#if: m-C |m-C|}}

Assertion#467: 
(#$isa {{#if: 800 |800|}} #$interArgIsa4-2 {{#if: M-C |M-C|}} #$TernaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#468: 
(#$arity {{#if: M-C |M-C|}} #$interArgIsa4-2 {{#if:  |[[]]|}} 3 )


Assertion#469: 
(#$arg1Isa {{#if: M-C |M-C|}} #$interArgIsa4-2 {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#470: 
(#$arg2Isa {{#if: M-C |M-C|}} #$interArgIsa4-2 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#471: 
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa4-2 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )
 

Assertion#472: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$isa {{#if:  |[[]]|}} ?INDEP-INS ?INDEP-COL ) 
        (#$interArgIsa4-2 {{#if:  |[[]]|}} ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?ANY-ARG-1 ?DEP-INS ?ANY-ARG-3 ?INDEP-INS )
    ) 
    (#$isa {{#if:  |[[]]|}} ?DEP-INS ?DEP-COL )
)

;;; #$interArgIsa4-3 {{#if: m-C |m-C|}}

Assertion#473: 
(#$isa {{#if: 800 |800|}} #$interArgIsa4-3 {{#if: M-C |M-C|}} #$TernaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#474: 
(#$arity {{#if: M-C |M-C|}} #$interArgIsa4-3 {{#if:  |[[]]|}} 3 )


Assertion#475: 
(#$arg1Isa {{#if: M-C |M-C|}} #$interArgIsa4-3 {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#476: 
(#$arg2Isa {{#if: M-C |M-C|}} #$interArgIsa4-3 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#477: 
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa4-3 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )
 

Assertion#478: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$isa {{#if:  |[[]]|}} ?INDEP-INS ?INDEP-COL ) 
        (#$interArgIsa4-3 {{#if:  |[[]]|}} ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?ANY-ARG-1 ?ANY-ARG-2 ?DEP-INS ?INDEP-INS ) 
    ) 
    (#$isa {{#if:  |[[]]|}} ?DEP-INS ?DEP-COL )
)

;;; #$interArgIsa4-5 {{#if: m-C |m-C|}}

Assertion#479: 
(#$isa {{#if: 800 |800|}} #$interArgIsa4-5 {{#if: M-C |M-C|}} #$TernaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#480: 
(#$arity {{#if: M-C |M-C|}} #$interArgIsa4-5 {{#if:  |[[]]|}} 3 )


Assertion#481: 
(#$arg1Isa {{#if: M-C |M-C|}} #$interArgIsa4-5 {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#482: 
(#$arg2Isa {{#if: M-C |M-C|}} #$interArgIsa4-5 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#483: 
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa4-5 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )
 

Assertion#484: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$isa {{#if:  |[[]]|}} ?INDEP-INS ?INDEP-COL ) 
        (#$interArgIsa4-5 {{#if:  |[[]]|}} ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?ANY-ARG-1 ?ANY-ARG-2 ?ANY-ARG-3 ?INDEP-INS ?DEP-INS  )
    ) 
    (#$isa {{#if:  |[[]]|}} ?DEP-INS ?DEP-COL )
)

;;; #$interArgIsa5-1 {{#if: m-C |m-C|}}

Assertion#485: 
(#$isa {{#if: 800 |800|}} #$interArgIsa5-1 {{#if: M-C |M-C|}} #$TernaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#486: 
(#$arity {{#if: M-C |M-C|}} #$interArgIsa5-1 {{#if:  |[[]]|}} 3 )


Assertion#487: 
(#$arg1Isa {{#if: M-C |M-C|}} #$interArgIsa5-1 {{#if: M-C |M-C|}} #$QuintaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#488: 
(#$arg2Isa {{#if: M-C |M-C|}} #$interArgIsa5-1 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#489: 
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa5-1 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#490: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$isa {{#if:  |[[]]|}} ?INDEP-INS ?INDEP-COL) 
        (#$interArgIsa5-1 {{#if:  |[[]]|}} ?PRED ?INDEP-COL ?DEP-COL) 
        (?PRED ?DEP-INS ?ANY-ARG-2 ?ANY-ARG-3 ?ANY-ARG-4 ?INDEP-INS )
    ) 
    (#$isa {{#if:  |[[]]|}} ?DEP-INS ?DEP-COL )
)

;;; #$interArgIsa5-2 {{#if: m-C |m-C|}}

Assertion#491: 
(#$isa {{#if: 800 |800|}} #$interArgIsa5-2 {{#if: M-C |M-C|}} #$TernaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#492: 
(#$arity {{#if: M-C |M-C|}} #$interArgIsa5-2 {{#if:  |[[]]|}} 3 )


Assertion#493: 
(#$arg1Isa {{#if: M-C |M-C|}} #$interArgIsa5-2 {{#if: M-C |M-C|}} #$QuintaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#494: 
(#$arg2Isa {{#if: M-C |M-C|}} #$interArgIsa5-2 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})


Assertion#495: 
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa5-2 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})


Assertion#496: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$isa {{#if:  |[[]]|}} ?INDEP-INS ?INDEP-COL ) 
        (#$interArgIsa5-2 {{#if:  |[[]]|}} ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?ANY-ARG-1 ?DEP-INS ?ANY-ARG-3 ?ANY-ARG-4 ?INDEP-INS )
    ) 
    (#$isa {{#if:  |[[]]|}} ?DEP-INS ?DEP-COL )
)

;;; #$interArgIsa5-3 {{#if: m-C |m-C|}}

Assertion#497: 
(#$isa {{#if: 800 |800|}} #$interArgIsa5-3 {{#if: M-C |M-C|}} #$TernaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#498: 
(#$arity {{#if: M-C |M-C|}} #$interArgIsa5-3 {{#if:  |[[]]|}} 3 )


Assertion#499: 
(#$arg1Isa {{#if: M-C |M-C|}} #$interArgIsa5-3 {{#if: M-C |M-C|}} #$QuintaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#500: 
(#$arg2Isa {{#if: M-C |M-C|}} #$interArgIsa5-3 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#501: 
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa5-3 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )
 

Assertion#502: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$isa {{#if:  |[[]]|}} ?INDEP-INS ?INDEP-COL ) 
        (#$interArgIsa5-3 {{#if:  |[[]]|}} ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?ANY-ARG-1 ?ANY-ARG-2 ?DEP-INS ?ANY-ARG-4 ?INDEP-INS )
    ) 
    (#$isa {{#if:  |[[]]|}} ?DEP-INS ?DEP-COL )
)

;;; #$interArgIsa5-4 {{#if: m-C |m-C|}}

Assertion#503: 
(#$isa {{#if: 800 |800|}} #$interArgIsa5-4 {{#if: M-C |M-C|}} #$TernaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#504: 
(#$arity {{#if: M-C |M-C|}} #$interArgIsa5-4 {{#if:  |[[]]|}} 3)


Assertion#505: 
(#$arg1Isa {{#if: M-C |M-C|}} #$interArgIsa5-4 {{#if: M-C |M-C|}} #$QuintaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#506: 
(#$arg2Isa {{#if: M-C |M-C|}} #$interArgIsa5-4 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#507: 
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa5-4 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

 
Assertion#508: 
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$isa {{#if:  |[[]]|}} ?INDEP-INS ?INDEP-COL ) 
        (#$interArgIsa5-4 {{#if:  |[[]]|}} ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?ANY-ARG-1 ?ANY-ARG-2 ?ANY-ARG-3 ?DEP-INS ?INDEP-INS )
    ) 
    (#$isa {{#if:  |[[]]|}} ?DEP-INS ?DEP-COL )
)

;;; #$relationExistsAll {{#if: m-C |m-C|}}

Assertion#509: 
(#$isa {{#if: 800 |800|}} #$relationExistsAll {{#if: M-C |M-C|}} #$TernaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#510: 
(#$arity {{#if: M-C |M-C|}} #$relationExistsAll {{#if:  |[[]]|}} 3 )


Assertion#511: 
(#$arg1Isa {{#if: M-C |M-C|}} #$relationExistsAll {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#512: 
(#$arg2Isa {{#if: M-C |M-C|}} #$relationExistsAll {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#513: 
(#$arg3Isa {{#if: M-C |M-C|}} #$relationExistsAll {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

;;; #$relationExistsCountAll {{#if: m-C |m-C|}}

Assertion#514: 
(#$isa {{#if: 800 |800|}} #$relationExistsCountAll {{#if: M-C |M-C|}} #$QuaternaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#515: 
(#$arity {{#if: M-C |M-C|}} #$relationExistsCountAll {{#if:  |[[]]|}} 4 )


Assertion#516: 
(#$arg1Isa {{#if: M-C |M-C|}} #$relationExistsCountAll {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#517: 
(#$arg2Isa {{#if: M-C |M-C|}} #$relationExistsCountAll {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})


Assertion#518: 
(#$arg3Isa {{#if: M-C |M-C|}} #$relationExistsCountAll {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})


Assertion#519: 
(#$arg4Isa {{#if: M-C |M-C|}} #$relationExistsCountAll {{#if: M-C |M-C|}} #$NonNegativeInteger {{#if:  |[[{{{2}}}]]|}} )

;;; #$isa {{#if: 800 |800|}}

Assertion#520: 
(#$isa {{#if: 800 |800|}} #$isa {{#if: 800 |800|}} #$DefaultMonotonicPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#521: 
(#$isa {{#if: 800 |800|}} #$isa {{#if: 800 |800|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#522: 
(#$arity {{#if: M-C |M-C|}} #$isa {{#if:  |[[]]|}} 2 )


Assertion#523: 
(#$arg1Isa {{#if: M-C |M-C|}} #$isa {{#if: 800 |800|}} #$ReifiableTerm {{#if:  |[[{{{2}}}]]|}} )


Assertion#524: 
(#$arg2Isa {{#if: M-C |M-C|}} #$isa {{#if: 800 |800|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#525: 
(#$implies {{#if:  |[[]]|}} 
    ( #$resultIsa {{#if:  |[[]]|}} ?F ?COL ) 
    ( #$isa {{#if:  |[[]]|}} 
        (?F ?ARG1 ?ARG2 ?ARG3 ) 
        ?COL
    )
)

 
Assertion#526: 
(#$implies {{#if:  |[[]]|}} 
    (#$resultIsa {{#if:  |[[]]|}} ?F ?COL ) 
    (#$isa {{#if:  |[[]]|}} 
        (?F ?ARG1 ?ARG2 ) 
           ?COL
    )
)

 
Assertion#527: 
(#$implies {{#if:  |[[]]|}} 
    (#$resultIsa {{#if:  |[[]]|}} ?F ?COL) 
    (#$isa {{#if:  |[[]]|}} 
        (?F ?ARG1 ) 
        ?COL 
    )
)

;;; #$ist {{#if: m-C |m-C|}}

Assertion#528: 
(#$isa {{#if: 800 |800|}} #$ist {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#529: 
(#$arity {{#if: M-C |M-C|}} #$ist {{#if:  |[[]]|}} 2 )


Assertion#530: 
(#$arg1Isa {{#if: M-C |M-C|}} #$ist {{#if: M-C |M-C|}} #$Microtheory {{#if:  |[[{{{2}}}]]|}} )


Assertion#531: 
(#$arg2Isa {{#if: M-C |M-C|}} #$ist {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )

;;; #$lispDefun {{#if: m-C |m-C|}}

Assertion#532: 
(#$isa {{#if: 800 |800|}} #$lispDefun {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#533: 
(#$arity {{#if: M-C |M-C|}} #$lispDefun {{#if:  |[[]]|}} 2 )


Assertion#534: 
(#$arg1Isa {{#if: M-C |M-C|}} #$lispDefun {{#if: M-C |M-C|}} #$EvaluatableFunction {{#if:  |[[{{{2}}}]]|}} )


Assertion#535: 
(#$arg2Isa {{#if: M-C |M-C|}} #$lispDefun {{#if: M-C |M-C|}} #$CycSystemSymbol {{#if:  |[[{{{2}}}]]|}} )

;;; #$minimizeExtent {{#if: m-C |m-C|}}

Assertion#536: 
(#$isa {{#if: 800 |800|}} #$minimizeExtent {{#if: M-C |M-C|}} #$UnaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#537: 
(#$arity {{#if: M-C |M-C|}} #$minimizeExtent {{#if:  |[[]]|}} 1 )


Assertion#538: 
(#$arg1Isa {{#if: M-C |M-C|}} #$minimizeExtent {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )

;;; #$mtInferenceFunction {{#if: m-C |m-C|}}

Assertion#539: 
(#$isa {{#if: 800 |800|}} #$mtInferenceFunction {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#549: 
(#$arity {{#if: M-C |M-C|}} #$mtInferenceFunction {{#if:  |[[]]|}} 2 )


Assertion#541: 
(#$arg1Isa {{#if: M-C |M-C|}} #$mtInferenceFunction {{#if: M-C |M-C|}} #$Microtheory {{#if:  |[[{{{2}}}]]|}} )


Assertion#542: 
(#$arg2Isa {{#if: M-C |M-C|}} #$mtInferenceFunction {{#if: M-C |M-C|}} #$CycSystemSymbol {{#if:  |[[{{{2}}}]]|}} )

;;; #$myCreationTime {{#if: m-C |m-C|}}

Assertion#543: 
(#$isa {{#if: 800 |800|}} #$myCreationTime {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#544: 
(#$isa {{#if: 800 |800|}} #$myCreationTime {{#if: M-C |M-C|}} #$BookkeepingPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#545: 
(#$arity {{#if: M-C |M-C|}} #$myCreationTime {{#if:  |[[]]|}} 2 )


Assertion#546: 
(#$arg1Isa {{#if: M-C |M-C|}} #$myCreationTime {{#if: M-C |M-C|}} #$Thing {{#if:  |[[{{{2}}}]]|}} )


Assertion#543: 
(#$arg2Isa {{#if: M-C |M-C|}} #$myCreationTime {{#if: M-C |M-C|}} #$PositiveInteger {{#if:  |[[{{{2}}}]]|}} )

;;; #$myCreator {{#if: m-C |m-C|}}

Assertion#548: 
(#$isa {{#if: 800 |800|}} #$myCreator {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#549: 
(#$isa {{#if: 800 |800|}} #$myCreator {{#if: M-C |M-C|}} #$BookkeepingPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#550: 
(#$arity {{#if: M-C |M-C|}} #$myCreator {{#if:  |[[]]|}} 2)


Assertion#551: 
(#$arg1Isa {{#if: M-C |M-C|}} #$myCreator {{#if: M-C |M-C|}} #$Thing {{#if:  |[[{{{2}}}]]|}} )


Assertion#552: 
(#$arg2Isa {{#if: M-C |M-C|}} #$myCreator {{#if: M-C |M-C|}} #$Cyclist {{#if:  |[[{{{2}}}]]|}} )

;;; #$negationAttribute {{#if: m-C |m-C|}}

Assertion#553: 
(#$isa {{#if: 800 |800|}} #$negationAttribute {{#if: M-C |M-C|}} #$SymmetricBinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#554: 
(#$isa {{#if: 800 |800|}} #$negationAttribute {{#if: M-C |M-C|}} #$IrreflexiveBinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#555: 
(#$genlInverse {{#if: M-C |M-C|}} #$negationAttribute {{#if: M-C |M-C|}} #$negationAttribute {{#if:  |[[{{{2}}}]]|}} )


Assertion#556: 
(#$arity {{#if: M-C |M-C|}} #$negationAttribute {{#if:  |[[]]|}} 2)


Assertion#557: 
(#$arg1Isa {{#if: M-C |M-C|}} #$negationAttribute {{#if: M-C |M-C|}} #$AttributeValue {{#if:  |[[{{{2}}}]]|}} )


Assertion#558: 
(#$arg2Isa {{#if: M-C |M-C|}} #$negationAttribute {{#if: M-C |M-C|}} #$AttributeValue {{#if:  |[[{{{2}}}]]|}} )

;;; #$negationInverse {{#if: m-C |m-C|}}

Assertion#559: 
(#$isa {{#if: 800 |800|}} #$negationInverse {{#if: M-C |M-C|}} #$SymmetricBinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#560: 
(#$isa {{#if: 800 |800|}} #$negationInverse {{#if: M-C |M-C|}} #$IrreflexiveBinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#561: 
(#$genlInverse {{#if: M-C |M-C|}} #$negationInverse {{#if: M-C |M-C|}} #$negationInverse {{#if:  |[[{{{2}}}]]|}} )


Assertion#562: 
(#$arity {{#if: M-C |M-C|}} #$negationInverse {{#if:  |[[]]|}} 2 )


Assertion#563: 
(#$arg1Isa {{#if: M-C |M-C|}} #$negationInverse {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#564: 
(#$arg2Isa {{#if: M-C |M-C|}} #$negationInverse {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

 
Assertion#565: 
(#$not {{#if:  |[[]]|}}   (#$and {{#if:  |[[]]|}} 
    (#$negationInverse {{#if:  |[[]]|}} ?GEN-PRED ?PRED) 
    (?PRED ?ARG1 ?ARG2) 
    (?GEN-PRED ?ARG2 ?ARG1)
                )  )

;;; #$negationPreds {{#if: m-C |m-C|}}

Assertion#566: 
(#$isa {{#if: 800 |800|}} #$negationPreds {{#if: M-C |M-C|}} #$SymmetricBinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#567: 
(#$genlInverse {{#if: M-C |M-C|}} #$negationPreds {{#if: M-C |M-C|}} #$negationPreds {{#if:  |[[]]|}})


Assertion#568: 
(#$arity {{#if: M-C |M-C|}} #$negationPreds {{#if:  |[[]]|}} 2 )


Assertion#569: 
(#$arg1Isa {{#if: M-C |M-C|}} #$negationPreds {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#570: 
(#$arg2Isa {{#if: M-C |M-C|}} #$negationPreds {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )

 
Assertion#571: 
(#$not {{#if:  |[[]]|}}    (#$and {{#if:  |[[]]|}} 
   (?PRED ?ARG1) 
   (?NEG-PRED ?ARG1) 
   (#$negationPreds {{#if:  |[[]]|}} ?NEG-PRED ?PRED )
         )    )
 

Assertion#572: 
(#$not {{#if:  |[[]]|}}     (#$and {{#if:  |[[]]|}} 
   (#$negationPreds {{#if:  |[[]]|}} ?NEG-PRED ?PRED) 
   (?PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4 ?ARG5) 
   (?NEG-PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4 ?ARG5)
                   )    )
 

Assertion#573: 
(#$not {{#if:  |[[]]|}}      (#$and {{#if:  |[[]]|}} 
   (#$negationPreds {{#if:  |[[]]|}} ?NEG-PRED ?PRED) 
   (?PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4) 
   (?NEG-PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4 )
                    )     )
 
 
Assertion#574: 
(#$not {{#if:  |[[]]|}}     (#$and {{#if:  |[[]]|}} 
   (#$negationPreds {{#if:  |[[]]|}} ?NEG-PRED ?PRED) 
   (?PRED ?ARG1 ?ARG2 ?ARG3) 
   (?NEG-PRED ?ARG1 ?ARG2 ?ARG3)
                )    )
 
 
Assertion#575: 
(#$not {{#if:  |[[]]|}}   (#$and {{#if:  |[[]]|}} 
   (#$negationPreds {{#if:  |[[]]|}} ?NEG-PRED ?PRED) 
   (?PRED ?ARG1 ?ARG2) 
   (?NEG-PRED ?ARG1 ?ARG2)
                     )        )

;;; #$not {{#if: m-C |m-C|}}

Assertion#576: 
(#$isa {{#if: 800 |800|}} #$not {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[{{{2}}}]]|}} )
 

Assertion#577: 
(#$arity {{#if: M-C |M-C|}} #$not {{#if:  |[[]]|}} 1 )
 

Assertion#578: 
(#$arg1Isa {{#if: M-C |M-C|}} #$not {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )
 

Assertion#579: 
(#$resultIsa {{#if: M-C |M-C|}} #$not {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )

;;; #$oldConstantName {{#if: m-C |m-C|}}

Assertion#580: 
(#$isa {{#if: 800 |800|}} #$oldConstantName {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#581: 
(#$arity {{#if: M-C |M-C|}} #$oldConstantName {{#if:  |[[]]|}} 2 )


Assertion#582: 
(#$arg1Isa {{#if: M-C |M-C|}} #$oldConstantName {{#if: M-C |M-C|}} #$Thing {{#if:  |[[{{{2}}}]]|}} )


Assertion#583: 
(#$arg2Isa {{#if: M-C |M-C|}} #$oldConstantName {{#if: M-C |M-C|}} #$CycSystemString {{#if:  |[[{{{2}}}]]|}} )

;;; #$or {{#if: m-C |m-C|}}

Assertion#584: 
(#$isa {{#if: 800 |800|}} #$or {{#if: M-C |M-C|}} #$CommutativeRelation {{#if:  |[[{{{2}}}]]|}} )


Assertion#585: 
(#$isa {{#if: 800 |800|}} #$or {{#if: M-C |M-C|}} #$VariableArityRelation {{#if:  |[[{{{2}}}]]|}} )


Assertion#586: 
(#$argsIsa {{#if: M-C |M-C|}} #$or {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )


Assertion#587: 
(#$resultIsa {{#if: M-C |M-C|}} #$or {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )

;;; #$relationAllExists {{#if: m-C |m-C|}}

Assertion#588: 
(#$isa {{#if: 800 |800|}} #$relationAllExists {{#if: M-C |M-C|}} #$TernaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#589: 
(#$arity {{#if: M-C |M-C|}} #$relationAllExists {{#if:  |[[]]|}} 3 )


Assertion#590: 
(#$arg1Isa {{#if: M-C |M-C|}} #$relationAllExists {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#591: 
(#$arg2Isa {{#if: M-C |M-C|}} #$relationAllExists {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#592: 
(#$arg3Isa {{#if: M-C |M-C|}} #$relationAllExists {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

;;; #$relationAllExistsCount {{#if: m-C |m-C|}}

Assertion#593: 
(#$isa {{#if: 800 |800|}} #$relationAllExistsCount {{#if: M-C |M-C|}} #$QuaternaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#594: 
(#$arity {{#if: M-C |M-C|}} #$relationAllExistsCount {{#if:  |[[]]|}} 4 )


Assertion#595: 
(#$arg1Isa {{#if: M-C |M-C|}} #$relationAllExistsCount {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#596: 
(#$arg2Isa {{#if: M-C |M-C|}} #$relationAllExistsCount {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#597: 
(#$arg3Isa {{#if: M-C |M-C|}} #$relationAllExistsCount {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#598: 
(#$arg4Isa {{#if: M-C |M-C|}} #$relationAllExistsCount {{#if: M-C |M-C|}} #$NonNegativeInteger {{#if:  |[[{{{2}}}]]|}} )

;;; #$requiredArg1Pred {{#if: m-C |m-C|}}

Assertion#600: 
(#$isa {{#if: 800 |800|}} #$requiredArg1Pred {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#601: 
(#$arity {{#if: M-C |M-C|}} #$requiredArg1Pred {{#if:  |[[]]|}} 2 )


Assertion#602: 
(#$arg1Isa {{#if: M-C |M-C|}} #$requiredArg1Pred {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#603: 
(#$arg2Isa {{#if: M-C |M-C|}} #$requiredArg1Pred {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )

;;; #$requiredArg2Pred {{#if: m-C |m-C|}}

Assertion#604: 
(#$isa {{#if: 800 |800|}} #$requiredArg2Pred {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#605: 
(#$arity {{#if: M-C |M-C|}} #$requiredArg2Pred {{#if:  |[[]]|}} 2 )


Assertion#606: 
(#$arg1Isa {{#if: M-C |M-C|}} #$requiredArg2Pred {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#607: 
(#$arg2Isa {{#if: M-C |M-C|}} #$requiredArg2Pred {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )

;;; #$resultgenl {{#if: m-C |m-C|}}

Assertion#608: 
(#$isa {{#if: 800 |800|}} #$resultgenl {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#609: 
(#$arity {{#if: M-C |M-C|}} #$resultGenl {{#if:  |[[]]|}} 2  )


Assertion#610: 
(#$arg1Isa {{#if: M-C |M-C|}} #$resultGenl {{#if: M-C |M-C|}} #$CollectionDenotingFunction {{#if:  |[[{{{2}}}]]|}} )


Assertion#611: 
(#$arg2Isa {{#if: M-C |M-C|}} #$resultGenl {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

;;; #$resultIsa {{#if: m-C |m-C|}}

Assertion#612: 
(#$isa {{#if: 800 |800|}} #$resultIsa {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#613: 
(#$arity {{#if: M-C |M-C|}} #$resultIsa {{#if:  |[[]]|}} 2 )


Assertion#614: 
(#$arg1Isa {{#if: M-C |M-C|}} #$resultIsa {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[{{{2}}}]]|}} )


Assertion#615: 
(#$arg2Isa {{#if: M-C |M-C|}} #$resultIsa {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

;;; #$satisfiesDescription {{#if: m-C |m-C|}}

Assertion#616: 
(#$isa {{#if: 800 |800|}} #$satisfiesDescription {{#if: M-C |M-C|}} #$TernaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#617: 
(#$arity {{#if: M-C |M-C|}} #$satisfiesDescription {{#if:  |[[]]|}} 3 )


Assertion#618: 
(#$arg1Isa {{#if: M-C |M-C|}} #$satisfiesDescription {{#if: M-C |M-C|}} #$CycSystemList {{#if:  |[[{{{2}}}]]|}} )


Assertion#619: 
(#$arg2Isa {{#if: M-C |M-C|}} #$satisfiesDescription {{#if: M-C |M-C|}} #$CycSystemList {{#if:  |[[{{{2}}}]]|}} )


Assertion#620: 
(#$arg3Isa {{#if: M-C |M-C|}} #$satisfiesDescription {{#if: M-C |M-C|}} #$Microtheory {{#if:  |[[{{{2}}}]]|}} )

;;; #$siblingDisjointExceptions {{#if: m-C |m-C|}}

Assertion#621: 
(#$isa {{#if: 800 |800|}} #$siblingDisjointExceptions {{#if: M-C |M-C|}} #$SymmetricBinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#622: 
(#$isa {{#if: 800 |800|}} #$siblingDisjointExceptions {{#if: M-C |M-C|}} #$IrreflexiveBinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#623: 
(#$genlInverse #$siblingDisjointExceptions {{#if: M-C |M-C|}} #$siblingDisjointExceptions {{#if:  |[[{{{2}}}]]|}} )


Assertion#624: 
(#$arity {{#if: M-C |M-C|}} #$siblingDisjointExceptions {{#if:  |[[]]|}} 2 )


Assertion#625: 
(#$arg1Isa {{#if: M-C |M-C|}} #$siblingDisjointExceptions {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#626: 
(#$arg2Isa {{#if: M-C |M-C|}} #$siblingDisjointExceptions {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )


Assertion#627: 
(#$implies {{#if:  |[[]]|}} 
    (#$siblingDisjointExceptions {{#if:  |[[]]|}} ?C1 ?C2 ) 
    (#$siblingDisjointExceptions {{#if:  |[[]]|}} ?C1 ?C2 ) 
)

;;; #$termOfUnit {{#if: m-C |m-C|}}

Assertion#628: 
(#$isa {{#if: 800 |800|}} #$termOfUnit {{#if: M-C |M-C|}} #$DefaultMonotonicPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#629: 
(#$isa {{#if: 800 |800|}} #$termOfUnit {{#if: M-C |M-C|}} #$InferenceRelatedBookkeepingPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#630: 
(#$isa {{#if: 800 |800|}} #$termOfUnit {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )


Assertion#631: 
(#$arity {{#if: M-C |M-C|}} #$termOfUnit {{#if:  |[[]]|}} 2 )


Assertion#632: 
(#$arg1Isa {{#if: M-C |M-C|}} #$termOfUnit {{#if: M-C |M-C|}} #$ReifiableTerm {{#if:  |[[{{{2}}}]]|}} )


Assertion#633: 
(#$arg2Isa {{#if: M-C |M-C|}} #$termOfUnit {{#if: M-C |M-C|}} #$CycSystemList {{#if:  |[[{{{2}}}]]|}} )

;;; #$thereExistAtLeast {{#if: m-C |m-C|}}

Assertion#634: 
(#$isa {{#if: 800 |800|}} #$thereExistAtLeast {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[{{{2}}}]]|}} )


Assertion#635: 
(#$arity {{#if: M-C |M-C|}} #$thereExistAtLeast {{#if:  |[[]]|}} 3 )


Assertion#636: 
(#$resultIsa {{#if: M-C |M-C|}} #$thereExistAtLeast {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )


Assertion#637: 
(#$arg3Isa {{#if: M-C |M-C|}} #$thereExistAtLeast {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )


Assertion#638: 
(#$arg2Isa {{#if: M-C |M-C|}} #$thereExistAtLeast {{#if: M-C |M-C|}} #$CycELVariable {{#if:  |[[{{{2}}}]]|}} )


Assertion#639: 
(#$arg1Isa {{#if: M-C |M-C|}} #$thereExistAtLeast {{#if: M-C |M-C|}} #$PositiveInteger {{#if:  |[[{{{2}}}]]|}} )

;;; #$thereExistAtMost {{#if: m-C |m-C|}}

Assertion#640: 
(#$isa {{#if: 800 |800|}} #$thereExistAtMost {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[{{{2}}}]]|}} )


Assertion#641: 
(#$arity {{#if: M-C |M-C|}} #$thereExistAtMost {{#if:  |[[]]|}} 3 )


Assertion#642: 
(#$resultIsa {{#if: M-C |M-C|}} #$thereExistAtMost {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )


Assertion#643: 
(#$arg3Isa {{#if: M-C |M-C|}} #$thereExistAtMost {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )


Assertion#644: 
(#$arg2Isa {{#if: M-C |M-C|}} #$thereExistAtMost {{#if: M-C |M-C|}} #$CycELVariable {{#if:  |[[{{{2}}}]]|}} )


Assertion#645: 
(#$arg1Isa {{#if: M-C |M-C|}} #$thereExistAtMost {{#if: M-C |M-C|}} #$PositiveInteger {{#if:  |[[{{{2}}}]]|}} )

;;; #$thereExistExactly {{#if: m-C |m-C|}}

Assertion#646: 
(#$isa {{#if: 800 |800|}} #$thereExistExactly {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[{{{2}}}]]|}} )


Assertion#647: 
(#$arity {{#if: M-C |M-C|}} #$thereExistExactly {{#if:  |[[]]|}} 3 )


{{MELD-A|648|a=648|
([[#$resultIsa|M-C}} #$thereExistExactly {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )
|}}

Assertion#649: 
(#$arg3Isa {{#if: M-C |M-C|}} #$thereExistExactly {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )


Assertion#650: 
(#$arg2Isa {{#if: M-C |M-C|}} #$thereExistExactly {{#if: M-C |M-C|}} #$CycELVariable {{#if:  |[[{{{2}}}]]|}} )


Assertion#651: 
(#$arg1Isa {{#if: M-C |M-C|}} #$thereExistExactly {{#if: M-C |M-C|}} #$PositiveInteger {{#if:  |[[]]|}})

;;; #$thereExists {{#if: m-C |m-C|}}

Assertion#652: 
(#$isa {{#if: 800 |800|}} #$thereExists {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[{{{2}}}]]|}} )


Assertion#653: 
(#$arity {{#if: M-C |M-C|}} #$thereExists {{#if:  |[[]]|}} 2 )


Assertion#654: 
(#$arg2Isa {{#if: M-C |M-C|}} #$thereExists {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )


Assertion#655: 
(#$arg1Isa {{#if: M-C |M-C|}} #$thereExists {{#if: M-C |M-C|}} #$CycELVariable {{#if:  |[[{{{2}}}]]|}} )

MELD features/Appendix A/3

Contents