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|}}  {{MELD-C|BinaryPredicate]]), 

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

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: 800 |800|}}  #$AntiSymmetricBinaryPredicate {{#if: 001 |001|}}  #$Collection {{#if:  |[[{{{2}}}]]|}} )

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

Assertion#003: m-A
({{MELD-C|implies]] 
   (#$and 
      ({{MELD-C|isa]] ?SLOT  AntiSymmetricBinaryPredicate|m-A}}) 
      ({{MELD-C|isa ?SLOT {{MELD-C|IrreflexiveBinaryPredicate]]) ) 
   ({{MELD-C|isa]] ?SLOT {{MELD-C|AsymmetricBinaryPredicate]])
)

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

Assertion#4: m-A
(#$isa {{#if: 800 |800|}}  #$Assertion {{#if: 002 |002|}}  {{MELD-C|Collection]])

Assertion#5: m-A
(#$genls {{#if: meld-c |meld-c|}}  #$Assertion {{#if: 002 |002|}}  {{MELD-C|CycIndexedTerm]])

Assertion#6: m-A
(#$genls {{#if: meld-c |meld-c|}}  #$Assertion {{#if: 002 |002|}}  {{MELD-C|IndividualObject]])

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

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

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

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

Assertion#10: m-A
({{MELD-C|not]] ({{MELD-C|and]] 
     ({{MELD-C|isa]] ?PRED {{MELD-C|AsymmetricBinaryPredicate]]) 
     (?PRED ?ARG1 ?ARG2) 
     (?PRED ?ARG2 ?ARG1)
                       ) )

Assertion#11: m-A
({{MELD-C|implies]] 
   ({{MELD-C|and]] 
      ({{MELD-C|isa]] ?Q {{MELD-C|AsymmetricBinaryPredicate]]) 
      ({{MELD-C|genlPreds]] ?P ?Q)
   ) 
   ({{MELD-C|isa]] ?P {{MELD-C|AsymmetricBinaryPredicate]])
)

Assertion#12: m-A
({{MELD-C|implies]] 
    ({{MELD-C|isa]] ?PRED {{MELD-C|AsymmetricBinaryPredicate]]) 
    ({{MELD-C|negationInverse]] ?PRED ?PRED)
)

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

Assertion#13: m-A
(#$isa {{#if: 800 |800|}} #$AttributeValue {{#if: M-C |M-C|}} {{MELD-C|Collection]])

Assertion#14: m-A
(#$genls {{#if: M-C |M-C|}} #$AttributeValue {{#if: M-C |M-C|}} {{MELD-C|IndividualObject]])

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

Assertion#15: m-A
(#$isa {{#if: 800 |800|}} #$BaseKB {{#if: M-C |M-C|}} {{MELD-C|BroadMicrotheory]])

Assertion#16: m-A
({{MELD-C|implies]] 
   ({{MELD-C|isa]] ?MIC {{MELD-C|Microtheory]]) 
   ({{MELD-C|genlMt]] ?MIC {{MELD-C|BaseKB]])
)

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

Assertion#17: m-A
(#$isa {{#if: 800 |800|}} #$BinaryPredicate {{#if: M-C |M-C|}} {{MELD-C|Collection]])

Assertion#18: m-A
(#$genls {{#if: M-C |M-C|}} #$BinaryPredicate {{#if: M-C |M-C|}} {{MELD-C|Predicate]])

Assertion#19: m-A
({{MELD-C|implies]] 
    ({{MELD-C|isa]] ?P {{MELD-C|BinaryPredicate]]) 
    ({{MELD-C|arity]] ?P 2 )
)

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

Assertion#20: m-A
(#$isa {{#if: 800 |800|}} #$BookkeepingMt {{#if: M-C |M-C|}} {{MELD-C|Microtheory]])

Assertion#21: m-A
(#$genlMt {{#if: M-C |M-C|}} #$BookkeepingMt {{#if: M-C |M-C|}} {{MELD-C|CyclistsMt]])

Assertion#22: m-A
(#$genlMt {{#if: M-C |M-C|}} #$BookkeepingMt {{#if: M-C |M-C|}} {{MELD-C|BaseKB]])

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

Assertion#23: m-A
(#$isa {{#if: 800 |800|}} #$BookkeepingPredicate {{#if: M-C |M-C|}} {{MELD-C|Collection]])

Assertion#24: m-A
(#$genls {{#if: M-C |M-C|}} #$BookkeepingPredicate {{#if: M-C |M-C|}} {{MELD-C|Predicate]])

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

Assertion#25: m-A
(#$isa {{#if: 800 |800|}} #$BroadMicrotheory {{#if: M-C |M-C|}} {{MELD-C|Collection]])

Assertion#26: m-A
(#$genls {{#if: M-C |M-C|}} #$BroadMicrotheory {{#if: M-C |M-C|}} {{MELD-C|Microtheory]])

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

see also  Assertion#23: m-A. Assertion#25: m-A

Assertion#27: m-A
(#$isa {{#if: 800 |800|}} #$Collection {{#if: M-C |M-C|}} {{MELD-C|Collection]])

Assertion#28: m-A
(#$genls {{#if: M-C |M-C|}} #$Collection {{#if: M-C |M-C|}} {{MELD-C|SetOrCollection]])

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

Assertion#29: m-A
(#$isa {{#if: 800 |800|}} #$CollectionDenotingFunction {{#if: M-C |M-C|}} {{MELD-C|Collection]])

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

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

Assertion#31: m-A
(#$isa {{#if: 800 |800|}} #$CommutativeRelation {{#if: M-C |M-C|}} {{MELD-C|Collection]])

Assertion#32: m-A
(#$genls {{#if: M-C |M-C|}} #$CommutativeRelation {{#if: M-C |M-C|}} {{MELD-C|Relationship]])

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

Assertion#33: m-A
(#$isa {{#if: 800 |800|}} #$CycELVariable {{#if: M-C |M-C|}} {{MELD-C|Collection]])

Assertion#34: m-A
(#$genls {{#if: M-C |M-C|}} #$CycELVariable {{#if: M-C |M-C|}} {{MELD-C|CycSystemSymbol]])

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

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

Assertion#36: m-A
(#$genls {{#if: M-C |M-C|}} #$CycExpression {{#if: M-C |M-C|}} {{MELD-C|IndividualObject]])

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

Assertion#37: m-A
(#$isa {{#if: 800 |800|}} #$CycFormula {{#if: M-C |M-C|}} {{MELD-C|Collection]])

Assertion#38: m-A
(#$genls {{#if: M-C |M-C|}} #$CycFormula {{#if: M-C |M-C|}} {{MELD-C|CycExpression]])

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

Assertion#39: m-A
(#$isa {{#if: 800 |800|}} #$CycIndexedTerm {{#if: M-C |M-C|}} {{MELD-C|Collection]])

Assertion#40: m-A
(#$genls]] #$CycIndexedTerm {{#if: M-C |M-C|}} {{MELD-C|Thing]])

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

Assertion#41: m-A
(#$isa {{#if: 800 |800|}} #$CycSystemList {{#if: M-C |M-C|}} {{MELD-C|Collection]])

Assertion#42: m-A
(#$genls {{#if: M-C |M-C|}} #$CycSystemList {{#if: M-C |M-C|}} {{MELD-C|IndividualObject]])

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

Assertion#43: m-A
(#$isa {{#if: 800 |800|}} #$CycSystemString {{#if: M-C |M-C|}} {{MELD-C|Collection]])

Assertion#44: m-A
(#$genls {{#if: M-C |M-C|}} #$CycSystemString {{#if: M-C |M-C|}} {{MELD-C|IndividualObject]])

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

Assertion#45: m-A
(#$isa {{#if: 800 |800|}} #$CycSystemSymbol {{#if: M-C |M-C|}} {{MELD-C|Collection]])

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

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

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

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

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

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

Assertion#50: m-A
(#$genlMt {{#if: M-C |M-C|}} #$CyclistsMt {{#if: M-C |M-C|}} {{MELD-C|BaseKB]])

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

Assertion#51: m-A
(#$isa {{#if: 800 |800|}} #$DefaultMonotonicPredicate {{#if: M-C |M-C|}} {{MELD-C|Collection]])

Assertion#52: m-A
(#$genls {{#if: M-C |M-C|}} #$DefaultMonotonicPredicate {{#if: M-C |M-C|}} {{MELD-C|Predicate]])

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

Assertion#53: m-A
(#$isa {{#if: 800 |800|}} #$EvaluatableFunction {{#if: M-C |M-C|}} {{MELD-C|Collection]])

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

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

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

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

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

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

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

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

Assertion#59: m-A
(#$genlMt {{#if: M-C |M-C|}} #$ForwardInferencePSC {{#if: M-C |M-C|}} {{MELD-C|BaseKB]])

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

Assertion#60: m-A
(#$isa {{#if: 800 |800|}} #$FunctionTheMathematicalType {{#if: M-C |M-C|}} {{MELD-C|Collection]])

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Assertion#74: m-A
({{MELD-C|not]] ({{MELD-C|and]] 
   ({{MELD-C|isa]] ?PRED {{MELD-C|IrreflexiveBinaryPredicate]]) 
   (?PRED ?OBJ ?OBJ)
                 ) )

Assertion#75: m-A
({{MELD-C|implies]] 
   ({{MELD-C|and]] 
      ({{MELD-C|isa]] ?Q {{MELD-C|IrreflexiveBinaryPredicate]]) 
      ({{MELD-C|different]] ?P ?Q) 
      ({{MELD-C|genlPreds]] ?P ?Q)
   ) 
   ({{MELD-C|isa]] ?P {{MELD-C|IrreflexiveBinaryPredicate]])
)

;;; #$ListTheFormat

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

;;; #$Microtheory

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

;;; #$QuaternaryPredicate

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Assertion#132: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|isa]] ?PRED {{MELD-C|SymmetricBinaryPredicate]]) 
        (?PRED ?ARG1 ?ARG2)
    ) 
    (?PRED ?ARG2 ?ARG1)
)

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

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

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

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

;;; #$TernaryPredicate

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Assertion#147: m-A
({{MELD-C|isa]] ?OBJ {{MELD-C|Thing]])

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Assertion#164: m-A
(#$arg2Isa {{#if: M-C |M-C|}} #$abnormal {{#if: meld-c |meld-c|}}  #$Assertion {{#if: 002 |002|}}  )

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Assertion#278: 278
({{MELD-C|implies]] 
    ({{MELD-C|defnIff]] ?X ?Y ) 
    ({{MELD-C|defnSufficient]] ?X ?Y )
)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Assertion#292: 292
({{MELD-C|not]] 
    ({{MELD-C|different]] ?OBJ ?OBJ)
)

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

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

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

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

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

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

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

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

Assertion#300: m-A
({{MELD-C|not]]      ({{MELD-C|and]] 
       ({{MELD-C|isa]] ?OBJ ?COL1) 
       ({{MELD-C|isa]] ?OBJ ?COL2) 
       ({{MELD-C|disjointWith]] ?COL1 ?COL2)
    )   )

Assertion#301: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|disjointWith]] ?COL ?SUPERSET ) 
        ({{MELD-C|genls]] ?SUBSET ?SUPERSET )
    ) 
    ({{MELD-C|disjointWith]] ?COL ?SUBSET )
)

Assertion#302: m-A
({{MELD-C|not]]  ({{MELD-C|and]] 
    ({{MELD-C|disjointWith]] ?X ?Y) 
    ({{MELD-C|genls]] ?X ?Y)
            )   )

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Assertion#317: m-A
(#$arg2Isa {{#if: M-C |M-C|}} #$exceptFor {{#if: meld-c |meld-c|}}  #$Assertion {{#if: 002 |002|}} )

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

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

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

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

Assertion#321: m-A
(#$arg2Isa {{#if: M-C |M-C|}} #$exceptWhen {{#if: meld-c |meld-c|}}  #$Assertion {{#if: 002 |002|}} )

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Assertion#336: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|genlInverse]] ?PRED ?GEN-PRED) 
        (?PRED ?ARG1 ?ARG2)
    ) 
    (?GEN-PRED ?ARG2 ?ARG1)
)

Assertion#337: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|genlInverse]] ?SPEC-PRED ?PRED) 
        ({{MELD-C|genlInverse]] ?PRED ?GENL-PRED)
    ) 
    ({{MELD-C|genlPreds]] ?SPEC-PRED ?GENL-PRED)
)

Assertion#338: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|genlInverse]] ?SPEC-PRED ?PRED) 
        ({{MELD-C|genlPreds]] ?PRED ?GENL-PRED)
    ) 
    ({{MELD-C|genlInverse]] ?SPEC-PRED ?GENL-PRED)
)

Assertion#339: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|negationPreds]] ?GENL-PRED ?NEG-PRED ) 
        ({{MELD-C|genlInverse]] ?SPEC-PRED ?GENL-PRED )
    ) 
    ({{MELD-C|negationInverse]] ?NEG-PRED ?SPEC-PRED )
)

Assertion#340: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|negationInverse]] ?GENL-PRED ?NEG-PRED ) 
        ({{MELD-C|genlInverse]] ?SPEC-PRED ?GENL-PRED )
    ) 
    ({{MELD-C|negationPreds]] ?NEG-PRED ?SPEC-PRED )
)

Assertion#341: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|genlPreds]] ?SPEC-PRED ?PRED ) 
        ({{MELD-C|genlInverse]] ?PRED ?GENL-PRED )
    ) 
    ({{MELD-C|genlInverse]] ?SPEC-PRED ?GENL-PRED )
)

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

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

Assertion#343: m-A
(#$isa {{#if: 800 |800|}} #$genlMt {{#if: meld-c |meld-c|}}  #$AntiSymmetricBinaryPredicate {{#if: 001 |001|}}  )

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

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

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

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

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

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

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

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

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

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

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

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

Assertion#355: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        (?PRED ?ARG1) 
        ({{MELD-C|genlPreds]] ?PRED ?GENL-PRED )
    ) 
    (?GENL-PRED ?ARG1)
)

Assertion#356: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|negationPreds]] ?GENL-PRED ?NEG-PRED ) 
        ({{MELD-C|genlPreds]] ?SPEC-PRED ?GENL-PRED )
    ) 
    ({{MELD-C|negationPreds]] ?NEG-PRED ?SPEC-PRED )
)

Assertion#357: m-A
 ({{MELD-C|implies]] 
     ({{MELD-C|and]] 
         ({{MELD-C|negationInverse]] ?GENL-PRED ?NEG-PRED ) 
         ({{MELD-C|genlPreds]] ?SPEC-PRED ?GENL-PRED )
     ) 
     ({{MELD-C|negationInverse]] ?NEG-PRED ?SPEC-PRED )
 )

Assertion#358: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|genlPreds]] ?PRED ?GENL-PRED ) 
        (?PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4 ?ARG5 )
    ) 
    (?GENL-PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4 ?ARG5 )
)

Assertion#359: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|genlPreds]] ?PRED ?GENL-PRED) 
        (?PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4)
    ) 
    (?GENL-PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4)
)

Assertion#360: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|genlPreds]] ?PRED ?GENL-PRED) 
        (?PRED ?ARG1 ?ARG2 ?ARG3)
    ) 
    (?GENL-PRED ?ARG1 ?ARG2 ?ARG3)
)

Assertion#361: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|genlPreds]] ?PRED ?GENL-PRED) 
        (?PRED ?ARG1 ?ARG2)
    ) 
    (?GENL-PRED ?ARG1 ?ARG2 )
)

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

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

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

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

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

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

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

Assertion#368: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|isa]] ?OBJ ?SUBSET ) 
        ({{MELD-C|genls]] ?SUBSET ?SUPERSET )
    ) 
    ({{MELD-C|isa]] ?OBJ ?SUPERSET )
)

Assertion#369: m-A
({{MELD-C|implies]] 
    ({{MELD-C|resultgenl]] ?FUNC ?COLL ) 
    ({{MELD-C|genls]] 
        (?FUNC ?ARG1 ?ARG2 ?ARG3 ?ARG4 ?ARG5 )
        ?COLL
    )
)

Assertion#370: m-A
({{MELD-C|implies]] 
    ({{MELD-C|resultgenl]] ?FUNC ?COLL ) 
    ({{MELD-C|genls]] 
        ( ?FUNC ?ARG1 ?ARG2 ?ARG3 ?ARG4 ) 
        ?COLL
    )
)

Assertion#371: m-A
({{MELD-C|implies]] 
    ({{MELD-C|resultgenl]] ?FUNC ?COLL) 
    ({{MELD-C|genls]] 
        (?FUNC ?ARG1 ?ARG2 ?ARG3) 
        ?COLL
    )
)

Assertion#372: m-A
({{MELD-C|implies]] 
    ({{MELD-C|resultgenl]] ?FUNC ?COLL) 
    ({{MELD-C|genls]] 
        (?FUNC ?ARG1 ?ARG2) 
        ?COLL
    )
)

Assertion#373: m-A
({{MELD-C|implies]] 
   ({{MELD-C|resultgenl]] ?FUNC ?COLL) 
   ({{MELD-C|genls]] 
      (?FUNC ?ARG1) ?COLL)
)

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

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

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

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

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

Assertion#378: m-A
({{MELD-C|not]]  ({{MELD-C|and]] 
    ({{MELD-C|hasAttributes]] ?Z ?X ) 
    ({{MELD-C|hasAttributes]] ?Z ?Y ) 
    ({{MELD-C|negationAttribute]] ?X ?Y )
              ) )

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

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

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

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

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

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

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

{{MELD-A|384|a=384]] 
(#$arity {{#if: M-C |M-C|}} {{MELD-C|implies]] 2)

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

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

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

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

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

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

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

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

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

Assertion#393: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|requiredArg1Pred]] ?COL-1 ?PRED ) 
        ({{MELD-C|interArgIsa1-2]] ?PRED ?COL-1 ?COL-2 )
    ) 
    ({{MELD-C|relationAllExists]] ?PRED ?COL-1 ?COL-2 )
)

Assertion#394: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|isa]] ?INDEP-INS ?INDEP-COL) 
        (?PRED ?INDEP-INS ?DEP-INS) 
        ({{MELD-C|interArgIsa1-2]] ?PRED ?INDEP-COL ?DEP-COL)
    ) 
    ({{MELD-C|isa]] ?DEP-INS ?DEP-COL)
)

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

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

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

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

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

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

Assertion#400: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|isa]] ?INDEP-INS ?INDEP-COL ) 
        ({{MELD-C|interArgIsa1-3]] ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?INDEP-INS ?ANY-ARG-2 ?DEP-INS)
    ) 
    ({{MELD-C|isa]] ?DEP-INS ?DEP-COL )
)

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

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

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

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

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

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

Assertion#406: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|isa]] ?INDEP-INS ?INDEP-COL) 
        ({{MELD-C|interArgIsa1-4]] ?PRED ?INDEP-COL ?DEP-COL) 
        (?PRED ?INDEP-INS ?ANY-ARG-2 ?ANY-ARG-3 ?DEP-INS)
    ) 
    ({{MELD-C|isa]] ?DEP-INS ?DEP-COL )
)

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

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

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

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

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

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

Assertion#412: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|isa]] ?INDEP-INS ?INDEP-COL ) 
        ({{MELD-C|interArgIsa1-5]] ?PRED ?INDEP-COL ?DEP-COL ) 
        ( ?PRED ?INDEP-INS ?ANY-ARG-2 ?ANY-ARG-3 ?ANY-ARG-4 ?DEP-INS )
    ) 
    ({{MELD-C|isa]] ?DEP-INS ?DEP-COL)
)

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

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

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

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

Assertion#416: m-A
 (#$arg2Isa {{#if: M-C |M-C|}} {{MELD-C|interArgIsa2-1 #$Collection)

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

Assertion#418: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|isa]] ?INDEP-INS ?INDEP-COL ) 
        (?PRED ?DEP-INS ?INDEP-INS ) 
        ({{MELD-C|interArgIsa2-1]] ?PRED ?INDEP-COL ?DEP-COL )
    ) 
    ({{MELD-C|isa]] ?DEP-INS ?DEP-COL)
)

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

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

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

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

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

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

 Assertion#424: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|isa]] ?INDEP-INS ?INDEP-COL ) 
        ({{MELD-C|interArgIsa2-3]] ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?ANY-ARG-1 ?INDEP-INS ?DEP-INS )
    ) 
    ({{MELD-C|isa]] ?DEP-INS ?DEP-COL )
)

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

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

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

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

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

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

Assertion#430: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|isa]] ?INDEP-INS ?INDEP-COL ) 
        ({{MELD-C|interArgIsa2-4]] ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?ANY-ARG-1 ?INDEP-INS ?ANY-ARG-3 ?DEP-INS )
    ) 
    ({{MELD-C|isa]] ?DEP-INS ?DEP-COL )
)

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

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

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

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

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

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

 Assertion#436: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|isa]] ?INDEP-INS ?INDEP-COL ) 
        ({{MELD-C|interArgIsa2-5]] ?PRED ?INDEP-COL ?DEP-COL) 
        (?PRED ?ANY-ARG-1 ?INDEP-INS ?ANY-ARG-3 ?ANY-ARG-4 ?DEP-INS ) 
    ) 
    ({{MELD-C|isa]] ?DEP-INS ?DEP-COL )
)

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

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

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

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

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

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

 Assertion#442: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|isa]] ?INDEP-INS ?INDEP-COL ) 
        ({{MELD-C|interArgIsa3-1]] ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?DEP-INS ?ANY-ARG-2 ?INDEP-INS )
    ) 
    ({{MELD-C|isa]] ?DEP-INS ?DEP-COL )
)

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

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

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

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

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

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

 Assertion#448: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|isa]] ?INDEP-INS ?INDEP-COL ) 
        ({{MELD-C|interArgIsa3-2]] ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?ANY-ARG-1 ?DEP-INS ?INDEP-INS )
    ) 
    ({{MELD-C|isa]] ?DEP-INS ?DEP-COL)
)

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

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

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

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

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

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

 Assertion#454: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|isa]] ?INDEP-INS ?INDEP-COL ) 
        ({{MELD-C|interArgIsa3-4]] ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?ANY-ARG-1 ?ANY-ARG-2 ?INDEP-INS ?DEP-INS )
    ) 
    ({{MELD-C|isa]] ?DEP-INS ?DEP-COL )
)

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

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

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

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

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

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

 Assertion#460: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|isa]] ?INDEP-INS ?INDEP-COL ) 
        ({{MELD-C|interArgIsa3-5]] ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?ANY-ARG-1 ?ANY-ARG-2 ?INDEP-INS ?ANY-ARG-4 ?DEP-INS )
    ) 
    ({{MELD-C|isa]] ?DEP-INS ?DEP-COL )
)

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

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

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

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

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

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

Assertion#466: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|isa]] ?INDEP-INS ?INDEP-COL ) 
        ({{MELD-C|interArgIsa4-1]] ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?DEP-INS ?ANY-ARG-2 ?ANY-ARG-3 ?INDEP-INS )
    ) 
    ({{MELD-C|isa]] ?DEP-INS ?DEP-COL )
)

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

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

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

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

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

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

Assertion#472: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|isa]] ?INDEP-INS ?INDEP-COL ) 
        ({{MELD-C|interArgIsa4-2]] ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?ANY-ARG-1 ?DEP-INS ?ANY-ARG-3 ?INDEP-INS )
    ) 
    ({{MELD-C|isa]] ?DEP-INS ?DEP-COL )
)

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

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

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

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

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

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

Assertion#478: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|isa]] ?INDEP-INS ?INDEP-COL ) 
        ({{MELD-C|interArgIsa4-3]] ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?ANY-ARG-1 ?ANY-ARG-2 ?DEP-INS ?INDEP-INS ) 
    ) 
    ({{MELD-C|isa]] ?DEP-INS ?DEP-COL )
)

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

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

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

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

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

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

Assertion#484: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|isa]] ?INDEP-INS ?INDEP-COL ) 
        ({{MELD-C|interArgIsa4-5]] ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?ANY-ARG-1 ?ANY-ARG-2 ?ANY-ARG-3 ?INDEP-INS ?DEP-INS  )
    ) 
    ({{MELD-C|isa]] ?DEP-INS ?DEP-COL )
)

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

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

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

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

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

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

Assertion#490: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|isa]] ?INDEP-INS ?INDEP-COL) 
        ({{MELD-C|interArgIsa5-1]] ?PRED ?INDEP-COL ?DEP-COL) 
        (?PRED ?DEP-INS ?ANY-ARG-2 ?ANY-ARG-3 ?ANY-ARG-4 ?INDEP-INS )
    ) 
    ({{MELD-C|isa]] ?DEP-INS ?DEP-COL )
)

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

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

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

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

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

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

Assertion#496: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|isa]] ?INDEP-INS ?INDEP-COL ) 
        ({{MELD-C|interArgIsa5-2]] ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?ANY-ARG-1 ?DEP-INS ?ANY-ARG-3 ?ANY-ARG-4 ?INDEP-INS )
    ) 
    ({{MELD-C|isa]] ?DEP-INS ?DEP-COL )
)

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

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

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

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

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

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

Assertion#502: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|isa]] ?INDEP-INS ?INDEP-COL ) 
        ({{MELD-C|interArgIsa5-3]] ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?ANY-ARG-1 ?ANY-ARG-2 ?DEP-INS ?ANY-ARG-4 ?INDEP-INS )
    ) 
    ({{MELD-C|isa]] ?DEP-INS ?DEP-COL )
)

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

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

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

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

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

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

Assertion#508: m-A
({{MELD-C|implies]] 
    ({{MELD-C|and]] 
        ({{MELD-C|isa]] ?INDEP-INS ?INDEP-COL ) 
        ({{MELD-C|interArgIsa5-4]] ?PRED ?INDEP-COL ?DEP-COL ) 
        (?PRED ?ANY-ARG-1 ?ANY-ARG-2 ?ANY-ARG-3 ?DEP-INS ?INDEP-INS )
    ) 
    ({{MELD-C|isa]] ?DEP-INS ?DEP-COL )
)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Assertion#525: m-A
({{MELD-C|implies]] 
    ( {{MELD-C|resultIsa]] ?F ?COL ) 
    ( {{MELD-C|isa]] 
        (?F ?ARG1 ?ARG2 ?ARG3 ) 
        ?COL
    )
)

Assertion#526: m-A
({{MELD-C|implies]] 
    ({{MELD-C|resultIsa]] ?F ?COL ) 
    ({{MELD-C|isa]] 
        (?F ?ARG1 ?ARG2 ) 
           ?COL
    )
)

Assertion#527: m-A
({{MELD-C|implies]] 
    ({{MELD-C|resultIsa]] ?F ?COL) 
    ({{MELD-C|isa]] 
        (?F ?ARG1 ) 
        ?COL 
    )
)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Assertion#565: m-A
({{MELD-C|not]]   ({{MELD-C|and]] 
    ({{MELD-C|negationInverse]] ?GEN-PRED ?PRED) 
    (?PRED ?ARG1 ?ARG2) 
    (?GEN-PRED ?ARG2 ?ARG1)
                )  )

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

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

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

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

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

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

Assertion#571: m-A
({{MELD-C|not]]    ({{MELD-C|and]] 
   (?PRED ?ARG1) 
   (?NEG-PRED ?ARG1) 
   ({{MELD-C|negationPreds]] ?NEG-PRED ?PRED )
         )    )

Assertion#572: m-A
({{MELD-C|not]]     ({{MELD-C|and]] 
   ({{MELD-C|negationPreds]] ?NEG-PRED ?PRED) 
   (?PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4 ?ARG5) 
   (?NEG-PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4 ?ARG5)
                   )    )

Assertion#573: m-A
({{MELD-C|not]]      ({{MELD-C|and]] 
   ({{MELD-C|negationPreds]] ?NEG-PRED ?PRED) 
   (?PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4) 
   (?NEG-PRED ?ARG1 ?ARG2 ?ARG3 ?ARG4 )
                    )     )

Assertion#574: m-A
({{MELD-C|not]]     ({{MELD-C|and]] 
   ({{MELD-C|negationPreds]] ?NEG-PRED ?PRED) 
   (?PRED ?ARG1 ?ARG2 ?ARG3) 
   (?NEG-PRED ?ARG1 ?ARG2 ?ARG3)
                )    )

Assertion#575: m-A
({{MELD-C|not]]   ({{MELD-C|and]] 
   ({{MELD-C|negationPreds]] ?NEG-PRED ?PRED) 
   (?PRED ?ARG1 ?ARG2) 
   (?NEG-PRED ?ARG1 ?ARG2)
                     )        )

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Assertion#627: m-A
({{MELD-C|implies]] 
    ({{MELD-C|siblingDisjointExceptions]] ?C1 ?C2 ) 
    ({{MELD-C|siblingDisjointExceptions]] ?C1 ?C2 ) 
)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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