MELD features/Appendix A/3

MELD features/Appendix A/1 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}}}]]|}} )

{{MELD-A|003|
(#$implies {{#if:  |[[{{{2}}}]]|}} 
   (#$and 
      (#$isa {{#if:  |[[{{{2}}}]]|}} ?SLOT  [[MELD_features/V/001|AntiSymmetricBinaryPredicate|}}) 
      (#$isa {{#if:  |[[{{{2}}}]]|}} ?SLOT #$IrreflexiveBinaryPredicate {{#if:  |[[{{{2}}}]]|}}) ) 
   (#$isa {{#if:  |[[{{{2}}}]]|}} ?SLOT #$AsymmetricBinaryPredicate {{#if:  |[[{{{2}}}]]|}})
)
|}}

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

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


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

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

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

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

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

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

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

Assertion#11: 
(#$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#12: 
(#$implies {{#if:  |[[{{{2}}}]]|}} 
    (#$isa {{#if:  |[[{{{2}}}]]|}} ?PRED #$AsymmetricBinaryPredicate {{#if:  |[[{{{2}}}]]|}}) 
    (#$negationInverse {{#if:  |[[{{{2}}}]]|}} ?PRED ?PRED)
)
|}}

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

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

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

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

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


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

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

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


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


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

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

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


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


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

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

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


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

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

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


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

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

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


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

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

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


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

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

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


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

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

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


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

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

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


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

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

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


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

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

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


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

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

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


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

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

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


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

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

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


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

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

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


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

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

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


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

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

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


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

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

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


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

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

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

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

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


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

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

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


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

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

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


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

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

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

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

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


Assertion#64: 
(#$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

{{MELD-A|76|a=076|
(#$isa {{#if: 800 |800|}} #$ListTheFormat {{#if: M-C |M-C|}} #$Format {{#if:  |[[]]|}})

;;; #$Microtheory

{{MELD-A|77|a=077|
(#$isa {{#if: 800 |800|}} #$Microtheory {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|78|a=078|
(#$genls {{#if: M-C |M-C|}} #$Microtheory {{#if: M-C |M-C|}} #$IndividualObject {{#if:  |[[]]|}})

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

{{MELD-A|79|a=079|
(#$isa {{#if: 800 |800|}} #$NonNegativeInteger {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

{{MELD-A|80|a=080|
(#$genls {{#if: M-C |M-C|}} #$NonNegativeInteger {{#if: M-C |M-C|}} #$Integer {{#if:  |[[]]|}})

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

{{MELD-A|81|a=081|
(#$isa {{#if: 800 |800|}} #$NonPredicateFunction {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|82|a=082|
(#$genls {{#if: M-C |M-C|}} #$NonPredicateFunction {{#if: M-C |M-C|}} #$FunctionTheMathematicalType {{#if:  |[[{{{2}}}]]|}} )

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

{{MELD-A|83|a=083|
(#$isa {{#if: 800 |800|}} #$PositiveInteger {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|84|a=084|
(#$genls {{#if: M-C |M-C|}} #$PositiveInteger {{#if: M-C |M-C|}} #$NonNegativeInteger {{#if:  |[[{{{2}}}]]|}} )

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

{{MELD-A|85|a=085|
(#$isa {{#if: 800 |800|}} #$Predicate {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

{{MELD-A|86|a=086|
(#$genls {{#if: M-C |M-C|}} #$Predicate {{#if: M-C |M-C|}} #$FunctionTheMathematicalType {{#if:  |[[{{{2}}}]]|}} )

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

{{MELD-A|87|a=087|
(#$isa {{#if: 800 |800|}} #$ProblemSolvingCntxt {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|88|a=088|
(#$genls {{#if: M-C |M-C|}} #$ProblemSolvingCntxt {{#if: M-C |M-C|}} #$Microtheory {{#if:  |[[{{{2}}}]]|}} )

;;; #$QuaternaryPredicate

{{MELD-A|89|a=089|
(#$isa {{#if: 800 |800|}} #$QuaternaryPredicate {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

{{MELD-A|90|a=090|
(#$genls {{#if: M-C |M-C|}} #$QuaternaryPredicate {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|91|a=091|
(#$implies {{#if:  |[[]]|}} 
   (#$isa {{#if:  |[[]]|}} ?P #$QuaternaryPredicate {{#if:  |[[{{{2}}}]]|}} ) 
   (#$arity {{#if:  |[[]]|}} ?P 4 )
)

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

{{MELD-A|92|a=092|
(#$isa {{#if: 800 |800|}} #$QuintaryPredicate {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

{{MELD-A|93|a=093|
(#$genls {{#if: M-C |M-C|}} #$QuintaryPredicate {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[]]|}})

{{MELD-A|94|a=094|
 (#$implies {{#if:  |[[]]|}} 
    (#$isa {{#if:  |[[]]|}} ?P #$QuintaryPredicate {{#if:  |[[{{{2}}}]]|}} ) 
    (#$arity {{#if:  |[[]]|}} ?P 5) )

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

{{MELD-A|95|a=095|
(#$isa {{#if: 800 |800|}} #$RealNumber {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|96|a=096|
(#$genls {{#if: M-C |M-C|}} #$RealNumber {{#if: M-C |M-C|}} #$AttributeValue {{#if:  |[[{{{2}}}]]|}} )

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

{{MELD-A|97|a=097|
(#$isa {{#if: 800 |800|}} #$ReflexiveBinaryPredicate {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|98|a=098|
(#$genls {{#if: M-C |M-C|}} #$ReflexiveBinaryPredicate {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|99|a=099|
(#$implies {{#if:  |[[]]|}} 
    (#$isa {{#if:  |[[]]|}} ?PRED #$ReflexiveBinaryPredicate {{#if:  |[[{{{2}}}]]|}} ) 
    (?PRED ?OBJ ?OBJ)
)

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

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

{{MELD-A|101|a=101|
(#$genls {{#if: M-C |M-C|}} #$ReifiableFunction {{#if: M-C |M-C|}} #$NonPredicateFunction {{#if:  |[[{{{2}}}]]|}} )

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

{{MELD-A|102|a=102|
(#$isa {{#if: 800 |800|}} #$ReifiableTerm {{#if: M-C |M-C|}} #$ReifiableTerm {{#if:  |[[{{{2}}}]]|}} )

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

{{MELD-A|104|a=104|
(#$genls {{#if: M-C |M-C|}} #$ReifiableTerm {{#if: M-C |M-C|}} #$CycIndexedTerm {{#if:  |[[{{{2}}}]]|}} )

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

{{MELD-A|105|a=105|
(#$isa {{#if: 800 |800|}} #$Relationship {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

{{MELD-A|106|a=106|
(#$genls {{#if: M-C |M-C|}} #$Relationship {{#if: M-C |M-C|}} #$IndividualObject {{#if:  |[[{{{2}}}]]|}} )

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

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

{{MELD-A|108|a=108|
(#$genls {{#if: M-C |M-C|}} #$Set-Mathematical {{#if: M-C |M-C|}} #$SetOrCollection {{#if:  |[[]]|}})

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

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

{{MELD-A|110|a=110|
(#$genls {{#if: M-C |M-C|}} #$SetOrCollection {{#if: M-C |M-C|}} #$Thing {{#if:  |[[{{{2}}}]]|}} )

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

{{MELD-A|111|a=111|
(#$isa {{#if: 800 |800|}} #$SetTheFormat {{#if: M-C |M-C|}} #$Format {{#if:  |[[]]|}})

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

{{MELD-A|112|a=112|
(#$isa {{#if: 800 |800|}} #$SiblingDisjointAttributeType {{#if: M-C |M-C|}} #$SiblingDisjointCollection {{#if:  |[[]]|}})

{{MELD-A|113|a=113|
(#$genls {{#if: M-C |M-C|}} #$SiblingDisjointAttributeType {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

{{MELD-A|114|a=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|}}

{{MELD-A|115|a=115|
(#$isa {{#if: 800 |800|}} #$SiblingDisjointCollection {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

{{MELD-A|116|a=116|
(#$genls {{#if: M-C |M-C|}} #$SiblingDisjointCollection {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

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

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

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

{{MELD-A|118|a=118|
(#$isa {{#if: 800 |800|}} #$SkolemFuncN {{#if: M-C |M-C|}} #$ReifiableFunction {{#if:  |[[]]|}})

{{MELD-A|119|a=119|
(#$arity {{#if: M-C |M-C|}} #$SkolemFuncN {{#if:  |[[]]|}} 3)

{{MELD-A|120|a=120|
(#$arg1Isa {{#if: M-C |M-C|}} #$SkolemFuncN {{#if: M-C |M-C|}} #$CycSystemList {{#if:  |[[]]|}})

{{MELD-A|121|a=121|
(#$arg2Isa {{#if: M-C |M-C|}} #$SkolemFuncN {{#if: M-C |M-C|}} #$CycSystemSymbol {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|122|a=122|
(#$arg3Isa {{#if: M-C |M-C|}} #$SkolemFuncN {{#if: M-C |M-C|}} #$RealNumber {{#if:  |[[]]|}})

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

{{MELD-A|123|a=123|
(#$isa {{#if: 800 |800|}} #$SkolemFunction {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

{{MELD-A|124|a=124|
(#$genls {{#if: M-C |M-C|}} #$SkolemFunction {{#if: M-C |M-C|}} #$ReifiableFunction {{#if:  |[[]]|}})

{{MELD-A|125|a=125|
(#$arity {{#if: M-C |M-C|}} #$SkolemFunction {{#if:  |[[]]|}} 2 )

{{MELD-A|126|a=126|
(#$arg2Isa {{#if: M-C |M-C|}} #$SkolemFunction {{#if: M-C |M-C|}} #$CycSystemSymbol {{#if:  |[[]]|}})

{{MELD-A|127|a=127|
(#$arg1Isa {{#if: M-C |M-C|}} #$SkolemFunction {{#if: M-C |M-C|}} #$CycSystemList {{#if:  |[[]]|}})

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

{{MELD-A|128|a=128|
(#$isa {{#if: 800 |800|}} #$SubAbs {{#if: M-C |M-C|}} #$Format {{#if:  |[[]]|}})

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

{{MELD-A|129|a=129|
(#$isa {{#if: 800 |800|}} #$SymmetricBinaryPredicate {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

{{MELD-A|130|a=130|
(#$genls {{#if: M-C |M-C|}} #$SymmetricBinaryPredicate {{#if: M-C |M-C|}} #$CommutativeRelation {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|131|a=131|
(#$genls {{#if: M-C |M-C|}} #$SymmetricBinaryPredicate {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|132|a=132|
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$isa {{#if:  |[[]]|}} ?PRED #$SymmetricBinaryPredicate {{#if:  |[[]]|}}) 
        (?PRED ?ARG1 ?ARG2)
    ) 
    (?PRED ?ARG2 ?ARG1)
)

{{MELD-A|133|a=133|
(#$implies {{#if:  |[[]]|}} 
    (#$isa {{#if:  |[[]]|}} ?PRED #$SymmetricBinaryPredicate {{#if:  |[[{{{2}}}]]|}} ) 
    (#$genlInverse {{#if:  |[[]]|}} ?PRED ?PRED )
)

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

{{MELD-A|134|a=134|
(#$isa {{#if: 800 |800|}} #$TemporalObject {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

{{MELD-A|135|a=135|
(#$genls {{#if: M-C |M-C|}} #$TemporalObject {{#if: M-C |M-C|}} #$IndividualObject {{#if:  |[[{{{2}}}]]|}} )

;;; #$TernaryPredicate

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

{{MELD-A|137|a=137|
(#$genls {{#if: M-C |M-C|}} #$TernaryPredicate {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|138|a=138|
(#$not {{#if:  |[[]]|}}      (#$and {{#if:  |[[]]|}} 
    (#$isa {{#if:  |[[]]|}} ?X #$TernaryPredicate {{#if:  |[[{{{2}}}]]|}} ) 
    (#$arg4Isa {{#if:  |[[]]|}} ?X ?Y )
                   )  )

{{MELD-A|139|a=139|
(#$implies {{#if:  |[[]]|}} 
    (#$isa {{#if:  |[[]]|}} ?P #$TernaryPredicate {{#if:  |[[{{{2}}}]]|}} ) 
    (#$arity {{#if:  |[[]]|}} ?P 3 )
)

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

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

{{MELD-A|141|a=141|
(#$isa {{#if: 800 |800|}} #$TheSet {{#if: M-C |M-C|}} #$NonPredicateFunction {{#if:  |[[]]|}})

{{MELD-A|142|a=142|
(#$resultIsa {{#if: M-C |M-C|}} #$TheSet {{#if: M-C |M-C|}} #$Set-Mathematical {{#if:  |[[]]|}})

{{MELD-A|143|a=143|
(#$argsIsa {{#if: M-C |M-C|}} #$TheSet {{#if: M-C |M-C|}} #$Thing {{#if:  |[[{{{2}}}]]|}} )

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

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

{{MELD-A|145|a=145|
(#$genls {{#if: M-C |M-C|}} #$TheTerm {{#if:  |[[]]|}}  #$Thing {{#if:  |[[{{{2}}}]]|}} )

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

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

{{MELD-A|147|a=147|
(#$isa {{#if:  |[[]]|}} ?OBJ #$Thing {{#if:  |[[]]|}})

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

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

{{MELD-A|149|a=149|
(#$genls {{#if: M-C |M-C|}} #$TransitiveBinaryPredicate {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[]]|}})

{{MELD-A|150|a=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|}}

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

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

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

{{MELD-A|153|a=153|
(#$genls {{#if: M-C |M-C|}} #$UnaryPredicate {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|154|a=154|
(#$implies {{#if:  |[[]]|}} 
    (#$isa {{#if:  |[[]]|}} ?P #$UnaryPredicate {{#if:  |[[{{{2}}}]]|}} ) 
    (#$arity {{#if:  |[[]]|}} ?P 1 )
)

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

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

{{MELD-A|156|a=156|
(#$genls {{#if: M-C |M-C|}} #$UnaryTypePredicate {{#if: M-C |M-C|}} #$UnaryPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|157|a=157|
(#$genls {{#if: M-C |M-C|}} #$UnaryTypePredicate {{#if: M-C |M-C|}} #$InferenceRelatedBookkeepingPredicate {{#if:  |[[{{{2}}}]]|}} )

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

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

{{MELD-A|159|a=159|
(#$genls {{#if: M-C |M-C|}} #$VariableArityRelation {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[{{{2}}}]]|}} )

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

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

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

{{MELD-A|162|a=162|
(#$arity {{#if: M-C |M-C|}} #$abnormal {{#if:  |[[]]|}} 2 )

{{MELD-A|163|a=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|}} {{MELD-V|002|Assertion| )

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

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

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

{{MELD-A|167|a=167|
(#$arity {{#if: M-C |M-C|}} #$afterAdding {{#if:  |[[]]|}} 2 )

{{MELD-A|168|a=168|
(#$arg1Isa {{#if: M-C |M-C|}} #$afterAdding {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|169|a=169|
(#$arg2Isa {{#if: M-C |M-C|}} #$afterAdding {{#if: M-C |M-C|}} #$CycSystemSymbol {{#if:  |[[{{{2}}}]]|}} )

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

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

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

{{MELD-A|172|a=172|
(#$arity {{#if: M-C |M-C|}} #$afterRemoving {{#if:  |[[]]|}} 2 )

{{MELD-A|173|a=173|
(#$arg1Isa {{#if: M-C |M-C|}} #$afterRemoving {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|174|a=174|
(#$arg2Isa {{#if: M-C |M-C|}} #$afterRemoving {{#if: M-C |M-C|}} #$CycSystemSymbol {{#if:  |[[]]|}})

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

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

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

{{MELD-A|178|a=178|
(#$argsIsa {{#if: M-C |M-C|}} #$and {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )

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

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

{{MELD-A|180|a=180|
(#$isa {{#if: 800 |800|}} #$arg1Format {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[]]|}})

{{MELD-A|181|a=181|
(#$arity {{#if: M-C |M-C|}} #$arg1Format {{#if:  |[[]]|}} 2 )

{{MELD-A|182|a=182|
(#$arg1Isa {{#if: M-C |M-C|}} #$arg1Format {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|183|a=183|
(#$arg2Isa {{#if: M-C |M-C|}} #$arg1Format {{#if: M-C |M-C|}} #$Format {{#if:  |[[{{{2}}}]]|}} )

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

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

{{MELD-A|185|a=185|
(#$arity {{#if: M-C |M-C|}} #$arg1Genl {{#if:  |[[]]|}} 2 )

{{MELD-A|186|a=186|
(#$arg1Isa {{#if: M-C |M-C|}} #$arg1Genl {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|187|a=187|
(#$arg2Isa {{#if: M-C |M-C|}} #$arg1Genl {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

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

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

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

{{MELD-A|190|a=190|
(#$arity {{#if: M-C |M-C|}} #$arg1Isa {{#if:  |[[]]|}} 2)

{{MELD-A|191|a=191|
(#$arg1Isa {{#if: M-C |M-C|}} #$arg1Isa {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|192|a=192|
(#$arg2Isa {{#if: M-C |M-C|}} #$arg1Isa {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

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

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

{{MELD-A|194|a=194|
(#$arity {{#if: M-C |M-C|}} #$arg2Format {{#if:  |[[]]|}} 2 )

{{MELD-A|195|a=195|
(#$arg1Isa {{#if: M-C |M-C|}} #$arg2Format {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|196|a=196|
(#$arg2Isa {{#if: M-C |M-C|}} #$arg2Format {{#if: M-C |M-C|}} #$Format {{#if:  |[[{{{2}}}]]|}} )

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

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

{{MELD-A|198|a=198|
(#$arity {{#if: M-C |M-C|}} #$arg2Genl {{#if:  |[[]]|}} 2 )

{{MELD-A|199|a=199|
(#$arg1Isa {{#if: M-C |M-C|}} #$arg2Genl {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|200|200|
(#$arg2Isa {{#if: M-C |M-C|}} #$arg2Genl {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

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

{{MELD-A|201|201|
(#$isa {{#if: 800 |800|}} #$arg2Isa {{#if: M-C |M-C|}} #$DefaultMonotonicPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|202|202|
(#$isa {{#if: 800 |800|}} #$arg2Isa {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|203|203|
(#$arity {{#if: M-C |M-C|}} #$arg2Isa {{#if:  |[[]]|}} 2 )

{{MELD-A|204|204|
(#$arg1Isa {{#if: M-C |M-C|}} #$arg2Isa {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|205|205|
(#$arg2Isa {{#if: M-C |M-C|}} #$arg2Isa {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

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

{{MELD-A|206|206|
(#$isa {{#if: 800 |800|}} #$arg3Format {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[]]|}})

{{MELD-A|207|207|
(#$arity {{#if: M-C |M-C|}} #$arg3Format {{#if:  |[[]]|}} 2 )

{{MELD-A|208|208|
(#$arg1Isa {{#if: M-C |M-C|}} #$arg3Format {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|209|209|
(#$arg2Isa {{#if: M-C |M-C|}} #$arg3Format {{#if: M-C |M-C|}} #$Format {{#if:  |[[{{{2}}}]]|}} )

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

{{MELD-A|210|210|
(#$isa {{#if: 800 |800|}} #$arg3Genl {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[]]|}})

{{MELD-A|211|211|
(#$arity {{#if: M-C |M-C|}} #$arg3Genl {{#if:  |[[]]|}} 2)

{{MELD-A|212|212|
(#$arg1Isa {{#if: M-C |M-C|}} #$arg3Genl {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[]]|}})

{{MELD-A|213|213|
(#$arg2Isa {{#if: M-C |M-C|}} #$arg3Genl {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

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

{{MELD-A|214|214|
(#$isa {{#if: 800 |800|}} #$arg3Isa {{#if: M-C |M-C|}} #$DefaultMonotonicPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|215|215|
(#$isa {{#if: 800 |800|}} #$arg3Isa {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|216|216|
(#$arity {{#if: M-C |M-C|}} #$arg3Isa {{#if:  |[[]]|}} 2 )

{{MELD-A|217|217|
(#$arg1Isa {{#if: M-C |M-C|}} #$arg3Isa {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|218|218|
(#$arg2Isa {{#if: M-C |M-C|}} #$arg3Isa {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

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

{{MELD-A|219|219|
(#$isa {{#if: 800 |800|}} #$arg4Format {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[]]|}})

{{MELD-A|220|220|
(#$arity {{#if: M-C |M-C|}} #$arg4Format {{#if:  |[[]]|}} 2 )

{{MELD-A|221|221|
(#$arg1Isa {{#if: M-C |M-C|}} #$arg4Format {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[]]|}})

{{MELD-A|222|222|
(#$arg2Isa {{#if: M-C |M-C|}} #$arg4Format {{#if: M-C |M-C|}} #$Format {{#if:  |[[]]|}})

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

{{MELD-A|223|223|
(#$isa {{#if: 800 |800|}} #$arg4Genl {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|224|224|
(#$arity {{#if: M-C |M-C|}} #$arg4Genl {{#if:  |[[]]|}} 2)

{{MELD-A|225|225|
(#$arg1Isa {{#if: M-C |M-C|}} #$arg4Genl {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[]]|}})

{{MELD-A|226|226|
(#$arg2Isa {{#if: M-C |M-C|}} #$arg4Genl {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

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

{{MELD-A|227|227|
(#$isa {{#if: 800 |800|}} #$arg4Isa {{#if: M-C |M-C|}} #$DefaultMonotonicPredicate {{#if:  |[[]]|}})

{{MELD-A|228|228|
(#$isa {{#if: 800 |800|}} #$arg4Isa {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[]]|}})

{{MELD-A|229|229|
(#$arity {{#if: M-C |M-C|}} #$arg4Isa {{#if:  |[[]]|}} 2)

{{MELD-A|230|230|
(#$arg1Isa {{#if: M-C |M-C|}} #$arg4Isa {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[]]|}})

{{MELD-A|231|231|
(#$arg2Isa {{#if: M-C |M-C|}} #$arg4Isa {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

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

{{MELD-A|232|232|
(#$isa {{#if: 800 |800|}} #$arg5Format {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[]]|}})

{{MELD-A|233|233|
(#$arity {{#if: M-C |M-C|}} #$arg5Format {{#if:  |[[]]|}} 2 )

{{MELD-A|234|234|
(#$arg1Isa {{#if: M-C |M-C|}} #$arg5Format {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[]]|}})

{{MELD-A|235|235|
(#$arg2Isa {{#if: M-C |M-C|}} #$arg5Format {{#if: M-C |M-C|}} #$Format {{#if:  |[[]]|}})

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

{{MELD-A|236|236|
(#$isa {{#if: 800 |800|}} #$arg5Genl {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|237|237|
(#$arity {{#if: M-C |M-C|}} #$arg5Genl {{#if:  |[[]]|}} 2 )

{{MELD-A|238|238|
(#$arg1Isa {{#if: M-C |M-C|}} #$arg5Genl {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|239|239|
(#$arg2Isa {{#if: M-C |M-C|}} #$arg5Genl {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

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

{{MELD-A|240|240|
(#$isa {{#if: 800 |800|}} #$arg5Isa {{#if: M-C |M-C|}} #$DefaultMonotonicPredicate {{#if:  |[[]]|}})

{{MELD-A|241|241|
(#$isa {{#if: 800 |800|}} #$arg5Isa {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[]]|}})

{{MELD-A|242|242|
(#$arity {{#if: M-C |M-C|}} #$arg5Isa {{#if:  |[[]]|}} 2)

{{MELD-A|243|243|
(#$arg1Isa {{#if: M-C |M-C|}} #$arg5Isa {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[]]|}})

{{MELD-A|244|244|
(#$arg2Isa {{#if: M-C |M-C|}} #$arg5Isa {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

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

{{MELD-A|245|245|
(#$isa {{#if: 800 |800|}} #$argsGenl {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[]]|}})

{{MELD-A|246|246|
(#$arity {{#if: M-C |M-C|}} #$argsGenl {{#if:  |[[]]|}} 2 )

{{MELD-A|247|247|
(#$arg1Isa {{#if: M-C |M-C|}} #$argsGenl {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[]]|}})

{{MELD-A|248|248|
(#$arg2Isa {{#if: M-C |M-C|}} #$argsGenl {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

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

{{MELD-A|249|249|
(#$isa {{#if: 800 |800|}} #$argsIsa {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|250|250|
(#$arity {{#if: M-C |M-C|}} #$argsIsa {{#if:  |[[]]|}} 2 )

{{MELD-A|251|251|
(#$arg1Isa {{#if: M-C |M-C|}} #$argsIsa {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|252|252|
(#$arg2Isa {{#if: M-C |M-C|}} #$argsIsa {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

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

{{MELD-A|253|253|
(#$isa {{#if: 800 |800|}} #$arity {{#if: M-C |M-C|}} #$DefaultMonotonicPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|254|254|
(#$isa {{#if: 800 |800|}} #$arity {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|255|255|
(#$arity {{#if: M-C |M-C|}} #$arity {{#if:  |[[]]|}} 2 )

{{MELD-A|256|256|
(#$arg1Isa {{#if: M-C |M-C|}} #$arity {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[]]|}})

{{MELD-A|257|257|
(#$arg2Isa {{#if: M-C |M-C|}} #$arity {{#if: M-C |M-C|}} #$Integer {{#if:  |[[{{{2}}}]]|}} )

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

{{MELD-A|258|258|
(#$isa {{#if: 800 |800|}} #$coExtensional {{#if: M-C |M-C|}} #$SymmetricBinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|259|259|
(#$isa {{#if: 800 |800|}} #$coExtensional {{#if: M-C |M-C|}} #$ReflexiveBinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|260|260|
(#$isa {{#if: 800 |800|}} #$coExtensional {{#if: M-C |M-C|}} #$TransitiveBinaryPredicate {{#if:  |[[]]|}})

{{MELD-A|261|261|
(#$genlInverse {{#if: M-C |M-C|}} #$coExtensional {{#if: M-C |M-C|}} #$coExtensional {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|262|262|
(#$arity {{#if: M-C |M-C|}} #$coExtensional {{#if:  |[[]]|}} 2 )

{{MELD-A|263|263|
(#$arg1Isa {{#if: M-C |M-C|}} #$coExtensional {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|264|264|
(#$arg2Isa {{#if: M-C |M-C|}} #$coExtensional {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

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

{{MELD-A|265|265|
(#$isa {{#if: 800 |800|}} #$comment {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|266|266|
(#$arity {{#if: M-C |M-C|}} #$comment {{#if:  |[[]]|}} 2 )

{{MELD-A|267|267|
(#$arg1Isa {{#if: M-C |M-C|}} #$comment {{#if: M-C |M-C|}} #$CycIndexedTerm {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|268|268|
(#$arg2Isa {{#if: M-C |M-C|}} #$comment {{#if: M-C |M-C|}} #$CycSystemString {{#if:  |[[{{{2}}}]]|}} )

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

{{MELD-A|269|269|
(#$isa {{#if: 800 |800|}} #$cyclistNotes {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|270|270|
(#$arity {{#if: M-C |M-C|}} #$cyclistNotes {{#if:  |[[]]|}} 2 )

{{MELD-A|271|271|
(#$arg1Isa {{#if: M-C |M-C|}} #$cyclistNotes {{#if: M-C |M-C|}} #$CycIndexedTerm {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|272|272|
(#$arg2Isa {{#if: M-C |M-C|}} #$cyclistNotes {{#if: M-C |M-C|}} #$CycSystemString {{#if:  |[[{{{2}}}]]|}} )

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

{{MELD-A|273|273|
(#$isa {{#if: 800 |800|}} #$defnIff {{#if: M-C |M-C|}} #$InferenceRelatedBookkeepingPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|274|274|
(#$isa {{#if: 800 |800|}} #$defnIff {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|275|275|
(#$arity {{#if: M-C |M-C|}} #$defnIff {{#if:  |[[]]|}} 2 )

{{MELD-A|276|276|
(#$arg1Isa {{#if: M-C |M-C|}} #$defnIff {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|277|277|
(#$arg2Isa {{#if: M-C |M-C|}} #$defnIff {{#if: M-C |M-C|}} #$CycSystemSymbol {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|278|278|
(#$implies {{#if:  |[[]]|}} 
    (#$defnIff {{#if:  |[[]]|}} ?X ?Y ) 
    (#$defnSufficient {{#if:  |[[]]|}} ?X ?Y )
)

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

{{MELD-A|279|279|
(#$isa {{#if: 800 |800|}} #$defnNecessary {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[]]|}})

{{MELD-A|280|280|
(#$arity {{#if: M-C |M-C|}} #$defnNecessary {{#if:  |[[]]|}} 2 )

{{MELD-A|281|281|
(#$arg1Isa {{#if: M-C |M-C|}} #$defnNecessary {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

{{MELD-A|282|282|
(#$arg2Isa {{#if: M-C |M-C|}} #$defnNecessary {{#if: M-C |M-C|}} #$CycSystemSymbol {{#if:  |[[]]|}})

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

{{MELD-A|283|283|
(#$isa {{#if: 800 |800|}} #$defnSufficient {{#if: M-C |M-C|}} #$InferenceRelatedBookkeepingPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|284|284|
(#$isa {{#if: 800 |800|}} #$defnSufficient {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|285|285|
(#$arity {{#if: M-C |M-C|}} #$defnSufficient {{#if:  |[[]]|}} 2 )

{{MELD-A|286|286|
(#$arg1Isa {{#if: M-C |M-C|}} #$defnSufficient {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|287|287|
(#$arg2Isa {{#if: M-C |M-C|}} #$defnSufficient {{#if: M-C |M-C|}} #$CycSystemSymbol {{#if:  |[[]]|}})

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

{{MELD-A|288|288|
(#$isa {{#if: 800 |800|}} #$different {{#if: M-C |M-C|}} #$VariableArityRelation {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|289|289|
(#$isa {{#if: 800 |800|}} #$different {{#if: M-C |M-C|}} #$EvaluatableFunction {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|290|290|
(#$isa {{#if: 800 |800|}} #$different {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|291|291|
(#$argsIsa {{#if: M-C |M-C|}} #$different {{#if: M-C |M-C|}} #$Thing {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|292|292|
(#$not {{#if:  |[[]]|}} 
    (#$different {{#if:  |[[]]|}} ?OBJ ?OBJ)
)

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

{{MELD-A|293|293|
(#$isa {{#if: 800 |800|}} #$disjointWith {{#if: M-C |M-C|}} #$DefaultMonotonicPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|294|294|
(#$isa {{#if: 800 |800|}} #$disjointWith {{#if: M-C |M-C|}} #$SymmetricBinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|295|295|
(#$isa {{#if: 800 |800|}} #$disjointWith {{#if: M-C |M-C|}} #$IrreflexiveBinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|296|296|
(#$genlInverse {{#if: M-C |M-C|}} #$disjointWith {{#if: M-C |M-C|}} #$disjointWith {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|297|297|
(#$arity {{#if: M-C |M-C|}} #$disjointWith {{#if:  |[[]]|}} 2 )

{{MELD-A|298|298|
(#$arg1Isa {{#if: M-C |M-C|}} #$disjointWith {{#if: M-C |M-C|}} #$SetOrCollection {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|299|299|
(#$arg2Isa {{#if: M-C |M-C|}} #$disjointWith {{#if: M-C |M-C|}} #$SetOrCollection {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|300|a=300|
(#$not {{#if:  |[[]]|}}      (#$and {{#if:  |[[]]|}} 
       (#$isa {{#if:  |[[]]|}} ?OBJ ?COL1) 
       (#$isa {{#if:  |[[]]|}} ?OBJ ?COL2) 
       (#$disjointWith {{#if:  |[[]]|}} ?COL1 ?COL2)
    )   )

{{MELD-A|301|a=301|
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$disjointWith {{#if:  |[[]]|}} ?COL ?SUPERSET ) 
        (#$genls {{#if:  |[[]]|}} ?SUBSET ?SUPERSET )
    ) 
    (#$disjointWith {{#if:  |[[]]|}} ?COL ?SUBSET )
)

{{MELD-A|302|a=302|
(#$not {{#if:  |[[]]|}}  (#$and {{#if:  |[[]]|}} 
    (#$disjointWith {{#if:  |[[]]|}} ?X ?Y) 
    (#$genls {{#if:  |[[]]|}} ?X ?Y)
            )   )

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

{{MELD-A|303|a=303|
(#$isa {{#if: 800 |800|}} #$elementOf {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[]]|}})

{{MELD-A|304|a=304|
(#$arity {{#if: M-C |M-C|}} #$elementOf {{#if:  |[[]]|}} 2)

{{MELD-A|305|a=305|
(#$arg1Isa {{#if: M-C |M-C|}} #$elementOf {{#if: M-C |M-C|}} #$Thing {{#if:  |[[]]|}})

{{MELD-A|306|a=306|
(#$arg2Isa {{#if: M-C |M-C|}} #$elementOf {{#if: M-C |M-C|}} #$SetOrCollection {{#if:  |[[]]|}})

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

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

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

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

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

{{MELD-A|311|a=311|
(#$genlInverse {{#if: M-C |M-C|}} #$equals {{#if: M-C |M-C|}} #$equals {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|312|a=312|
(#$arity {{#if: M-C |M-C|}} #$equals {{#if:  |[[]]|}} 2 )

{{MELD-A|313|a=313|
(#$arg1Isa {{#if: M-C |M-C|}} #$equals {{#if: M-C |M-C|}} #$Thing {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|314|a=314|
(#$arg2Isa {{#if: M-C |M-C|}} #$equals {{#if: M-C |M-C|}} #$Thing {{#if:  |[[{{{2}}}]]|}} )

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

{{MELD-A|315|a=315|
(#$isa {{#if: 800 |800|}} #$exceptFor {{#if: M-C |M-C|}} #$Relatio1nship {{#if:  |[[]]|}})

{{MELD-A|316|a=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|}} {{MELD-V|002|Assertion|)

{{MELD-A|318|a=318|
(#$arg1Isa {{#if: M-C |M-C|}} #$exceptFor {{#if: M-C |M-C|}} #$ReifiableTerm {{#if:  |[[{{{2}}}]]|}} )

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

{{MELD-A|319|a=319|
(#$isa {{#if: 800 |800|}} #$exceptWhen {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[]]|}})

{{MELD-A|320|a=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|}} {{MELD-V|002|Assertion|)

{{MELD-A|322|a=322|
(#$arg1Isa {{#if: M-C |M-C|}} #$exceptWhen {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[]]|}})

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

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

{{MELD-A|324|a=324|
(#$arity {{#if: M-C |M-C|}} #$forAll {{#if:  |[[]]|}} 2 )

{{MELD-A|325|a=325|
(#$arg2Isa {{#if: M-C |M-C|}} #$forAll {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|326|a=326|
(#$arg1Isa {{#if: M-C |M-C|}} #$forAll {{#if: M-C |M-C|}} #$CycELVariable {{#if:  |[[{{{2}}}]]|}} )

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

{{MELD-A|327|a=327|
(#$isa {{#if: 800 |800|}} #$genlAttributes {{#if: M-C |M-C|}} #$ReflexiveBinaryPredicate {{#if:  |[[]]|}})

{{MELD-A|328|a=328|
(#$isa {{#if: 800 |800|}} #$genlAttributes {{#if: M-C |M-C|}} #$TransitiveBinaryPredicate {{#if:  |[[]]|}})

{{MELD-A|329|a=329|
(#$arity {{#if: M-C |M-C|}} #$genlAttributes {{#if:  |[[]]|}} 2 )

{{MELD-A|330|a=330|
(#$arg1Isa {{#if: M-C |M-C|}} #$genlAttributes {{#if: M-C |M-C|}} #$AttributeValue {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|331|a=331|
(#$arg2Isa {{#if: M-C |M-C|}} #$genlAttributes {{#if: M-C |M-C|}} #$AttributeValue {{#if:  |[[]]|}})

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

{{MELD-A|332|a=332|
(#$isa {{#if: 800 |800|}} #$genlInverse {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[]]|}})

{{MELD-A|333|a=333|
(#$arity {{#if: M-C |M-C|}} #$genlInverse {{#if:  |[[]]|}} 2 )

{{MELD-A|334|a=334|
(#$arg1Isa {{#if: M-C |M-C|}} #$genlInverse {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|335|a=335|
(#$arg2Isa {{#if: M-C |M-C|}} #$genlInverse {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

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

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

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

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

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

{{MELD-A|341|a=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|}}

{{MELD-A|342|a=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|}} {{MELD-V|001|AntiSymmetricBinaryPredicate| )

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

{{MELD-A|345|a=345|
(#$isa {{#if: 800 |800|}} #$genlMt {{#if: M-C |M-C|}} #$TransitiveBinaryPredicate {{#if:  |[[]]|}})

{{MELD-A|346|a=346|
(#$arity {{#if: M-C |M-C|}} #$genlMt {{#if:  |[[]]|}} 2)

{{MELD-A|347|a=347|
(#$arg1Isa {{#if: M-C |M-C|}} #$genlMt {{#if: M-C |M-C|}} #$Microtheory {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|348|a=348|
(#$arg2Isa {{#if: M-C |M-C|}} #$genlMt {{#if: M-C |M-C|}} #$Microtheory {{#if:  |[[{{{2}}}]]|}} )

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

{{MELD-A|349|a=349|
(#$isa {{#if: 800 |800|}} #$genlPreds {{#if: meld-c |meld-c|}} {{MELD-V|001|AntiSymmetricBinaryPredicate| )

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

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

{{MELD-A|352|a=352|
(#$arity {{#if: M-C |M-C|}} #$genlPreds {{#if:  |[[]]|}} 2 )

{{MELD-A|353|a=353|
(#$arg1Isa {{#if: M-C |M-C|}} #$genlPreds {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|354|a=354|
(#$arg2Isa {{#if: M-C |M-C|}} #$genlPreds {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )

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

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

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

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

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

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

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

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

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

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

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

{{MELD-A|365|a=365|
(#$arity {{#if: M-C |M-C|}} #$genls {{#if:  |[[]]|}} 2 )

{{MELD-A|366|a=366|
(#$arg1Isa {{#if: M-C |M-C|}} #$genls {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|367|a=367|
(#$arg2Isa {{#if: M-C |M-C|}} #$genls {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|368|a=368|
(#$implies {{#if:  |[[]]|}} 
    (#$and {{#if:  |[[]]|}} 
        (#$isa {{#if:  |[[]]|}} ?OBJ ?SUBSET ) 
        (#$genls {{#if:  |[[]]|}} ?SUBSET ?SUPERSET )
    ) 
    (#$isa {{#if:  |[[]]|}} ?OBJ ?SUPERSET )
)

{{MELD-A|369|a=369|
(#$implies {{#if:  |[[]]|}} 
    (#$resultgenl {{#if:  |[[]]|}} ?FUNC ?COLL ) 
    (#$genls {{#if:  |[[]]|}} 
        (?FUNC ?ARG1 ?ARG2 ?ARG3 ?ARG4 ?ARG5 )
        ?COLL
    )
)

{{MELD-A|370|a=370|
(#$implies {{#if:  |[[]]|}} 
    (#$resultgenl {{#if:  |[[]]|}} ?FUNC ?COLL ) 
    (#$genls {{#if:  |[[]]|}} 
        ( ?FUNC ?ARG1 ?ARG2 ?ARG3 ?ARG4 ) 
        ?COLL
    )
)

{{MELD-A|371|a=371|
(#$implies {{#if:  |[[]]|}} 
    (#$resultgenl {{#if:  |[[]]|}} ?FUNC ?COLL) 
    (#$genls {{#if:  |[[]]|}} 
        (?FUNC ?ARG1 ?ARG2 ?ARG3) 
        ?COLL
    )
)

{{MELD-A|372|a=372|
(#$implies {{#if:  |[[]]|}} 
    (#$resultgenl {{#if:  |[[]]|}} ?FUNC ?COLL) 
    (#$genls {{#if:  |[[]]|}} 
        (?FUNC ?ARG1 ?ARG2) 
        ?COLL
    )
)

{{MELD-A|373|a=373|
(#$implies {{#if:  |[[]]|}} 
   (#$resultgenl {{#if:  |[[]]|}} ?FUNC ?COLL) 
   (#$genls {{#if:  |[[]]|}} 
      (?FUNC ?ARG1) ?COLL)
)

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

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

{{MELD-A|375|a=375|
(#$arity {{#if: M-C |M-C|}} #$hasAttributes {{#if:  |[[]]|}} 2)

{{MELD-A|376|a=376|
(#$arg1Isa {{#if: M-C |M-C|}} #$hasAttributes {{#if: M-C |M-C|}} #$TemporalObject {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|377|a=377|
(#$arg2Isa {{#if: M-C |M-C|}} #$hasAttributes {{#if: M-C |M-C|}} #$AttributeValue {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|378|a=378|
(#$not {{#if:  |[[]]|}}  (#$and {{#if:  |[[]]|}} 
    (#$hasAttributes {{#if:  |[[]]|}} ?Z ?X ) 
    (#$hasAttributes {{#if:  |[[]]|}} ?Z ?Y ) 
    (#$negationAttribute {{#if:  |[[]]|}} ?X ?Y )
              ) )

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

{{MELD-A|379|a=379|
(#$isa {{#if: 800 |800|}} #$holdsIn {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[]]|}})

{{MELD-A|380|a=380|
(#$arity {{#if: M-C |M-C|}} #$holdsIn {{#if:  |[[]]|}} 2)

{{MELD-A|381|a=381|
(#$arg1Isa {{#if: M-C |M-C|}} #$holdsIn {{#if: M-C |M-C|}} #$TemporalObject {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|382|a=382|
(#$arg2Isa {{#if: M-C |M-C|}} #$holdsIn {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )

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

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

Assertion#384:  
(#$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}}}]]|}} )

{{MELD-A|386|a=386|
(#$arg1Isa {{#if: M-C |M-C|}} #$implies {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )

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

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

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

{{MELD-A|389|a=389|
(#$arity {{#if: M-C |M-C|}} #$interArgIsa1-2 {{#if:  |[[]]|}} 3)

{{MELD-A|390|a=390|
(#$arg1Isa {{#if: M-C |M-C|}} #$interArgIsa1-2 {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[]]|}})

{{MELD-A|391|a=391|
(#$arg2Isa {{#if: M-C |M-C|}} #$interArgIsa1-2 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

{{MELD-A|392|a=392|
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa1-2 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

{{MELD-A|393|a=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 )
)

{{MELD-A|394|a=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|}}

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

{{MELD-A|396|a=396|
(#$arity {{#if: M-C |M-C|}} #$interArgIsa1-3 {{#if:  |[[]]|}} 3)

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

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

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

{{MELD-A|400|a=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|}}

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

{{MELD-A|402|a=402|
(#$arity {{#if: M-C |M-C|}} #$interArgIsa1-4 {{#if:  |[[]]|}} 3 )

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

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

{{MELD-A|405|a=405|
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa1-4 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

{{MELD-A|406|a=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|}}

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

{{MELD-A|408|a=408|
 (#$arity {{#if: M-C |M-C|}} #$interArgIsa1-5 {{#if:  |[[]]|}} 3 )

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

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

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

{{MELD-A|412|a=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|}}

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

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

{{MELD-A|415|a=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|}} {{MELD-C|interArgIsa2-1 #$Collection)

{{MELD-A|417|a=417|
(#$arg3Isa {{#if: M-C |M-C|}} {{MELD-C|interArgIsa2-1 #$Collection)

{{MELD-A|418|a=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|}}

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

{{MELD-A|420|a=420|
(#$arity {{#if: M-C |M-C|}} #$interArgIsa2-3 {{#if:  |[[]]|}} 3 )

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

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

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

 {{MELD-A|424|a=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|}}

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

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

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

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

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

{{MELD-A|430|a=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|}}

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

 {{MELD-A|432|a=432|
(#$arity {{#if: M-C |M-C|}} #$interArgIsa2-5 {{#if:  |[[]]|}} 3 )

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

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

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

 {{MELD-A|436|a=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|}}

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

 {{MELD-A|438|a=438|
(#$arity {{#if: M-C |M-C|}} #$interArgIsa3-1 {{#if:  |[[]]|}} 3 )

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

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

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

 {{MELD-A|442|a=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|}}

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

 {{MELD-A|444|a=444|
(#$arity {{#if: M-C |M-C|}} #$interArgIsa3-2 {{#if:  |[[]]|}} 3 )

 {{MELD-A|445|a=445|
(#$arg1Isa {{#if: M-C |M-C|}} #$interArgIsa3-2 {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )

 {{MELD-A|446|a=446|
(#$arg2Isa {{#if: M-C |M-C|}} #$interArgIsa3-2 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

 {{MELD-A|447|a=447|
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa3-2 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

 {{MELD-A|448|a=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|}}

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

 {{MELD-A|450|a=450|
(#$arity {{#if: M-C |M-C|}} #$interArgIsa3-4 {{#if:  |[[]]|}} 3 )

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

 {{MELD-A|452|a=452|
(#$arg2Isa {{#if: M-C |M-C|}} #$interArgIsa3-4 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

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

 {{MELD-A|454|a=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|}}

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

 {{MELD-A|456|a=456|
(#$arity {{#if: M-C |M-C|}} #$interArgIsa3-5 {{#if:  |[[]]|}} 3 )

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

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

 {{MELD-A|459|a=459|
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa3-5 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

 {{MELD-A|460|a=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|}}

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

{{MELD-A|462|a=462|
(#$arity {{#if: M-C |M-C|}} #$interArgIsa4-1 {{#if:  |[[]]|}} 3 )

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

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

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

{{MELD-A|466|a=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|}}

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

{{MELD-A|468|a=468|
(#$arity {{#if: M-C |M-C|}} #$interArgIsa4-2 {{#if:  |[[]]|}} 3 )

{{MELD-A|469|a=469|
(#$arg1Isa {{#if: M-C |M-C|}} #$interArgIsa4-2 {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|470|a=470|
(#$arg2Isa {{#if: M-C |M-C|}} #$interArgIsa4-2 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|471|a=471|
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa4-2 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|472|a=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|}}

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

{{MELD-A|474|a=474|
(#$arity {{#if: M-C |M-C|}} #$interArgIsa4-3 {{#if:  |[[]]|}} 3 )

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

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

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

{{MELD-A|478|a=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|}}

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

{{MELD-A|480|a=480|
(#$arity {{#if: M-C |M-C|}} #$interArgIsa4-5 {{#if:  |[[]]|}} 3 )

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

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

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

{{MELD-A|484|a=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|}}

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

{{MELD-A|486|a=486|
(#$arity {{#if: M-C |M-C|}} #$interArgIsa5-1 {{#if:  |[[]]|}} 3 )

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

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

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

{{MELD-A|490|a=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|}}

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

{{MELD-A|492|a=492|
(#$arity {{#if: M-C |M-C|}} #$interArgIsa5-2 {{#if:  |[[]]|}} 3 )

{{MELD-A|493|a=493|
(#$arg1Isa {{#if: M-C |M-C|}} #$interArgIsa5-2 {{#if: M-C |M-C|}} #$QuintaryPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|494|a=494|
(#$arg2Isa {{#if: M-C |M-C|}} #$interArgIsa5-2 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

{{MELD-A|495|a=495|
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa5-2 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

{{MELD-A|496|a=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|}}

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

{{MELD-A|498|a=498|
(#$arity {{#if: M-C |M-C|}} #$interArgIsa5-3 {{#if:  |[[]]|}} 3 )

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

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

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

{{MELD-A|502|a=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|}}

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

{{MELD-A|504|a=504|
(#$arity {{#if: M-C |M-C|}} #$interArgIsa5-4 {{#if:  |[[]]|}} 3)

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

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

{{MELD-A|507|a=507|
(#$arg3Isa {{#if: M-C |M-C|}} #$interArgIsa5-4 {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

{{MELD-A|508|a=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|}}

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

{{MELD-A|510|a=510|
(#$arity {{#if: M-C |M-C|}} #$relationExistsAll {{#if:  |[[]]|}} 3 )

{{MELD-A|511|a=511|
(#$arg1Isa {{#if: M-C |M-C|}} #$relationExistsAll {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|512|a=512|
(#$arg2Isa {{#if: M-C |M-C|}} #$relationExistsAll {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|513|a=513|
(#$arg3Isa {{#if: M-C |M-C|}} #$relationExistsAll {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

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

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

{{MELD-A|515|a=515|
(#$arity {{#if: M-C |M-C|}} #$relationExistsCountAll {{#if:  |[[]]|}} 4 )

{{MELD-A|516|a=516|
(#$arg1Isa {{#if: M-C |M-C|}} #$relationExistsCountAll {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

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

{{MELD-A|518|a=518|
(#$arg3Isa {{#if: M-C |M-C|}} #$relationExistsCountAll {{#if: M-C |M-C|}} #$Collection {{#if:  |[[]]|}})

{{MELD-A|519|a=519|
(#$arg4Isa {{#if: M-C |M-C|}} #$relationExistsCountAll {{#if: M-C |M-C|}} #$NonNegativeInteger {{#if:  |[[{{{2}}}]]|}} )

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

{{MELD-A|520|a=520|
(#$isa {{#if: 800 |800|}} #$isa {{#if: 800 |800|}} #$DefaultMonotonicPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|521|a=521|
(#$isa {{#if: 800 |800|}} #$isa {{#if: 800 |800|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|522|a=522|
(#$arity {{#if: M-C |M-C|}} #$isa {{#if:  |[[]]|}} 2 )

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

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

{{MELD-A|525|a=525|
(#$implies {{#if:  |[[]]|}} 
    ( #$resultIsa {{#if:  |[[]]|}} ?F ?COL ) 
    ( #$isa {{#if:  |[[]]|}} 
        (?F ?ARG1 ?ARG2 ?ARG3 ) 
        ?COL
    )
)

{{MELD-A|526|a=526|
(#$implies {{#if:  |[[]]|}} 
    (#$resultIsa {{#if:  |[[]]|}} ?F ?COL ) 
    (#$isa {{#if:  |[[]]|}} 
        (?F ?ARG1 ?ARG2 ) 
           ?COL
    )
)

{{MELD-A|527|a=527|
(#$implies {{#if:  |[[]]|}} 
    (#$resultIsa {{#if:  |[[]]|}} ?F ?COL) 
    (#$isa {{#if:  |[[]]|}} 
        (?F ?ARG1 ) 
        ?COL 
    )
)

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

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

{{MELD-A|529|a=529|
(#$arity {{#if: M-C |M-C|}} #$ist {{#if:  |[[]]|}} 2 )

{{MELD-A|530|a=530|
(#$arg1Isa {{#if: M-C |M-C|}} #$ist {{#if: M-C |M-C|}} #$Microtheory {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|531|a=531|
(#$arg2Isa {{#if: M-C |M-C|}} #$ist {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )

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

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

{{MELD-A|533|a=533|
(#$arity {{#if: M-C |M-C|}} #$lispDefun {{#if:  |[[]]|}} 2 )

{{MELD-A|534|a=534|
(#$arg1Isa {{#if: M-C |M-C|}} #$lispDefun {{#if: M-C |M-C|}} #$EvaluatableFunction {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|535|a=535|
(#$arg2Isa {{#if: M-C |M-C|}} #$lispDefun {{#if: M-C |M-C|}} #$CycSystemSymbol {{#if:  |[[{{{2}}}]]|}} )

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

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

{{MELD-A|537|a=537|
(#$arity {{#if: M-C |M-C|}} #$minimizeExtent {{#if:  |[[]]|}} 1 )

{{MELD-A|538|a=538|
(#$arg1Isa {{#if: M-C |M-C|}} #$minimizeExtent {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )

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

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

{{MELD-A|549|a=540|
(#$arity {{#if: M-C |M-C|}} #$mtInferenceFunction {{#if:  |[[]]|}} 2 )

{{MELD-A|541|a=541|
(#$arg1Isa {{#if: M-C |M-C|}} #$mtInferenceFunction {{#if: M-C |M-C|}} #$Microtheory {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|542|a=542|
(#$arg2Isa {{#if: M-C |M-C|}} #$mtInferenceFunction {{#if: M-C |M-C|}} #$CycSystemSymbol {{#if:  |[[{{{2}}}]]|}} )

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

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

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

{{MELD-A|545|a=545|
(#$arity {{#if: M-C |M-C|}} #$myCreationTime {{#if:  |[[]]|}} 2 )

{{MELD-A|546|a=546|
(#$arg1Isa {{#if: M-C |M-C|}} #$myCreationTime {{#if: M-C |M-C|}} #$Thing {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|543|a=547|
(#$arg2Isa {{#if: M-C |M-C|}} #$myCreationTime {{#if: M-C |M-C|}} #$PositiveInteger {{#if:  |[[{{{2}}}]]|}} )

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

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

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

{{MELD-A|550|a=550|
(#$arity {{#if: M-C |M-C|}} #$myCreator {{#if:  |[[]]|}} 2)

{{MELD-A|551|a=551|
(#$arg1Isa {{#if: M-C |M-C|}} #$myCreator {{#if: M-C |M-C|}} #$Thing {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|552|a=552|
(#$arg2Isa {{#if: M-C |M-C|}} #$myCreator {{#if: M-C |M-C|}} #$Cyclist {{#if:  |[[{{{2}}}]]|}} )

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

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

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

{{MELD-A|555|a=555|
(#$genlInverse {{#if: M-C |M-C|}} #$negationAttribute {{#if: M-C |M-C|}} #$negationAttribute {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|556|a=556|
(#$arity {{#if: M-C |M-C|}} #$negationAttribute {{#if:  |[[]]|}} 2)

{{MELD-A|557|a=557|
(#$arg1Isa {{#if: M-C |M-C|}} #$negationAttribute {{#if: M-C |M-C|}} #$AttributeValue {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|558|a=558|
(#$arg2Isa {{#if: M-C |M-C|}} #$negationAttribute {{#if: M-C |M-C|}} #$AttributeValue {{#if:  |[[{{{2}}}]]|}} )

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

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

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

{{MELD-A|561|a=561|
(#$genlInverse {{#if: M-C |M-C|}} #$negationInverse {{#if: M-C |M-C|}} #$negationInverse {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|562|a=562|
(#$arity {{#if: M-C |M-C|}} #$negationInverse {{#if:  |[[]]|}} 2 )

{{MELD-A|563|a=563|
(#$arg1Isa {{#if: M-C |M-C|}} #$negationInverse {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|564|a=564|
(#$arg2Isa {{#if: M-C |M-C|}} #$negationInverse {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

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

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

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

{{MELD-A|567|a=567|
(#$genlInverse {{#if: M-C |M-C|}} #$negationPreds {{#if: M-C |M-C|}} #$negationPreds {{#if:  |[[]]|}})

{{MELD-A|568|a=568|
(#$arity {{#if: M-C |M-C|}} #$negationPreds {{#if:  |[[]]|}} 2 )

{{MELD-A|569|a=569|
(#$arg1Isa {{#if: M-C |M-C|}} #$negationPreds {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|570|a=570|
(#$arg2Isa {{#if: M-C |M-C|}} #$negationPreds {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )

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

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

{{MELD-A|573|a=573|
(#$not {{#if:  |[[]]|}}      (#$and {{#if:  |[[]]|}} 
   (#$negationPreds {{#if:  |[[]]|}} ?NEG-PRED ?PRED) 
   (?PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4) 
   (?NEG-PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4 )
                    )     )

{{MELD-A|574|a=574|
(#$not {{#if:  |[[]]|}}     (#$and {{#if:  |[[]]|}} 
   (#$negationPreds {{#if:  |[[]]|}} ?NEG-PRED ?PRED) 
   (?PRED ?ARG1 ?ARG2 ?ARG3) 
   (?NEG-PRED ?ARG1 ?ARG2 ?ARG3)
                )    )

{{MELD-A|575|a=575|
(#$not {{#if:  |[[]]|}}   (#$and {{#if:  |[[]]|}} 
   (#$negationPreds {{#if:  |[[]]|}} ?NEG-PRED ?PRED) 
   (?PRED ?ARG1 ?ARG2) 
   (?NEG-PRED ?ARG1 ?ARG2)
                     )        )

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

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

{{MELD-A|577|a=577|
(#$arity {{#if: M-C |M-C|}} #$not {{#if:  |[[]]|}} 1 )

{{MELD-A|578|a=578|
(#$arg1Isa {{#if: M-C |M-C|}} #$not {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )

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

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

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

{{MELD-A|581|a=581|
(#$arity {{#if: M-C |M-C|}} #$oldConstantName {{#if:  |[[]]|}} 2 )

{{MELD-A|582|a=582|
(#$arg1Isa {{#if: M-C |M-C|}} #$oldConstantName {{#if: M-C |M-C|}} #$Thing {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|583|a=583|
(#$arg2Isa {{#if: M-C |M-C|}} #$oldConstantName {{#if: M-C |M-C|}} #$CycSystemString {{#if:  |[[{{{2}}}]]|}} )

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

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

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

{{MELD-A|586|a=586|
(#$argsIsa {{#if: M-C |M-C|}} #$or {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )

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

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

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

{{MELD-A|589|a=589|
(#$arity {{#if: M-C |M-C|}} #$relationAllExists {{#if:  |[[]]|}} 3 )

{{MELD-A|590|a=590|
(#$arg1Isa {{#if: M-C |M-C|}} #$relationAllExists {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|591|a=591|
(#$arg2Isa {{#if: M-C |M-C|}} #$relationAllExists {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|592|a=592|
(#$arg3Isa {{#if: M-C |M-C|}} #$relationAllExists {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

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

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

{{MELD-A|594|a=594|
(#$arity {{#if: M-C |M-C|}} #$relationAllExistsCount {{#if:  |[[]]|}} 4 )

{{MELD-A|595|a=595|
(#$arg1Isa {{#if: M-C |M-C|}} #$relationAllExistsCount {{#if: M-C |M-C|}} #$BinaryPredicate {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|596|a=596|
(#$arg2Isa {{#if: M-C |M-C|}} #$relationAllExistsCount {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|597|a=597|
(#$arg3Isa {{#if: M-C |M-C|}} #$relationAllExistsCount {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|598|a=598|
(#$arg4Isa {{#if: M-C |M-C|}} #$relationAllExistsCount {{#if: M-C |M-C|}} #$NonNegativeInteger {{#if:  |[[{{{2}}}]]|}} )

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

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

{{MELD-A|601|a=601|
(#$arity {{#if: M-C |M-C|}} #$requiredArg1Pred {{#if:  |[[]]|}} 2 )

{{MELD-A|602|a=602|
(#$arg1Isa {{#if: M-C |M-C|}} #$requiredArg1Pred {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|603|a=603|
(#$arg2Isa {{#if: M-C |M-C|}} #$requiredArg1Pred {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )

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

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

{{MELD-A|605|a=605|
(#$arity {{#if: M-C |M-C|}} #$requiredArg2Pred {{#if:  |[[]]|}} 2 )

{{MELD-A|606|a=606|
(#$arg1Isa {{#if: M-C |M-C|}} #$requiredArg2Pred {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|607|a=607|
(#$arg2Isa {{#if: M-C |M-C|}} #$requiredArg2Pred {{#if: M-C |M-C|}} #$Predicate {{#if:  |[[{{{2}}}]]|}} )

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

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

{{MELD-A|609|a=609|
(#$arity {{#if: M-C |M-C|}} #$resultGenl {{#if:  |[[]]|}} 2  )

{{MELD-A|610|a=610|
(#$arg1Isa {{#if: M-C |M-C|}} #$resultGenl {{#if: M-C |M-C|}} #$CollectionDenotingFunction {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|611|a=611|
(#$arg2Isa {{#if: M-C |M-C|}} #$resultGenl {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

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

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

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

{{MELD-A|614|a=614|
(#$arg1Isa {{#if: M-C |M-C|}} #$resultIsa {{#if: M-C |M-C|}} #$Relationship {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|615|a=615|
(#$arg2Isa {{#if: M-C |M-C|}} #$resultIsa {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

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

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

{{MELD-A|617|a=617|
(#$arity {{#if: M-C |M-C|}} #$satisfiesDescription {{#if:  |[[]]|}} 3 )

{{MELD-A|618|a=618|
(#$arg1Isa {{#if: M-C |M-C|}} #$satisfiesDescription {{#if: M-C |M-C|}} #$CycSystemList {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|619|a=619|
(#$arg2Isa {{#if: M-C |M-C|}} #$satisfiesDescription {{#if: M-C |M-C|}} #$CycSystemList {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|620|a=620|
(#$arg3Isa {{#if: M-C |M-C|}} #$satisfiesDescription {{#if: M-C |M-C|}} #$Microtheory {{#if:  |[[{{{2}}}]]|}} )

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

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

{{MELD-A|622|a=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}}}]]|}} )

{{MELD-A|624|a=624|
(#$arity {{#if: M-C |M-C|}} #$siblingDisjointExceptions {{#if:  |[[]]|}} 2 )

{{MELD-A|625|a=625|
(#$arg1Isa {{#if: M-C |M-C|}} #$siblingDisjointExceptions {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|626|a=626|
(#$arg2Isa {{#if: M-C |M-C|}} #$siblingDisjointExceptions {{#if: M-C |M-C|}} #$Collection {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|627|a=627|
(#$implies {{#if:  |[[]]|}} 
    (#$siblingDisjointExceptions {{#if:  |[[]]|}} ?C1 ?C2 ) 
    (#$siblingDisjointExceptions {{#if:  |[[]]|}} ?C1 ?C2 ) 
)

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

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

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

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

{{MELD-A|631|a=631|
(#$arity {{#if: M-C |M-C|}} #$termOfUnit {{#if:  |[[]]|}} 2 )

{{MELD-A|632|a=632|
(#$arg1Isa {{#if: M-C |M-C|}} #$termOfUnit {{#if: M-C |M-C|}} #$ReifiableTerm {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|633|a=633|
(#$arg2Isa {{#if: M-C |M-C|}} #$termOfUnit {{#if: M-C |M-C|}} #$CycSystemList {{#if:  |[[{{{2}}}]]|}} )

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

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

{{MELD-A|635|a=635|
(#$arity {{#if: M-C |M-C|}} #$thereExistAtLeast {{#if:  |[[]]|}} 3 )

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

{{MELD-A|637|a=637|
(#$arg3Isa {{#if: M-C |M-C|}} #$thereExistAtLeast {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|638|a=638|
(#$arg2Isa {{#if: M-C |M-C|}} #$thereExistAtLeast {{#if: M-C |M-C|}} #$CycELVariable {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|639|a=639|
(#$arg1Isa {{#if: M-C |M-C|}} #$thereExistAtLeast {{#if: M-C |M-C|}} #$PositiveInteger {{#if:  |[[{{{2}}}]]|}} )

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

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

{{MELD-A|641|a=641|
(#$arity {{#if: M-C |M-C|}} #$thereExistAtMost {{#if:  |[[]]|}} 3 )

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

{{MELD-A|643|a=643|
(#$arg3Isa {{#if: M-C |M-C|}} #$thereExistAtMost {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|644|a=644|
(#$arg2Isa {{#if: M-C |M-C|}} #$thereExistAtMost {{#if: M-C |M-C|}} #$CycELVariable {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|645|a=645|
(#$arg1Isa {{#if: M-C |M-C|}} #$thereExistAtMost {{#if: M-C |M-C|}} #$PositiveInteger {{#if:  |[[{{{2}}}]]|}} )

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

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

{{MELD-A|647|a=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}}}]]|}} )

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

{{MELD-A|650|a=650|
(#$arg2Isa {{#if: M-C |M-C|}} #$thereExistExactly {{#if: M-C |M-C|}} #$CycELVariable {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|651|a=651|
(#$arg1Isa {{#if: M-C |M-C|}} #$thereExistExactly {{#if: M-C |M-C|}} #$PositiveInteger {{#if:  |[[]]|}})

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

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

{{MELD-A|653|a=653|
(#$arity {{#if: M-C |M-C|}} #$thereExists {{#if:  |[[]]|}} 2 )

{{MELD-A|654|a=654|
(#$arg2Isa {{#if: M-C |M-C|}} #$thereExists {{#if: M-C |M-C|}} #$CycFormula {{#if:  |[[{{{2}}}]]|}} )

{{MELD-A|655|a=655|
(#$arg1Isa {{#if: M-C |M-C|}} #$thereExists {{#if: M-C |M-C|}} #$CycELVariable {{#if:  |[[{{{2}}}]]|}} )