Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  CardinalityFn

Sigma KEE - CardinalityFn
CardinalityFn

appearance as argument number 1
-------------------------


s__documentation(s__CardinalityFn__m,s__EnglishLanguage,'(CardinalityFn ?CLASS) returns the number of instances in the SetOrClass ?CLASS or the number of members in the ?CLASS Collection.')

Merge.kif 5618-5620
s__domain(s__CardinalityFn__m,1,s__UnionFn(s__SetOrClass,s__Collection))

Merge.kif 5616-5616 The number 1 argument of cardinality is an instance of the union of set or class and collection
s__instance(s__CardinalityFn__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 5615-5615 Cardinality is an instance of asymmetric relation
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__CardinalityFn__m,s__TotalValuedRelation)

Merge.kif 5614-5614 Cardinality is an instance of total valued relation
s__instance(s__CardinalityFn__m,s__UnaryFunction)

s__instance(s__UnaryFunction,s__SetOrClass)

Merge.kif 5613-5613 Cardinality is an instance of unary function
s__range(s__CardinalityFn__m,s__Integer)

Merge.kif 5617-5617 The range of cardinality is an instance of integer

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__CardinalityFn__m,'%1 instance 的数量')

chinese_format.kif 506-506
s__format(s__EnglishLanguage,s__CardinalityFn__m,'the number of instances in %1')

english_format.kif 307-307
s__termFormat(s__ChineseLanguage,s__CardinalityFn__m,'势函数')

chinese_format.kif 507-507 "势函数" is the printable form of cardinality in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__CardinalityFn__m,'cardinality')

domainEnglishFormat.kif 2625-2625 "cardinality" is the printable form of cardinality in english language

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 952-956 An entity is an instance of personal account and the number of instances in the class described by a symbolic string is greater than 1 if and only if the entity is an instance of joint account
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3444-3464
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3487-3507
( ∀ [V__COUNT,V__SET]
   (s__instance(V__COUNT,s__NonnegativeInteger)s__=>((s__instance(V__SET,s__SetOrClass)s__and__m(s__CardinalityFn(V__SET)
      s__equal__mV__COUNT))
    s__=>s__cardinality(V__SET,V__COUNT)))
)

Government.kif 435-439

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 104-117 The births per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 138-151 The deaths per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 253-277 The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to a quantity and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 411-442 The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 323-353 The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 367-398 The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 221-238 The male to female ratio of a geopolitical area is equal to a real number if and only if an integer is equal to the number of instances in the class described by a symbolic string and another integer is equal to the number of instances in the class described by another symbolic string and the integer and the other integer is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 174-202 The migrants per thousand of a geopolitical area and the year an integer is equal to a real number if and only if (the integer and a quantity) is equal to 1 and the population of the geopolitical area is equal to another quantity holds during the year the integer and the other quantity and 1000 is equal to a third quantity and another integer is equal to the number of instances in the class described by a symbolic string and a third integer is equal to the number of instances in the class described by the symbolic string and (the other integer and the third integer) is equal to a fourth quantity and the fourth quantity and the third quantity is equal to the real number
( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__subclass(V__ARGS4,s__HotelUnit)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Integer)s__and__ms__instance(V__ARGS2,s__HotelPackage))
    s__=>((s__exactCardinality(s__roomStay__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__roomStay__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__roomStay(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Position)s__and__ms__instance(V__ARGS2,s__Organization))
    s__=>((s__exactCardinality(s__subordinatePosition__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__subordinatePosition__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__subordinatePosition(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__RationalNumber)s__and__ms__instance(V__ARGS2,s__Object))
    s__=>((s__exactCardinality(s__contrastRatio__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__contrastRatio__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__contrastRatio(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__CognitiveAgent)s__and__ms__instance(V__ARGS2,s__FinancialAccount))
    s__=>((s__exactCardinality(s__accountHolder__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__accountHolder__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__accountHolder(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__CognitiveAgent))
    s__=>((s__exactCardinality(s__hopes__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__hopes__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__hopes(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger))
    s__=>((s__exactCardinality(s__processList__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__processList__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__processList__5(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__CurrencyMeasure)s__and__ms__instance(V__ARGS2,s__FinancialAccount))
    s__=>((s__exactCardinality(s__totalBalance__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__totalBalance__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__totalBalance(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__ARGS4,s__LengthMeasure)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__TimePosition)s__and__ms__instance(V__ARGS2,s__Region))
    s__=>((s__exactCardinality(s__visibilityInMeteorology__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__visibilityInMeteorology__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__visibilityInMeteorology(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Human)s__and__ms__instance(V__ARGS2,s__Experimenting))
    s__=>((s__exactCardinality(s__experimentalSubject__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__experimentalSubject__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__experimentalSubject(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Organism)s__and__ms__instance(V__ARGS2,s__Organism))
    s__=>((s__exactCardinality(s__parasite__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__parasite__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__parasite(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__TimeInterval)s__and__ms__instance(V__ARGS2,s__TimeInterval))
    s__=>((s__exactCardinality(s__meetsTemporally__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__meetsTemporally__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__meetsTemporally(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Substance)s__and__ms__instance(V__ARGS2,s__ChemicalProcess))
    s__=>((s__exactCardinality(s__reagent__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__reagent__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__reagent(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__ARGS4,s__SymbolicString)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__SymbolicString)s__and__ms__instance(V__ARGS2,s__SymbolicString))
    s__=>((s__exactCardinality(s__nameAfterKeyName__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__nameAfterKeyName__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__nameAfterKeyName(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS5,V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__ARGS5,s__Transfer)s__and__ms__instance(V__ARGS4,s__Object)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Object)s__and__ms__instance(V__ARGS2,s__Object))
    s__=>((s__exactCardinality(s__beforeOnPath__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__beforeOnPath__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__beforeOnPath(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Agent)s__and__ms__instance(V__ARGS2,s__TelephonyDevice))
    s__=>((s__exactCardinality(s__telecomContactDevice__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__telecomContactDevice__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__telecomContactDevice(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__RealtimeSystem))
    s__=>((s__exactCardinality(s__complexity__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__complexity__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__complexity(V__ARGS2)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__PhysicalSystem)s__and__ms__instance(V__ARGS2,s__Physical))
    s__=>((s__exactCardinality(s__systemPart__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__systemPart__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__systemPart(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__SymbolicString))
    s__=>((s__exactCardinality(s__middleName__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__middleName__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__middleName(V__ARGS2)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__Organism))
    s__=>((s__exactCardinality(s__mothersBrothersWife__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__mothersBrothersWife__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__mothersBrothersWife(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__TemperatureMeasure)s__and__ms__instance(V__ARGS2,s__Device))
    s__=>((s__exactCardinality(s__maxDeviceOperatingTemp__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__maxDeviceOperatingTemp__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__maxDeviceOperatingTemp(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Relation)s__and__ms__instance(V__ARGS2,s__Relation))
    s__=>((s__exactCardinality(s__disjointRelation__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__disjointRelation__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__disjointRelation(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Object)s__and__ms__instance(V__ARGS2,s__Object))
    s__=>((s__exactCardinality(s__connectedDownstream__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__connectedDownstream__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__connectedDownstream(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__ARGS3,V__ARGS4,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__Agent))
    s__=>((s__exactCardinality(s__creator__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__creator__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__creator(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__subclass(V__ARGS3,s__Object)s__and__ms__instance(V__ARGS2,s__IndustryAttribute))
    s__=>((s__exactCardinality(s__industryProductType__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__industryProductType__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__industryProductType(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS2,V__ARGS3,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__ARGS4,s__TimeInterval)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__Agent))
    s__=>((s__exactCardinality(s__offersAtTime__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__offersAtTime__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__offersAtTime(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS5,V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS6,V__EL]
   ((s__instance(V__ARGS5,s__Transfer)s__and__ms__instance(V__ARGS4,s__Object)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Object)s__and__ms__instance(V__ARGS2,s__Object))
    s__=>((s__exactCardinality(s__beforeOnPath__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__beforeOnPath__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__beforeOnPath(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__LengthMeasure)s__and__ms__subclass(V__ARGS2,s__Object))
    s__=>((s__exactCardinality(s__defaultMinimumWidth__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__defaultMinimumWidth__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__defaultMinimumWidth(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Agent)s__and__ms__instance(V__ARGS2,s__TelephonyDevice))
    s__=>((s__exactCardinality(s__telecomContactDevice__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__telecomContactDevice__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__telecomContactDevice(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__ARGS4,s__RealNumber)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__subclass(V__ARGS3,s__PowerGeneration)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__electricityFractionFromSource__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__electricityFractionFromSource__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__electricityFractionFromSource(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Object)s__and__ms__instance(V__ARGS2,s__Object))
    s__=>((s__exactCardinality(s__copy__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__copy__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__copy(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__ConstantQuantity))
    s__=>((s__exactCardinality(s__distanceOnPath__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__distanceOnPath__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__distanceOnPath(V__ARGS2)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Human)s__and__ms__instance(V__ARGS2,s__Man))
    s__=>((s__exactCardinality(s__nephew__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__nephew__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__nephew(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__Computer))
    s__=>((s__exactCardinality(s__numberOfCPUs__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__numberOfCPUs__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__numberOfCPUs(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS5,V__ARGS6,V__EL]
   ((s__instance(V__ARGS4,s__SocialRole)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__SocialRole)s__and__ms__instance(V__ARGS2,s__Agent))
    s__=>((s__exactCardinality(s__roleNominatesRole__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__roleNominatesRole__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__roleNominatesRole(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__GeopoliticalArea)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__internationalDispute__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__internationalDispute__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__internationalDispute(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__ARGS4,s__Day)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__CurrencyMeasure)s__and__ms__instance(V__ARGS2,s__Stock))
    s__=>((s__exactCardinality(s__closingPrice__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__closingPrice__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__closingPrice(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__ARGS4,s__SymbolicString)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__SymbolicString))
    s__=>((s__exactCardinality(s__comment__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__comment__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__comment(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__SearchQuery)s__and__ms__instance(V__ARGS2,s__SearchQuery))
    s__=>((s__exactCardinality(s__searchQueryRewrite__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__searchQueryRewrite__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__searchQueryRewrite(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__ARGS4,s__Organization)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__CognitiveAgent)s__and__ms__instance(V__ARGS2,s__CognitiveAgent))
    s__=>((s__exactCardinality(s__customerRepresentative__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__customerRepresentative__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__customerRepresentative(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__PermanentResidence)s__and__ms__instance(V__ARGS2,s__Agent))
    s__=>((s__exactCardinality(s__landlord__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__landlord__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__landlord(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__RealNumber)s__and__ms__instance(V__ARGS2,s__UserAccount))
    s__=>((s__exactCardinality(s__userFeedbackScore__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__userFeedbackScore__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__userFeedbackScore(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Object)s__and__ms__instance(V__ARGS2,s__Object))
    s__=>((s__exactCardinality(s__covers__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__covers__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__covers(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__ARGS4,s__PositiveInteger)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__GeopoliticalArea)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__importPartnerByRank__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__importPartnerByRank__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__importPartnerByRank(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Human)s__and__ms__instance(V__ARGS2,s__Demonstrating))
    s__=>((s__exactCardinality(s__attends__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__attends__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__attends(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Process)s__and__ms__instance(V__ARGS2,s__Experimenting))
    s__=>((s__exactCardinality(s__conversionEvent__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__conversionEvent__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__conversionEvent(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__SymbolicString)s__and__ms__instance(V__ARGS2,s__Organization))
    s__=>((s__exactCardinality(s__aimOfOrganization__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__aimOfOrganization__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__aimOfOrganization(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__SymbolicString)s__and__ms__instance(V__ARGS2,s__FinancialTransaction))
    s__=>((s__exactCardinality(s__confirmationNumber__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__confirmationNumber__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__confirmationNumber(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__TimeDuration)s__and__ms__instance(V__ARGS2,s__UserRequest))
    s__=>((s__exactCardinality(s__responseTime__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__responseTime__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__responseTime(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__LengthMeasure)s__and__ms__subclass(V__ARGS2,s__Object))
    s__=>((s__exactCardinality(s__defaultMaximumWidth__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__defaultMaximumWidth__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__defaultMaximumWidth(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__DataStorageDevice)s__and__ms__instance(V__ARGS2,s__ContentBearingObject))
    s__=>((s__exactCardinality(s__stored__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__stored__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__stored(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__administrativeCenter__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__administrativeCenter__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__administrativeCenter(V__ARGS2)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Interest)s__and__ms__instance(V__ARGS2,s__Bond))
    s__=>((s__exactCardinality(s__accruedInterest__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__accruedInterest__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__accruedInterest(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__Object))
    s__=>((s__exactCardinality(s__sphereRadius__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__sphereRadius__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__sphereRadius(V__ARGS2)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__subclass(V__ARGS2,s__HotelFunctionRoom))
    s__=>((s__exactCardinality(s__paidFunctionRoomAmenity__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__paidFunctionRoomAmenity__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__paidFunctionRoomAmenity(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__subclass(V__ARGS3,s__MilitaryUnit)s__and__ms__subclass(V__ARGS2,s__MilitaryUnit))
    s__=>((s__exactCardinality(s__subEchelon__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__subEchelon__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__subEchelon(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__PostalPlace)s__and__ms__instance(V__ARGS2,s__SymbolicString))
    s__=>((s__exactCardinality(s__postPostOfficeBox__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__postPostOfficeBox__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__postPostOfficeBox(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS5,V__EL]
   ((s__instance(V__ARGS4,s__ObjectiveNorm)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Formula))
    s__=>((s__exactCardinality(s__deprivesNorm__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__deprivesNorm__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__deprivesNorm(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__PassengerVehicle))
    s__=>((s__exactCardinality(s__personTransportCapability__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__personTransportCapability__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__personTransportCapability(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__exportPartnerByRank__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__exportPartnerByRank__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__exportPartnerByRank(V__ARGS2)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Man)s__and__ms__instance(V__ARGS2,s__Human))
    s__=>((s__exactCardinality(s__grandfather__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__grandfather__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__grandfather(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Proposition)s__and__ms__instance(V__ARGS2,s__Object))
    s__=>((s__exactCardinality(s__conforms__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__conforms__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__conforms(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__ComputerProgram))
    s__=>((s__exactCardinality(s__portNumber__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__portNumber__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__portNumber(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Day)s__and__ms__instance(V__ARGS2,s__Human))
    s__=>((s__exactCardinality(s__birthdate__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__birthdate__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__birthdate(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__subclass(V__ARGS3,s__Policy)s__and__ms__instance(V__ARGS2,s__HotelPackage))
    s__=>((s__exactCardinality(s__policyInclusion__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__policyInclusion__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__policyInclusion(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__RoomInventory))
    s__=>((s__exactCardinality(s__someRoomsAttribute__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__someRoomsAttribute__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__someRoomsAttribute(V__ARGS2)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__subclass(V__ARGS3,s__TimeInterval)s__and__ms__instance(V__ARGS2,s__GeographicArea))
    s__=>((s__exactCardinality(s__warmSeasonInArea__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__warmSeasonInArea__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__warmSeasonInArea(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__NonnegativeRealNumber)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__laborForceTotal__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__laborForceTotal__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__laborForceTotal(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__subclass(V__ARGS3,s__Holiday)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__nationalHoliday__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__nationalHoliday__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__nationalHoliday(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Agent)s__and__ms__subclass(V__ARGS2,s__TimeInterval))
    s__=>((s__exactCardinality(s__businessHours__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__businessHours__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__businessHours(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Set))
    s__=>((s__exactCardinality(s__element__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__element__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__element(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__WaterArea)s__and__ms__instance(V__ARGS2,s__WaterMotion))
    s__=>((s__exactCardinality(s__flowCurrent__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__flowCurrent__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__flowCurrent(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__subclass(V__ARGS3,s__Animal)s__and__ms__subclass(V__ARGS2,s__OrganicObject))
    s__=>((s__exactCardinality(s__productOfAnimal__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__productOfAnimal__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__productOfAnimal(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__TimeDuration)s__and__ms__instance(V__ARGS2,s__Recording))
    s__=>((s__exactCardinality(s__recordingLength__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__recordingLength__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__recordingLength(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__TimeDuration)s__and__ms__instance(V__ARGS2,s__ComputerProgram))
    s__=>((s__exactCardinality(s__settlingTime__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__settlingTime__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__settlingTime(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__PhysicalQuantity)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__annualElectricityProduction__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__annualElectricityProduction__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__annualElectricityProduction(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__Human))
    s__=>((s__exactCardinality(s__underageUser__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__underageUser__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__underageUser(V__ARGS2)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__TerrainAttribute)s__and__ms__instance(V__ARGS2,s__GeographicArea))
    s__=>((s__exactCardinality(s__terrainInArea__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__terrainInArea__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__terrainInArea(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Physical)s__and__ms__instance(V__ARGS2,s__Abstract))
    s__=>((s__exactCardinality(s__abstractCounterpart__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__abstractCounterpart__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__abstractCounterpart(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__UserSignifiedAction)s__and__ms__instance(V__ARGS2,s__UserDirectAction))
    s__=>((s__exactCardinality(s__udaCanSignify__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__udaCanSignify__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__udaCanSignify(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS5,V__ARGS6,V__EL]
   ((s__instance(V__ARGS4,s__PositiveInteger)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__GeopoliticalArea)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__exportPartnerByRank__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__exportPartnerByRank__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__exportPartnerByRank(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__RelationalAttribute)s__and__ms__instance(V__ARGS2,s__RoomInventory))
    s__=>((s__exactCardinality(s__someRoomsAttribute__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__someRoomsAttribute__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__someRoomsAttribute(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__subclass(V__ARGS3,s__IntentionalProcess)s__and__ms__instance(V__ARGS2,s__Human))
    s__=>((s__exactCardinality(s__hasOccupation__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__hasOccupation__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__hasOccupation(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__subclass(V__ARGS3,s__Object)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__importCommodityTypeByRank__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__importCommodityTypeByRank__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__importCommodityTypeByRank(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__FinancialAccount))
    s__=>((s__exactCardinality(s__accountStatus__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__accountStatus__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__accountStatus(V__ARGS2)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Object)s__and__ms__instance(V__ARGS2,s__Object))
    s__=>((s__exactCardinality(s__traverses__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__traverses__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__traverses(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Woman)s__and__ms__instance(V__ARGS2,s__Human))
    s__=>((s__exactCardinality(s__grandmother__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__grandmother__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__grandmother(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__CurrencyMeasure)s__and__ms__instance(V__ARGS2,s__Loan))
    s__=>((s__exactCardinality(s__loanFeeAmount__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__loanFeeAmount__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__loanFeeAmount(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__subclass(V__ARGS4,s__TimeInterval)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__CurrencyMeasure)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__capitalExpendituresOfAreaInPeriod__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__capitalExpendituresOfAreaInPeriod__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__capitalExpendituresOfAreaInPeriod(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS5,V__EL]
   ((s__instance(V__ARGS4,s__FunctionQuantity)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__subclass(V__ARGS3,s__SelfConnectedObject)s__and__ms__instance(V__ARGS2,s__Transitway))
    s__=>((s__exactCardinality(s__transitwayCapacityRate__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__transitwayCapacityRate__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__transitwayCapacityRate(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__FinancialInstrument)s__and__ms__instance(V__ARGS2,s__Agreement))
    s__=>((s__exactCardinality(s__underlier__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__underlier__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__underlier(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__subclass(V__ARGS3,s__Object)s__and__ms__instance(V__ARGS2,s__IndustryAttribute))
    s__=>((s__exactCardinality(s__industryProductType__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__industryProductType__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__industryProductType(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Quantity)s__and__ms__instance(V__ARGS2,s__Quantity))
    s__=>((s__exactCardinality(s__greaterThan__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__greaterThan__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__greaterThan(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Formula)s__and__ms__instance(V__ARGS2,s__Physical))
    s__=>((s__exactCardinality(s__hasPurpose__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__hasPurpose__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__hasPurpose(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Process)s__and__ms__instance(V__ARGS2,s__Experimenting))
    s__=>((s__exactCardinality(s__experimentalControlProcess__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__experimentalControlProcess__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__experimentalControlProcess(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__SetOrClass)s__and__ms__instance(V__ARGS2,s__BinaryRelation))
    s__=>((s__exactCardinality(s__totalOrderingOn__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__totalOrderingOn__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__totalOrderingOn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__CurrencyMeasure)s__and__ms__instance(V__ARGS2,s__Bidding))
    s__=>((s__exactCardinality(s__amountOfBid__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__amountOfBid__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__amountOfBid(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__FinancialAccount))
    s__=>((s__exactCardinality(s__accountHolder__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__accountHolder__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__accountHolder(V__ARGS2)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Physical)s__and__ms__instance(V__ARGS2,s__Abstract))
    s__=>((s__exactCardinality(s__abstractCounterpart__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__abstractCounterpart__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__abstractCounterpart(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__subclass(V__ARGS2,s__Process))
    s__=>((s__exactCardinality(s__capabilityDuring__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__capabilityDuring__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__capabilityDuring(V__ARGS2)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__ARGS3,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__Language))
    s__=>((s__exactCardinality(s__format__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__format__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__format(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__NormativeAttribute)s__and__ms__instance(V__ARGS2,s__Formula))
    s__=>((s__exactCardinality(s__modalAttribute__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__modalAttribute__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__modalAttribute(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__lowestDecileShareOfHouseholdIncome__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__lowestDecileShareOfHouseholdIncome__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__lowestDecileShareOfHouseholdIncome(V__ARGS2)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__BinaryRelation))
    s__=>((s__exactCardinality(s__inverse__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__inverse__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__inverse(V__ARGS2)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__LengthMeasure)s__and__ms__instance(V__ARGS2,s__Object))
    s__=>((s__exactCardinality(s__sphereRadius__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__sphereRadius__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__sphereRadius(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__RealNumber)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__lowestDecileShareOfHouseholdIncome__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__lowestDecileShareOfHouseholdIncome__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__lowestDecileShareOfHouseholdIncome(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Transitway)s__and__ms__instance(V__ARGS2,s__ConstantQuantity))
    s__=>((s__exactCardinality(s__distanceOnPath__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__distanceOnPath__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__distanceOnPath(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__subclass(V__ARGS3,s__ContentBearingObject)s__and__ms__instance(V__ARGS2,s__Agent))
    s__=>((s__exactCardinality(s__authors__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__authors__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__authors(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__MilitaryOperation)s__and__ms__instance(V__ARGS2,s__Region))
    s__=>((s__exactCardinality(s__areaOfOperation__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__areaOfOperation__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__areaOfOperation(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__TimingRequirementAttribute)s__and__ms__instance(V__ARGS2,s__RealtimeSystem))
    s__=>((s__exactCardinality(s__complexity__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__complexity__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__complexity(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__BinaryRelation)s__and__ms__instance(V__ARGS2,s__BinaryRelation))
    s__=>((s__exactCardinality(s__inverse__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__inverse__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__inverse(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__ARGS4,s__Organization)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Position)s__and__ms__instance(V__ARGS2,s__Human))
    s__=>((s__exactCardinality(s__occupiesPosition__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__occupiesPosition__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__occupiesPosition(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__subclass(V__ARGS3,s__GeopoliticalArea)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__primaryGeopoliticalSubdivisionType__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__primaryGeopoliticalSubdivisionType__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__primaryGeopoliticalSubdivisionType(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__GeopoliticalArea)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__administrativeCenter__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__administrativeCenter__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__administrativeCenter(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__subclass(V__ARGS3,s__TimeInterval)s__and__ms__instance(V__ARGS2,s__GeographicArea))
    s__=>((s__exactCardinality(s__rainySeasonInArea__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__rainySeasonInArea__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__rainySeasonInArea(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__CurrencyMeasure)s__and__ms__instance(V__ARGS2,s__CreditAccount))
    s__=>((s__exactCardinality(s__creditLimit__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__creditLimit__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__creditLimit(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__ARGS4,s__Integer)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Integer)s__and__ms__instance(V__ARGS2,s__Relation))
    s__=>((s__exactCardinality(s__minCardinality__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__minCardinality__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__minCardinality(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Object)s__and__ms__instance(V__ARGS2,s__Object))
    s__=>((s__exactCardinality(s__connectedDownstream__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__connectedDownstream__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__connectedDownstream(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Human)s__and__ms__instance(V__ARGS2,s__SymbolicString))
    s__=>((s__exactCardinality(s__middleName__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__middleName__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__middleName(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__CognitiveAgent)s__and__ms__instance(V__ARGS2,s__Share))
    s__=>((s__exactCardinality(s__shareHolder__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__shareHolder__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__shareHolder(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__Agent))
    s__=>((s__exactCardinality(s__chiefOfDiplomaticMission__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__chiefOfDiplomaticMission__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__chiefOfDiplomaticMission(V__ARGS2)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__TimeDuration)s__and__ms__instance(V__ARGS2,s__ComputerResponse))
    s__=>((s__exactCardinality(s__responseRate__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__responseRate__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__responseRate(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__RealNumber)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__inflationRateOfConsumerPrices__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__inflationRateOfConsumerPrices__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__inflationRateOfConsumerPrices(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__GeopoliticalArea)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__administrativeCenter__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__administrativeCenter__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__administrativeCenter(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__GeopoliticalArea)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__administrativeCenter__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__administrativeCenter__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__administrativeCenter(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__ARGS3,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__Organism))
    s__=>((s__exactCardinality(s__mothersSistersDaughter__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__mothersSistersDaughter__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__mothersSistersDaughter(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__ARGS3,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__Process))
    s__=>((s__exactCardinality(s__patient__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__patient__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__patient(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Agent)s__and__ms__instance(V__ARGS2,s__SymbolicString))
    s__=>((s__exactCardinality(s__emailAddress__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__emailAddress__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__emailAddress(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__CurrencyMeasure)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__economicAidDonated__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__economicAidDonated__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__economicAidDonated(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__ConstantQuantity)s__and__ms__instance(V__ARGS2,s__Computer))
    s__=>((s__exactCardinality(s__hostJitter__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__hostJitter__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__hostJitter(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__MotionPicture)s__and__ms__instance(V__ARGS2,s__Human))
    s__=>((s__exactCardinality(s__directed__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__directed__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__directed(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Policy)s__and__ms__subclass(V__ARGS2,s__HotelUnit))
    s__=>((s__exactCardinality(s__roomPolicy__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__roomPolicy__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__roomPolicy(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__CurrencyMeasure)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__perCapitaGDP__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__perCapitaGDP__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__perCapitaGDP(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__ARGS4,s__Object)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__CognitiveAgent)s__and__ms__instance(V__ARGS2,s__Contest))
    s__=>((s__exactCardinality(s__contestParticipantRepresentation__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__contestParticipantRepresentation__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__contestParticipantRepresentation(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__capitalExpendituresOfAreaInPeriod__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__capitalExpendituresOfAreaInPeriod__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__capitalExpendituresOfAreaInPeriod(V__ARGS2)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__MilitaryOperation)s__and__ms__instance(V__ARGS2,s__Region))
    s__=>((s__exactCardinality(s__areaOfOperation__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__areaOfOperation__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__areaOfOperation(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Policy)s__and__ms__subclass(V__ARGS2,s__HotelUnit))
    s__=>((s__exactCardinality(s__roomPolicy__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__roomPolicy__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__roomPolicy(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__RelationalAttribute)s__and__ms__instance(V__ARGS2,s__Album))
    s__=>((s__exactCardinality(s__albumType__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__albumType__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__albumType(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__Computer))
    s__=>((s__exactCardinality(s__hostJitter__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__hostJitter__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__hostJitter(V__ARGS2)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__CurrencyMeasure)s__and__ms__instance(V__ARGS2,s__Bidding))
    s__=>((s__exactCardinality(s__amountOfBid__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__amountOfBid__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__amountOfBid(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__Device))
    s__=>((s__exactCardinality(s__maxDeviceOperatingTemp__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__maxDeviceOperatingTemp__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__maxDeviceOperatingTemp(V__ARGS2)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__subclass(V__ARGS3,s__ContentBearingPhysical)s__and__ms__subclass(V__ARGS2,s__ContentBearingPhysical))
    s__=>((s__exactCardinality(s__subsumesContentClass__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__subsumesContentClass__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__subsumesContentClass(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__RealNumber)s__and__ms__instance(V__ARGS2,s__RealNumber))
    s__=>((s__exactCardinality(s__approximateValue__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__approximateValue__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__approximateValue(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Physical)s__and__ms__instance(V__ARGS2,s__Abstract))
    s__=>((s__exactCardinality(s__abstractCounterpart__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__abstractCounterpart__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__abstractCounterpart(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__MotionPicture)s__and__ms__instance(V__ARGS2,s__Human))
    s__=>((s__exactCardinality(s__directed__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__directed__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__directed(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__ComputerProgram))
    s__=>((s__exactCardinality(s__portNumber__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__portNumber__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__portNumber(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__SymbolicString))
    s__=>((s__exactCardinality(s__formerName__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__formerName__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__formerName(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Organization)s__and__ms__instance(V__ARGS2,s__Share))
    s__=>((s__exactCardinality(s__shareOf__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__shareOf__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__shareOf(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Agreement)s__and__ms__instance(V__ARGS2,s__ContentBearingPhysical))
    s__=>((s__exactCardinality(s__recordForAgreement__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__recordForAgreement__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__recordForAgreement(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__TelecomNumber)s__and__ms__instance(V__ARGS2,s__SymbolicString))
    s__=>((s__exactCardinality(s__telecomExtension__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__telecomExtension__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__telecomExtension(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Organism)s__and__ms__instance(V__ARGS2,s__Organism))
    s__=>((s__exactCardinality(s__parasite__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__parasite__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__parasite(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS5,V__EL]
   ((s__instance(V__ARGS4,s__Agent)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Object)s__and__ms__instance(V__ARGS2,s__Contest))
    s__=>((s__exactCardinality(s__contestObject__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__contestObject__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__contestObject(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__ARGS4,s__CognitiveAgent)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__CurrencyMeasure)s__and__ms__subclass(V__ARGS2,s__Entity))
    s__=>((s__exactCardinality(s__publishedPrice__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__publishedPrice__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__publishedPrice(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Physical)s__and__ms__instance(V__ARGS2,s__Abstract))
    s__=>((s__exactCardinality(s__abstractCounterpart__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__abstractCounterpart__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__abstractCounterpart(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__ARGS4,s__GeopoliticalArea)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__SymbolicString)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__chanceryMailingAddressInArea__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__chanceryMailingAddressInArea__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__chanceryMailingAddressInArea(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__Agreement))
    s__=>((s__exactCardinality(s__agreementPeriod__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__agreementPeriod__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__agreementPeriod(V__ARGS2)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Agreement)s__and__ms__instance(V__ARGS2,s__CognitiveAgent))
    s__=>((s__exactCardinality(s__partyToAgreement__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__partyToAgreement__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__partyToAgreement(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__PassengerVehicle))
    s__=>((s__exactCardinality(s__personTransportCapability__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__personTransportCapability__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__personTransportCapability(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__ARGS3,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__SymbolicString))
    s__=>((s__exactCardinality(s__synonymousExternalConcept__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__synonymousExternalConcept__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__synonymousExternalConcept(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Attribute)s__and__ms__instance(V__ARGS2,s__Attribute))
    s__=>((s__exactCardinality(s__successorAttributeClosure__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__successorAttributeClosure__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__successorAttributeClosure(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Agent)s__and__ms__instance(V__ARGS2,s__Organization))
    s__=>((s__exactCardinality(s__executiveBranch__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__executiveBranch__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__executiveBranch(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__ComputerProgram))
    s__=>((s__exactCardinality(s__portNumber__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__portNumber__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__portNumber(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__SetOrClass)s__and__ms__instance(V__ARGS2,s__BinaryRelation))
    s__=>((s__exactCardinality(s__reflexiveOn__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__reflexiveOn__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__reflexiveOn(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__subclass(V__ARGS2,s__OrganicObject))
    s__=>((s__exactCardinality(s__meatOfAnimal__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__meatOfAnimal__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__meatOfAnimal(V__ARGS2)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__SymbolicString))
    s__=>((s__exactCardinality(s__formerName__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__formerName__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__formerName(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__SymbolicString))
    s__=>((s__exactCardinality(s__conventionalLongName__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__conventionalLongName__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__conventionalLongName(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS5,V__ARGS6,V__EL]
   ((s__instance(V__ARGS4,s__Abstract)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Agent)s__and__ms__instance(V__ARGS2,s__Game))
    s__=>((s__exactCardinality(s__achievement__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__achievement__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__achievement(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__TemperatureMeasure)s__and__ms__instance(V__ARGS2,s__Device))
    s__=>((s__exactCardinality(s__maxDeviceOperatingTemp__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__maxDeviceOperatingTemp__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__maxDeviceOperatingTemp(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__UserSignifiedAction)s__and__ms__instance(V__ARGS2,s__UserDirectAction))
    s__=>((s__exactCardinality(s__udaCanSignify__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__udaCanSignify__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__udaCanSignify(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__SymbolicString)s__and__ms__instance(V__ARGS2,s__FinancialTransaction))
    s__=>((s__exactCardinality(s__confirmationNumber__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__confirmationNumber__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__confirmationNumber(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__TimeDuration)s__and__ms__instance(V__ARGS2,s__Recording))
    s__=>((s__exactCardinality(s__recordingLength__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__recordingLength__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__recordingLength(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__Organism))
    s__=>((s__exactCardinality(s__fathersBrothersDaughter__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__fathersBrothersDaughter__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__fathersBrothersDaughter(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__City)s__and__ms__instance(V__ARGS2,s__PostalPlace))
    s__=>((s__exactCardinality(s__postCity__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__postCity__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__postCity(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__UserSignifiedAction)s__and__ms__instance(V__ARGS2,s__UserDirectAction))
    s__=>((s__exactCardinality(s__udaCanSignify__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__udaCanSignify__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__udaCanSignify(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__FinancialAccountStatus)s__and__ms__instance(V__ARGS2,s__FinancialAccount))
    s__=>((s__exactCardinality(s__accountStatus__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__accountStatus__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__accountStatus(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__TerrainAttribute)s__and__ms__instance(V__ARGS2,s__GeographicArea))
    s__=>((s__exactCardinality(s__terrainInArea__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__terrainInArea__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__terrainInArea(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__GeographicArea)s__and__ms__instance(V__ARGS2,s__Agent))
    s__=>((s__exactCardinality(s__deliveryRegion__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__deliveryRegion__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__deliveryRegion(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__ARGS4,s__PositiveInteger)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__subclass(V__ARGS3,s__Object)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__importCommodityTypeByRank__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__importCommodityTypeByRank__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__importCommodityTypeByRank(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__Object))
    s__=>((s__exactCardinality(s__viewType__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__viewType__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__viewType(V__ARGS2)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Proposition)s__and__ms__instance(V__ARGS2,s__Argument))
    s__=>((s__exactCardinality(s__premise__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__premise__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__premise(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__subclass(V__ARGS3,s__TimePosition)s__and__ms__instance(V__ARGS2,s__Proposition))
    s__=>((s__exactCardinality(s__agreementEffectiveDuring__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__agreementEffectiveDuring__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__agreementEffectiveDuring(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Agent)s__and__ms__instance(V__ARGS2,s__Organization))
    s__=>((s__exactCardinality(s__executiveBranch__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__executiveBranch__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__executiveBranch(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Agent)s__and__ms__instance(V__ARGS2,s__Object))
    s__=>((s__exactCardinality(s__operator__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__operator__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__operator(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__RealNumber)s__and__ms__instance(V__ARGS2,s__DiseaseOrSyndrome))
    s__=>((s__exactCardinality(s__diseaseMortality__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__diseaseMortality__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__diseaseMortality(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__ARGS4,s__Agent)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__SocialRole)s__and__ms__instance(V__ARGS2,s__Election))
    s__=>((s__exactCardinality(s__electionWinner__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__electionWinner__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__electionWinner(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__subclass(V__ARGS3,s__IntentionalProcess)s__and__ms__instance(V__ARGS2,s__Human))
    s__=>((s__exactCardinality(s__hasOccupation__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__hasOccupation__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__hasOccupation(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__DiseaseOrSyndrome)s__and__ms__subclass(V__ARGS2,s__BiochemicalAgent))
    s__=>((s__exactCardinality(s__biochemicalAgentSyndrome__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__biochemicalAgentSyndrome__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__biochemicalAgentSyndrome(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__subclass(V__ARGS2,s__HotelFunctionRoom))
    s__=>((s__exactCardinality(s__paidFunctionRoomAmenity__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__paidFunctionRoomAmenity__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__paidFunctionRoomAmenity(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__GeographicArea)s__and__ms__instance(V__ARGS2,s__Agent))
    s__=>((s__exactCardinality(s__deliveryRegion__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__deliveryRegion__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__deliveryRegion(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__GeopoliticalArea)s__and__ms__instance(V__ARGS2,s__WaterVehicle))
    s__=>((s__exactCardinality(s__flagState__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__flagState__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__flagState(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS2,s__Process))
    s__=>((s__exactCardinality(s__eventLocated__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__eventLocated__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__eventLocated(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Interest)s__and__ms__instance(V__ARGS2,s__Bond))
    s__=>((s__exactCardinality(s__accruedInterest__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__accruedInterest__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__accruedInterest(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__ARGS4,s__PositiveInteger)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__GeopoliticalArea)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__exportPartnerByRank__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__exportPartnerByRank__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__exportPartnerByRank(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__CurrencyMeasure)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__economicAidDonated__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__economicAidDonated__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__economicAidDonated(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__TransitSystem)s__and__ms__instance(V__ARGS2,s__Region))
    s__=>((s__exactCardinality(s__routeEnd__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__routeEnd__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__routeEnd(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__CognitiveAgent)s__and__ms__instance(V__ARGS2,s__FinancialAccount))
    s__=>((s__exactCardinality(s__accountHolder__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__accountHolder__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__accountHolder(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Agent)s__and__ms__instance(V__ARGS2,s__Agent))
    s__=>((s__exactCardinality(s__exportPartner__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__exportPartner__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__exportPartner(V__ARGS2,V__ARGS3)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__SymbolicString)s__and__ms__instance(V__ARGS2,s__Organization))
    s__=>((s__exactCardinality(s__aimOfOrganization__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__aimOfOrganization__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__aimOfOrganization(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__EL]
   ((s__instance(V__ARGS4,s__GeopoliticalArea)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__SymbolicString)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__chanceryAddressInArea__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__chanceryAddressInArea__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__chanceryAddressInArea(V__ARGS2,V__ARGS3,V__ARGS4)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__ARGS4,V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS5,V__ARGS6,V__EL]
   ((s__instance(V__ARGS4,s__TimePoint)s__and__ms__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__TimePoint)s__and__ms__instance(V__ARGS2,s__TimePoint))
    s__=>((s__exactCardinality(s__temporallyBetweenOrEqual__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__temporallyBetweenOrEqual__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__temporallyBetweenOrEqual(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__CurrencyMeasure)s__and__ms__instance(V__ARGS2,s__GeopoliticalArea))
    s__=>((s__exactCardinality(s__perCapitaGDP__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__perCapitaGDP__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__perCapitaGDP(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__SetOrClass)s__and__ms__instance(V__ARGS2,s__BinaryRelation))
    s__=>((s__exactCardinality(s__totalOrderingOn__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__totalOrderingOn__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__totalOrderingOn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__TemperatureMeasure)s__and__ms__instance(V__ARGS2,s__Device))
    s__=>((s__exactCardinality(s__minDeviceStorageTemp__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__minDeviceStorageTemp__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__minDeviceStorageTemp(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)
s__and__m(s__CardinalityFn(V__S)
s__equal__mV__COUNT)))))))
)

( ∀ [V__COUNT,V__ARG,V__ARGS3,V__ARGS2,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8,V__EL]
   ((s__instance(V__COUNT,s__Integer)s__and__ms__instance(V__ARG,s__PositiveInteger)s__and__ms__instance(V__ARGS3,s__Agent)s__and__ms__instance(V__ARGS2,s__Object))
    s__=>((s__exactCardinality(s__operator__m,V__ARG,V__COUNT)
      s__and__ms__instance(s__operator__m,s__Predicate))
    s__=>(s__exists__m[V__S]
       (s__instance(V__S,s__SetOrClass)s__and__m((s__operator(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        s__and__m(V__ELs__equal__ms__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
      ,V__ARG)))
s__=>(s__instance(V__EL,V__S)