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__ChineseLanguage,'""')

chinese_format.kif 2309-2309
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 5308-5310
s__domain(s__CardinalityFn__m,n__1,s__UnionFn(s__SetOrClass,s__Collection))

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

s__instance(s__CardinalityFn__m,s__UnaryFunction)

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

Merge.kif 5306-5306 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 511-511
s__termFormat(s__ChineseLanguage,s__CardinalityFn__m,'"势函数"')

chinese_format.kif 507-507
s__termFormat(s__ChineseLanguage,s__CardinalityFn__m,'"基数"')

domainEnglishFormat.kif 13215-13215
s__termFormat(s__ChineseTraditionalLanguage,s__CardinalityFn__m,'"基數"')

domainEnglishFormat.kif 13214-13214
s__termFormat(s__EnglishLanguage,s__CardinalityFn__m,'"cardinality"')

domainEnglishFormat.kif 13213-13213

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 961-965 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
( ! [V__CITIZENRY,V__POPULATION,V__AREA] :
   (((s__instance(V__CITIZENRY,s__Integer) &
         s__instance(V__POPULATION,s__Integer))
       =>
       (((s__instance(V__AREA,s__GeopoliticalArea) &
             (V__CITIZENRY = s__CardinalityFn(s__CitizenryFn(V__AREA)))
         &
         (V__POPULATION = s__CardinalityFn(s__ResidentFn(V__AREA))))
   =>
   (s__greaterThanOrEqualTo(V__POPULATION,V__CITIZENRY)))))
)
)

Mid-level-ontology.kif 7690-7697
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3447-3467
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3490-3510
( ! [V__COUNT,V__SET] :
   ((s__instance(V__COUNT,s__NonnegativeInteger) =>
       (((s__instance(V__SET,s__SetOrClass) &
             (s__CardinalityFn(V__SET)
             = V__COUNT))
         =>
         (s__cardinality(V__SET,V__COUNT)))))
)
)

Government.kif 435-439

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


No TPTP formula. May not be expressible in strict first order. People.kif 108-121 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 number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 142-155 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 number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 257-281 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 number 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 number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 415-446 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 327-357 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 371-402 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 225-242 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 178-206 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 number) is equal to 1 and the population of the geopolitical area is equal to another number holds during the year the integer and the other number and 1000 is equal to a third number 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 number and the fourth number and the third number is equal to the real number
( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Attribute))
       =>
       (((s__exactCardinality(s__property__m,V__ARG,V__COUNT)
           &
           s__instance(s__property__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__property(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TemperatureMeasure) &
         s__instance(V__ARGS2,s__Device))
       =>
       (((s__exactCardinality(s__minDeviceOperatingTemp__m,V__ARG,V__COUNT)
           &
           s__instance(s__minDeviceOperatingTemp__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__minDeviceOperatingTemp(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimeInterval) &
         s__instance(V__ARGS2,s__TimeInterval))
       =>
       (((s__exactCardinality(s__earlier__m,V__ARG,V__COUNT)
           &
           s__instance(s__earlier__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__earlier(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimeInterval) &
         s__instance(V__ARGS2,s__BankStatement))
       =>
       (((s__exactCardinality(s__statementPeriod__m,V__ARG,V__COUNT)
           &
           s__instance(s__statementPeriod__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__statementPeriod(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__Agent) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Position) &
         s__instance(V__ARGS2,s__Agent))
       =>
       (((s__exactCardinality(s__diplomaticRepresentationType__m,V__ARG,V__COUNT)
           &
           s__instance(s__diplomaticRepresentationType__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__diplomaticRepresentationType(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__LengthMeasure) &
         s__instance(V__ARGS2,s__WaterArea))
       =>
       (((s__exactCardinality(s__navigableForDraft__m,V__ARG,V__COUNT)
           &
           s__instance(s__navigableForDraft__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__navigableForDraft(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__PositiveInteger) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__IndustryAttribute) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__industryRankByOutput__m,V__ARG,V__COUNT)
           &
           s__instance(s__industryRankByOutput__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__industryRankByOutput(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Organization) &
         s__instance(V__ARGS2,s__Proposition))
       =>
       (((s__exactCardinality(s__insured__m,V__ARG,V__COUNT)
           &
           s__instance(s__insured__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__insured(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__Process))
       =>
       (((s__exactCardinality(s__eventPartlyLocated__m,V__ARG,V__COUNT)
           &
           s__instance(s__eventPartlyLocated__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__eventPartlyLocated(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Physical) &
         s__instance(V__ARGS2,s__Physical))
       =>
       (((s__exactCardinality(s__flows__m,V__ARG,V__COUNT)
           &
           s__instance(s__flows__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__flows(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__DigitalData) &
         s__instance(V__ARGS2,s__SymbolicString))
       =>
       (((s__exactCardinality(s__filename__m,V__ARG,V__COUNT)
           &
           s__instance(s__filename__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__filename(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__WebSite) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Human) &
         s__instance(V__ARGS2,s__Collection))
       =>
       (((s__exactCardinality(s__webSales__m,V__ARG,V__COUNT)
           &
           s__instance(s__webSales__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__webSales(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__Longitude) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Latitude) &
         s__instance(V__ARGS2,s__Object))
       =>
       (((s__exactCardinality(s__objectGeographicCoordinates__m,V__ARG,V__COUNT)
           &
           s__instance(s__objectGeographicCoordinates__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__objectGeographicCoordinates(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__LimitOrder))
       =>
       (((s__exactCardinality(s__limitPrice__m,V__ARG,V__COUNT)
           &
           s__instance(s__limitPrice__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__limitPrice(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__PhysicalQuantity) &
         s__instance(V__ARGS2,s__ImageFile))
       =>
       (((s__exactCardinality(s__imageResolution__m,V__ARG,V__COUNT)
           &
           s__instance(s__imageResolution__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__imageResolution(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CognitiveAgent) &
         s__instance(V__ARGS2,s__CognitiveAgent))
       =>
       (((s__exactCardinality(s__buys__m,V__ARG,V__COUNT)
           &
           s__instance(s__buys__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__buys(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger))
       =>
       (((s__exactCardinality(s__relatedInternalConcept__m,V__ARG,V__COUNT)
           &
           s__instance(s__relatedInternalConcept__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__relatedInternalConcept(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__RealNumber) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__industrialProductionGrowthRate__m,V__ARG,V__COUNT)
           &
           s__instance(s__industrialProductionGrowthRate__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__industrialProductionGrowthRate(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__LengthMeasure) &
         s__instance(V__ARGS2,s__GeographicArea))
       =>
       (((s__exactCardinality(s__lengthOfCrudeOilPipeline__m,V__ARG,V__COUNT)
           &
           s__instance(s__lengthOfCrudeOilPipeline__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__lengthOfCrudeOilPipeline(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__GeopoliticalArea) &
         s__instance(V__ARGS2,s__WaterVehicle))
       =>
       (((s__exactCardinality(s__flagState__m,V__ARG,V__COUNT)
           &
           s__instance(s__flagState__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__flagState(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__GeopoliticalArea) &
         s__instance(V__ARGS2,s__PoliticalParty))
       =>
       (((s__exactCardinality(s__politicalPartyOfCountry__m,V__ARG,V__COUNT)
           &
           s__instance(s__politicalPartyOfCountry__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__politicalPartyOfCountry(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__InternetDomain) &
         s__instance(V__ARGS2,s__IPAddress))
       =>
       (((s__exactCardinality(s__ipOfDomain__m,V__ARG,V__COUNT)
           &
           s__instance(s__ipOfDomain__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__ipOfDomain(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__Language) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__SymbolicString))
       =>
       (((s__exactCardinality(s__sortingTitle__m,V__ARG,V__COUNT)
           &
           s__instance(s__sortingTitle__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__sortingTitle(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__ConstantQuantity) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimeDuration) &
         s__instance(V__ARGS2,s__GeographicArea))
       =>
       (((s__exactCardinality(s__totalPrecipitationForPeriod__m,V__ARG,V__COUNT)
           &
           s__instance(s__totalPrecipitationForPeriod__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__totalPrecipitationForPeriod(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Vehicle) &
         s__instance(V__ARGS2,s__SelfConnectedObject))
       =>
       (((s__exactCardinality(s__onboard__m,V__ARG,V__COUNT)
           &
           s__instance(s__onboard__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__onboard(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__Shipping))
       =>
       (((s__exactCardinality(s__cargo__m,V__ARG,V__COUNT)
           &
           s__instance(s__cargo__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__cargo(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimePosition) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__holidayTimeInArea__m,V__ARG,V__COUNT)
           &
           s__instance(s__holidayTimeInArea__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__holidayTimeInArea(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__PhysicalQuantity) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__annualElectricityExport__m,V__ARG,V__COUNT)
           &
           s__instance(s__annualElectricityExport__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__annualElectricityExport(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Plant) &
         s__subclass(V__ARGS2,s__PlantAnatomicalStructure))
       =>
       (((s__exactCardinality(s__productOfPlant__m,V__ARG,V__COUNT)
           &
           s__instance(s__productOfPlant__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__productOfPlant(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__subclass(V__ARGS4,s__TimeInterval) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__RealNumber) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__highestDecileShareOfHouseholdIncomeInPeriod__m,V__ARG,V__COUNT)
           &
           s__instance(s__highestDecileShareOfHouseholdIncomeInPeriod__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__highestDecileShareOfHouseholdIncomeInPeriod(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__WebSite) &
         s__instance(V__ARGS2,s__Agent))
       =>
       (((s__exactCardinality(s__confirmedRegisteredUser__m,V__ARG,V__COUNT)
           &
           s__instance(s__confirmedRegisteredUser__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__confirmedRegisteredUser(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Integer) &
         s__instance(V__ARGS2,s__Collection))
       =>
       (((s__exactCardinality(s__memberCount__m,V__ARG,V__COUNT)
           &
           s__instance(s__memberCount__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__memberCount(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Plan) &
         s__instance(V__ARGS2,s__Plan))
       =>
       (((s__exactCardinality(s__subPlan__m,V__ARG,V__COUNT)
           &
           s__instance(s__subPlan__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__subPlan(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__subclass(V__ARGS4,s__MakingMusic) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Human) &
         s__instance(V__ARGS2,s__MusicRecording))
       =>
       (((s__exactCardinality(s__musician__m,V__ARG,V__COUNT)
           &
           s__instance(s__musician__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__musician(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__Object))
       =>
       (((s__exactCardinality(s__copy__m,V__ARG,V__COUNT)
           &
           s__instance(s__copy__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__copy(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__MultipoleVariable) &
         s__instance(V__ARGS2,s__MultipoleQuantity))
       =>
       (((s__exactCardinality(s__hasVariable__m,V__ARG,V__COUNT)
           &
           s__instance(s__hasVariable__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__hasVariable(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__Animal))
       =>
       (((s__exactCardinality(s__deathplace__m,V__ARG,V__COUNT)
           &
           s__instance(s__deathplace__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__deathplace(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__List) &
         s__instance(V__ARGS2,s__ComputerProgram))
       =>
       (((s__exactCardinality(s__commandLineArguments__m,V__ARG,V__COUNT)
           &
           s__instance(s__commandLineArguments__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__commandLineArguments(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__GeopoliticalArea) &
         s__instance(V__ARGS2,s__PostalPlace))
       =>
       (((s__exactCardinality(s__postCountry__m,V__ARG,V__COUNT)
           &
           s__instance(s__postCountry__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__postCountry(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__SymbolicString) &
         s__instance(V__ARGS2,s__NonnegativeInteger))
       =>
       (((s__exactCardinality(s__stringLength__m,V__ARG,V__COUNT)
           &
           s__instance(s__stringLength__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__stringLength(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimePoint) &
         s__instance(V__ARGS2,s__Album))
       =>
       (((s__exactCardinality(s__albumRelease__m,V__ARG,V__COUNT)
           &
           s__instance(s__albumRelease__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__albumRelease(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__TimeInterval) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__RealNumber) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__militaryExpendituresFractionOfGDPInPeriod__m,V__ARG,V__COUNT)
           &
           s__instance(s__militaryExpendituresFractionOfGDPInPeriod__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__militaryExpendituresFractionOfGDPInPeriod(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__Class) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__PositiveInteger) &
         s__instance(V__ARGS2,s__Relation))
       =>
       (((s__exactCardinality(s__domainSubclass__m,V__ARG,V__COUNT)
           &
           s__instance(s__domainSubclass__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__domainSubclass(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__FunctionQuantity) &
         s__subclass(V__ARGS2,s__BiochemicalAgent))
       =>
       (((s__exactCardinality(s__effectiveDose__m,V__ARG,V__COUNT)
           &
           s__instance(s__effectiveDose__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__effectiveDose(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__RealNumber) &
         s__instance(V__ARGS2,s__Human))
       =>
       (((s__exactCardinality(s__intelligenceQuotient__m,V__ARG,V__COUNT)
           &
           s__instance(s__intelligenceQuotient__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__intelligenceQuotient(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Organization) &
         s__instance(V__ARGS2,s__Organization))
       =>
       (((s__exactCardinality(s__successorOrganization__m,V__ARG,V__COUNT)
           &
           s__instance(s__successorOrganization__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__successorOrganization(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Physical) &
         s__instance(V__ARGS2,s__Object))
       =>
       (((s__exactCardinality(s__viewType__m,V__ARG,V__COUNT)
           &
           s__instance(s__viewType__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__viewType(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__EducationalOrganization) &
         s__instance(V__ARGS2,s__Human))
       =>
       (((s__exactCardinality(s__teacher__m,V__ARG,V__COUNT)
           &
           s__instance(s__teacher__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__teacher(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__TimeInterval) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__Agent))
       =>
       (((s__exactCardinality(s__offersAtTime__m,V__ARG,V__COUNT)
           &
           s__instance(s__offersAtTime__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__offersAtTime(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Computer) &
         s__subclass(V__ARGS2,s__ComputerProgram))
       =>
       (((s__exactCardinality(s__deviceOS__m,V__ARG,V__COUNT)
           &
           s__instance(s__deviceOS__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__deviceOS(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__Object))
       =>
       (((s__exactCardinality(s__covers__m,V__ARG,V__COUNT)
           &
           s__instance(s__covers__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__covers(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__MilitaryUnit) &
         s__instance(V__ARGS2,s__MilitaryUnit))
       =>
       (((s__exactCardinality(s__hostileForces__m,V__ARG,V__COUNT)
           &
           s__instance(s__hostileForces__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__hostileForces(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger))
       =>
       (((s__exactCardinality(s__processList__m,V__ARG,V__COUNT)
           &
           s__instance(s__processList__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__processList__1(V__ARGS2)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__SetOrClass) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__SetOrClass) &
         s__instance(V__ARGS2,s__SetOrClass))
       =>
       (((s__exactCardinality(s__classIntersection__m,V__ARG,V__COUNT)
           &
           s__instance(s__classIntersection__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__classIntersection(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__Agent))
       =>
       (((s__exactCardinality(s__creator__m,V__ARG,V__COUNT)
           &
           s__instance(s__creator__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__creator(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Formula) &
         s__instance(V__ARGS2,s__Formula))
       =>
       (((s__exactCardinality(s__decreasesLikelihood__m,V__ARG,V__COUNT)
           &
           s__instance(s__decreasesLikelihood__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__decreasesLikelihood(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__RealNumber) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__DirectionalAttribute) &
         s__instance(V__ARGS2,s__LandArea))
       =>
       (((s__exactCardinality(s__slopeGradientTowardsOrientation__m,V__ARG,V__COUNT)
           &
           s__instance(s__slopeGradientTowardsOrientation__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__slopeGradientTowardsOrientation(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS5,s__CurrencyMeasure) &
         s__instance(V__ARGS4,s__TimeDuration) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Human) &
         s__instance(V__ARGS2,s__Organization))
       =>
       (((s__exactCardinality(s__monetaryWage__m,V__ARG,V__COUNT)
           &
           s__instance(s__monetaryWage__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__monetaryWage(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Human) &
         s__instance(V__ARGS2,s__LegalAction))
       =>
       (((s__exactCardinality(s__attorney__m,V__ARG,V__COUNT)
           &
           s__instance(s__attorney__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__attorney(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__LengthMeasure) &
         s__instance(V__ARGS2,s__Tremor))
       =>
       (((s__exactCardinality(s__physicalAmplitude__m,V__ARG,V__COUNT)
           &
           s__instance(s__physicalAmplitude__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__physicalAmplitude(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger))
       =>
       (((s__exactCardinality(s__immediateInstance__m,V__ARG,V__COUNT)
           &
           s__instance(s__immediateInstance__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__immediateInstance(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__ConstantQuantity) &
         s__instance(V__ARGS2,s__ComputerComponent))
       =>
       (((s__exactCardinality(s__load__m,V__ARG,V__COUNT)
           &
           s__instance(s__load__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__load(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__annualRevenuesOfArea__m,V__ARG,V__COUNT)
           &
           s__instance(s__annualRevenuesOfArea__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__annualRevenuesOfArea(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__PositiveRealNumber) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__GeopoliticalArea) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__importPartnerByFraction__m,V__ARG,V__COUNT)
           &
           s__instance(s__importPartnerByFraction__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__importPartnerByFraction(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__subclass(V__ARGS5,s__TimeInterval) &
         s__instance(V__ARGS4,s__Object) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CaseRole) &
         s__subclass(V__ARGS2,s__Process))
       =>
       (((s__exactCardinality(s__capabilityDuring__m,V__ARG,V__COUNT)
           &
           s__instance(s__capabilityDuring__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__capabilityDuring(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__Human) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Position) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__chiefOfState__m,V__ARG,V__COUNT)
           &
           s__instance(s__chiefOfState__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__chiefOfState(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__ConstantQuantity) &
         s__instance(V__ARGS2,s__WaterArea))
       =>
       (((s__exactCardinality(s__seaSurfaceTemperature__m,V__ARG,V__COUNT)
           &
           s__instance(s__seaSurfaceTemperature__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__seaSurfaceTemperature(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__OrganizationalProcess) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__Human))
       =>
       (((s__exactCardinality(s__beforeTaxIncome__m,V__ARG,V__COUNT)
           &
           s__instance(s__beforeTaxIncome__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__beforeTaxIncome(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Human) &
         s__instance(V__ARGS2,s__SymbolicString))
       =>
       (((s__exactCardinality(s__familyName__m,V__ARG,V__COUNT)
           &
           s__instance(s__familyName__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__familyName(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__Process))
       =>
       (((s__exactCardinality(s__objectDetached__m,V__ARG,V__COUNT)
           &
           s__instance(s__objectDetached__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__objectDetached(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__GeopoliticalArea) &
         s__instance(V__ARGS2,s__City))
       =>
       (((s__exactCardinality(s__capitalCity__m,V__ARG,V__COUNT)
           &
           s__instance(s__capitalCity__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__capitalCity(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CognitiveAgent) &
         s__subclass(V__ARGS2,s__MusicChart))
       =>
       (((s__exactCardinality(s__musicChartBy__m,V__ARG,V__COUNT)
           &
           s__instance(s__musicChartBy__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__musicChartBy(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Class) &
         s__instance(V__ARGS2,s__Function))
       =>
       (((s__exactCardinality(s__rangeSubclass__m,V__ARG,V__COUNT)
           &
           s__instance(s__rangeSubclass__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__rangeSubclass(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__SymbolicString) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__HumanLanguage))
       =>
       (((s__exactCardinality(s__documentation__m,V__ARG,V__COUNT)
           &
           s__instance(s__documentation__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__documentation(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__GeographicArea) &
         s__instance(V__ARGS2,s__Agent))
       =>
       (((s__exactCardinality(s__agentOperatesInArea__m,V__ARG,V__COUNT)
           &
           s__instance(s__agentOperatesInArea__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__agentOperatesInArea(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__subclass(V__ARGS5,s__TimeInterval) &
         s__instance(V__ARGS4,s__RealNumber) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__IndustryAttribute) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__sectorCompositionOfGDPInPeriod__m,V__ARG,V__COUNT)
           &
           s__instance(s__sectorCompositionOfGDPInPeriod__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__sectorCompositionOfGDPInPeriod(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__OrganicObject) &
         s__instance(V__ARGS2,s__GeographicArea))
       =>
       (((s__exactCardinality(s__bioindicatorForHabitat__m,V__ARG,V__COUNT)
           &
           s__instance(s__bioindicatorForHabitat__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__bioindicatorForHabitat(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__DigitalData) &
         s__instance(V__ARGS2,s__ComputerProcess))
       =>
       (((s__exactCardinality(s__dataProcessed__m,V__ARG,V__COUNT)
           &
           s__instance(s__dataProcessed__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__dataProcessed(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__FinancialAccount))
       =>
       (((s__exactCardinality(s__totalBalance__m,V__ARG,V__COUNT)
           &
           s__instance(s__totalBalance__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__totalBalance(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimeDuration) &
         s__instance(V__ARGS2,s__ComputerPath))
       =>
       (((s__exactCardinality(s__simpleDeadline__m,V__ARG,V__COUNT)
           &
           s__instance(s__simpleDeadline__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__simpleDeadline(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__PlaneAngleMeasure) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Physical) &
         s__instance(V__ARGS2,s__Physical))
       =>
       (((s__exactCardinality(s__courseWRTCompassNorth__m,V__ARG,V__COUNT)
           &
           s__instance(s__courseWRTCompassNorth__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__courseWRTCompassNorth(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Human) &
         s__instance(V__ARGS2,s__TelecomNumber))
       =>
       (((s__exactCardinality(s__homePhoneNumber__m,V__ARG,V__COUNT)
           &
           s__instance(s__homePhoneNumber__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__homePhoneNumber(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Organization) &
         s__instance(V__ARGS2,s__Organization))
       =>
       (((s__exactCardinality(s__subOrganization__m,V__ARG,V__COUNT)
           &
           s__instance(s__subOrganization__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__subOrganization(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__Language) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__LinguisticExpression))
       =>
       (((s__exactCardinality(s__representsInLanguage__m,V__ARG,V__COUNT)
           &
           s__instance(s__representsInLanguage__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__representsInLanguage(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Attribute) &
         s__instance(V__ARGS2,s__Process))
       =>
       (((s__exactCardinality(s__manner__m,V__ARG,V__COUNT)
           &
           s__instance(s__manner__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__manner(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS5,s__TimeInterval) &
         s__instance(V__ARGS4,s__CurrencyMeasure) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Organization) &
         s__instance(V__ARGS2,s__Agent))
       =>
       (((s__exactCardinality(s__grossMerchandiseSoldInPeriod__m,V__ARG,V__COUNT)
           &
           s__instance(s__grossMerchandiseSoldInPeriod__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__grossMerchandiseSoldInPeriod(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Human) &
         s__instance(V__ARGS2,s__Agent))
       =>
       (((s__exactCardinality(s__jailer__m,V__ARG,V__COUNT)
           &
           s__instance(s__jailer__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__jailer(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__Agent))
       =>
       (((s__exactCardinality(s__hasAward__m,V__ARG,V__COUNT)
           &
           s__instance(s__hasAward__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__hasAward(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__SocialRole) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__TimePosition) &
         s__instance(V__ARGS2,s__Agent))
       =>
       (((s__exactCardinality(s__electionDatePlannedForPosition__m,V__ARG,V__COUNT)
           &
           s__instance(s__electionDatePlannedForPosition__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__electionDatePlannedForPosition(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__Class))
       =>
       (((s__exactCardinality(s__exhaustiveDecomposition__m,V__ARG,V__COUNT)
           &
           s__instance(s__exhaustiveDecomposition__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__exhaustiveDecomposition__1(V__ARGS2)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Human) &
         s__instance(V__ARGS2,s__Experimenting))
       =>
       (((s__exactCardinality(s__qualifiedExperiment__m,V__ARG,V__COUNT)
           &
           s__instance(s__qualifiedExperiment__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__qualifiedExperiment(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__PositiveInteger) &
         s__instance(V__ARGS2,s__ComputerProgram))
       =>
       (((s__exactCardinality(s__minimumReplications__m,V__ARG,V__COUNT)
           &
           s__instance(s__minimumReplications__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__minimumReplications(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__WebSite) &
         s__instance(V__ARGS2,s__WebListingCategory))
       =>
       (((s__exactCardinality(s__categoryOf__m,V__ARG,V__COUNT)
           &
           s__instance(s__categoryOf__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__categoryOf(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__ConstantQuantity) &
         s__instance(V__ARGS2,s__GeographicArea))
       =>
       (((s__exactCardinality(s__arableLandArea__m,V__ARG,V__COUNT)
           &
           s__instance(s__arableLandArea__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__arableLandArea(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__Object))
       =>
       (((s__exactCardinality(s__penetrates__m,V__ARG,V__COUNT)
           &
           s__instance(s__penetrates__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__penetrates(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__LengthMeasure) &
         s__instance(V__ARGS2,s__GeographicArea))
       =>
       (((s__exactCardinality(s__lengthOfNarrowGaugeRailway__m,V__ARG,V__COUNT)
           &
           s__instance(s__lengthOfNarrowGaugeRailway__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__lengthOfNarrowGaugeRailway(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__PositiveInteger) &
         s__instance(V__ARGS2,s__Relation))
       =>
       (((s__exactCardinality(s__valence__m,V__ARG,V__COUNT)
           &
           s__instance(s__valence__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__valence(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__TimePosition) &
         s__instance(V__ARGS2,s__Physical))
       =>
       (((s__exactCardinality(s__dateEstablished__m,V__ARG,V__COUNT)
           &
           s__instance(s__dateEstablished__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__dateEstablished(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__PhysicalQuantity) &
         s__instance(V__ARGS2,s__GeographicArea))
       =>
       (((s__exactCardinality(s__totalBiomass__m,V__ARG,V__COUNT)
           &
           s__instance(s__totalBiomass__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__totalBiomass(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS2,s__HotelUnit))
       =>
       (((s__exactCardinality(s__paidRoomAmenity__m,V__ARG,V__COUNT)
           &
           s__instance(s__paidRoomAmenity__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__paidRoomAmenity(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Agent) &
         s__instance(V__ARGS2,s__TelecomNumber))
       =>
       (((s__exactCardinality(s__mobilePhoneNumber__m,V__ARG,V__COUNT)
           &
           s__instance(s__mobilePhoneNumber__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__mobilePhoneNumber(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__subclass(V__ARGS4,s__TimeInterval) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Agent) &
         s__instance(V__ARGS2,s__Agent))
       =>
       (((s__exactCardinality(s__importPartnerInPeriod__m,V__ARG,V__COUNT)
           &
           s__instance(s__importPartnerInPeriod__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__importPartnerInPeriod(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimePosition) &
         s__instance(V__ARGS2,s__Option))
       =>
       (((s__exactCardinality(s__inTheMoney__m,V__ARG,V__COUNT)
           &
           s__instance(s__inTheMoney__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__inTheMoney(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__List) &
         s__instance(V__ARGS2,s__List))
       =>
       (((s__exactCardinality(s__identicalListItems__m,V__ARG,V__COUNT)
           &
           s__instance(s__identicalListItems__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__identicalListItems(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__Agent))
       =>
       (((s__exactCardinality(s__financialAsset__m,V__ARG,V__COUNT)
           &
           s__instance(s__financialAsset__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__financialAsset(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__TimeInterval) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__Human))
       =>
       (((s__exactCardinality(s__employeeContribution__m,V__ARG,V__COUNT)
           &
           s__instance(s__employeeContribution__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__employeeContribution(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__WearableItem) &
         s__instance(V__ARGS2,s__Animal))
       =>
       (((s__exactCardinality(s__wears__m,V__ARG,V__COUNT)
           &
           s__instance(s__wears__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__wears(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CognitiveAgent) &
         s__instance(V__ARGS2,s__CognitiveAgent))
       =>
       (((s__exactCardinality(s__guest__m,V__ARG,V__COUNT)
           &
           s__instance(s__guest__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__guest(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__RealNumber) &
         s__instance(V__ARGS2,s__DiseaseOrSyndrome))
       =>
       (((s__exactCardinality(s__diseaseMortality__m,V__ARG,V__COUNT)
           &
           s__instance(s__diseaseMortality__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__diseaseMortality(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__Loan))
       =>
       (((s__exactCardinality(s__downPayment__m,V__ARG,V__COUNT)
           &
           s__instance(s__downPayment__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__downPayment(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__CurrencyMeasure) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Day) &
         s__instance(V__ARGS2,s__FinancialAccount))
       =>
       (((s__exactCardinality(s__availableBalance__m,V__ARG,V__COUNT)
           &
           s__instance(s__availableBalance__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__availableBalance(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS6,s__SymbolicString) &
         s__instance(V__ARGS5,s__UnitOfMeasure) &
         s__instance(V__ARGS4,s__ComputerComponent) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__ComputerComponent) &
         s__instance(V__ARGS2,s__TimePosition))
       =>
       (((s__exactCardinality(s__componentDataID__m,V__ARG,V__COUNT)
           &
           s__instance(s__componentDataID__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__componentDataID(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimeDuration) &
         s__instance(V__ARGS2,s__ComputerProgram))
       =>
       (((s__exactCardinality(s__startupTimeDelay__m,V__ARG,V__COUNT)
           &
           s__instance(s__startupTimeDelay__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__startupTimeDelay(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__SetOrClass) &
         s__instance(V__ARGS2,s__Collection))
       =>
       (((s__exactCardinality(s__memberType__m,V__ARG,V__COUNT)
           &
           s__instance(s__memberType__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__memberType(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Formula) &
         s__instance(V__ARGS2,s__Formula))
       =>
       (((s__exactCardinality(s__entails__m,V__ARG,V__COUNT)
           &
           s__instance(s__entails__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__entails(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__ClimateZone) &
         s__instance(V__ARGS2,s__GeographicArea))
       =>
       (((s__exactCardinality(s__climateTypeInArea__m,V__ARG,V__COUNT)
           &
           s__instance(s__climateTypeInArea__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__climateTypeInArea(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Holiday) &
         s__instance(V__ARGS2,s__CognitiveAgent))
       =>
       (((s__exactCardinality(s__observesHoliday__m,V__ARG,V__COUNT)
           &
           s__instance(s__observesHoliday__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__observesHoliday(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Sentence) &
         s__instance(V__ARGS2,s__CognitiveAgent))
       =>
       (((s__exactCardinality(s__states__m,V__ARG,V__COUNT)
           &
           s__instance(s__states__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__states(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Formula) &
         s__instance(V__ARGS2,s__Reservation))
       =>
       (((s__exactCardinality(s__rateDetail__m,V__ARG,V__COUNT)
           &
           s__instance(s__rateDetail__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__rateDetail(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__NonnegativeRealNumber) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__laborForceTotal__m,V__ARG,V__COUNT)
           &
           s__instance(s__laborForceTotal__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__laborForceTotal(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Formula) &
         s__instance(V__ARGS2,s__CognitiveAgent))
       =>
       (((s__exactCardinality(s__disapproves__m,V__ARG,V__COUNT)
           &
           s__instance(s__disapproves__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__disapproves(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CorpuscularObject) &
         s__subclass(V__ARGS2,s__Substance))
       =>
       (((s__exactCardinality(s__material__m,V__ARG,V__COUNT)
           &
           s__instance(s__material__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__material(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__FunctionQuantity) &
         s__instance(V__ARGS2,s__MusicalTone))
       =>
       (((s__exactCardinality(s__soundFrequency__m,V__ARG,V__COUNT)
           &
           s__instance(s__soundFrequency__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__soundFrequency(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__CurrencyMeasure) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Day) &
         s__instance(V__ARGS2,s__FinancialAccount))
       =>
       (((s__exactCardinality(s__shortBalanceAmount__m,V__ARG,V__COUNT)
           &
           s__instance(s__shortBalanceAmount__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__shortBalanceAmount(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__DirectionalAttribute) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__PhysicalQuantity) &
         s__instance(V__ARGS2,s__Object))
       =>
       (((s__exactCardinality(s__lowAltitudeWindVelocity__m,V__ARG,V__COUNT)
           &
           s__instance(s__lowAltitudeWindVelocity__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__lowAltitudeWindVelocity(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__RationalNumber) &
         s__instance(V__ARGS2,s__Object))
       =>
       (((s__exactCardinality(s__contrastRatio__m,V__ARG,V__COUNT)
           &
           s__instance(s__contrastRatio__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__contrastRatio(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__Agent) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__SocialRole) &
         s__instance(V__ARGS2,s__Election))
       =>
       (((s__exactCardinality(s__candidateForPosition__m,V__ARG,V__COUNT)
           &
           s__instance(s__candidateForPosition__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__candidateForPosition(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimeDuration) &
         s__instance(V__ARGS2,s__ComputerProgram))
       =>
       (((s__exactCardinality(s__softwareHeartBeatRate__m,V__ARG,V__COUNT)
           &
           s__instance(s__softwareHeartBeatRate__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__softwareHeartBeatRate(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CognitiveAgent) &
         s__instance(V__ARGS2,s__CognitiveAgent))
       =>
       (((s__exactCardinality(s__approves__m,V__ARG,V__COUNT)
           &
           s__instance(s__approves__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__approves(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__SocialRole) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__SocialRole) &
         s__instance(V__ARGS2,s__Agent))
       =>
       (((s__exactCardinality(s__roleNominatesRole__m,V__ARG,V__COUNT)
           &
           s__instance(s__roleNominatesRole__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__roleNominatesRole(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__LengthMeasure) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimeInterval) &
         s__instance(V__ARGS2,s__Region))
       =>
       (((s__exactCardinality(s__lowTide__m,V__ARG,V__COUNT)
           &
           s__instance(s__lowTide__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__lowTide(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CognitiveAgent) &
         s__instance(V__ARGS2,s__Loan))
       =>
       (((s__exactCardinality(s__borrower__m,V__ARG,V__COUNT)
           &
           s__instance(s__borrower__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__borrower(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__TimePoint) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimePoint) &
         s__instance(V__ARGS2,s__TimePoint))
       =>
       (((s__exactCardinality(s__temporallyBetweenOrEqual__m,V__ARG,V__COUNT)
           &
           s__instance(s__temporallyBetweenOrEqual__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__temporallyBetweenOrEqual(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Man) &
         s__instance(V__ARGS2,s__Human))
       =>
       (((s__exactCardinality(s__stepfather__m,V__ARG,V__COUNT)
           &
           s__instance(s__stepfather__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__stepfather(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CognitiveAgent) &
         s__instance(V__ARGS2,s__FinancialAccount))
       =>
       (((s__exactCardinality(s__accountHolder__m,V__ARG,V__COUNT)
           &
           s__instance(s__accountHolder__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__accountHolder(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS2,s__HotelFunctionRoom))
       =>
       (((s__exactCardinality(s__paidFunctionRoomAmenity__m,V__ARG,V__COUNT)
           &
           s__instance(s__paidFunctionRoomAmenity__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__paidFunctionRoomAmenity(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__Language) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__SymbolicString))
       =>
       (((s__exactCardinality(s__misspelledTitle__m,V__ARG,V__COUNT)
           &
           s__instance(s__misspelledTitle__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__misspelledTitle(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__Agent))
       =>
       (((s__exactCardinality(s__discovers__m,V__ARG,V__COUNT)
           &
           s__instance(s__discovers__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__discovers(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__SymbolicString) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__internetCountryCode__m,V__ARG,V__COUNT)
           &
           s__instance(s__internetCountryCode__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__internetCountryCode(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__HotelPackage))
       =>
       (((s__exactCardinality(s__physicalInclusion__m,V__ARG,V__COUNT)
           &
           s__instance(s__physicalInclusion__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__physicalInclusion(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__subclass(V__ARGS5,s__TimeInterval) &
         s__instance(V__ARGS4,s__PositiveInteger) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__GeopoliticalArea) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__exportPartnerByRankInPeriod__m,V__ARG,V__COUNT)
           &
           s__instance(s__exportPartnerByRankInPeriod__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__exportPartnerByRankInPeriod(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__PositiveInteger) &
         s__instance(V__ARGS2,s__PureSubstance))
       =>
       (((s__exactCardinality(s__protonNumber__m,V__ARG,V__COUNT)
           &
           s__instance(s__protonNumber__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__protonNumber(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__RealNumber) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__unemploymentRateOfArea__m,V__ARG,V__COUNT)
           &
           s__instance(s__unemploymentRateOfArea__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__unemploymentRateOfArea(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Substance) &
         s__instance(V__ARGS2,s__LandArea))
       =>
       (((s__exactCardinality(s__groundSurfaceType__m,V__ARG,V__COUNT)
           &
           s__instance(s__groundSurfaceType__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__groundSurfaceType(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Relation) &
         s__instance(V__ARGS2,s__Object))
       =>
       (((s__exactCardinality(s__applicableRelation__m,V__ARG,V__COUNT)
           &
           s__instance(s__applicableRelation__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__applicableRelation(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimePosition) &
         s__instance(V__ARGS2,s__Option))
       =>
       (((s__exactCardinality(s__atTheMoney__m,V__ARG,V__COUNT)
           &
           s__instance(s__atTheMoney__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__atTheMoney(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__ComputationalSystem) &
         s__instance(V__ARGS2,s__MeasuringPerformance))
       =>
       (((s__exactCardinality(s__systemMeasured__m,V__ARG,V__COUNT)
           &
           s__instance(s__systemMeasured__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__systemMeasured(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__Process))
       =>
       (((s__exactCardinality(s__involvedInEvent__m,V__ARG,V__COUNT)
           &
           s__instance(s__involvedInEvent__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__involvedInEvent(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS5,s__PricingScheme) &
         s__instance(V__ARGS4,s__CognitiveAgent) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__subclass(V__ARGS2,s__Entity))
       =>
       (((s__exactCardinality(s__publishedPrice__m,V__ARG,V__COUNT)
           &
           s__instance(s__publishedPrice__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__publishedPrice(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Woman) &
         s__instance(V__ARGS2,s__Man))
       =>
       (((s__exactCardinality(s__husband__m,V__ARG,V__COUNT)
           &
           s__instance(s__husband__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__husband(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__Class) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Class) &
         s__instance(V__ARGS2,s__Class))
       =>
       (((s__exactCardinality(s__disjointDecomposition__m,V__ARG,V__COUNT)
           &
           s__instance(s__disjointDecomposition__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__disjointDecomposition__3(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__GeopoliticalArea) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__IllicitDrug) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__drugShipmentDestination__m,V__ARG,V__COUNT)
           &
           s__instance(s__drugShipmentDestination__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__drugShipmentDestination(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__SymbolicString) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__flagImage__m,V__ARG,V__COUNT)
           &
           s__instance(s__flagImage__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__flagImage(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__agriculturalProductType__m,V__ARG,V__COUNT)
           &
           s__instance(s__agriculturalProductType__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__agriculturalProductType(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__FinancialOrganization) &
         s__instance(V__ARGS2,s__FinancialAccount))
       =>
       (((s__exactCardinality(s__accountAt__m,V__ARG,V__COUNT)
           &
           s__instance(s__accountAt__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__accountAt(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Reservation) &
         s__instance(V__ARGS2,s__Physical))
       =>
       (((s__exactCardinality(s__reservationChannel__m,V__ARG,V__COUNT)
           &
           s__instance(s__reservationChannel__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__reservationChannel(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Class) &
         s__instance(V__ARGS2,s__BinaryRelation))
       =>
       (((s__exactCardinality(s__reflexiveOn__m,V__ARG,V__COUNT)
           &
           s__instance(s__reflexiveOn__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__reflexiveOn(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Computer) &
         s__instance(V__ARGS2,s__UserAccount))
       =>
       (((s__exactCardinality(s__deviceAccount__m,V__ARG,V__COUNT)
           &
           s__instance(s__deviceAccount__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__deviceAccount(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__WebSite) &
         s__instance(V__ARGS2,s__FinancialTransaction))
       =>
       (((s__exactCardinality(s__eCommerceSite__m,V__ARG,V__COUNT)
           &
           s__instance(s__eCommerceSite__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__eCommerceSite(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__GeographicArea) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__RealNumber) &
         s__instance(V__ARGS2,s__BeliefGroup))
       =>
       (((s__exactCardinality(s__beliefGroupPercentInRegion__m,V__ARG,V__COUNT)
           &
           s__instance(s__beliefGroupPercentInRegion__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__beliefGroupPercentInRegion(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__WebSite) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Collection) &
         s__instance(V__ARGS2,s__Agent))
       =>
       (((s__exactCardinality(s__watchingListings__m,V__ARG,V__COUNT)
           &
           s__instance(s__watchingListings__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__watchingListings(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TransitSystem) &
         s__instance(V__ARGS2,s__Transitway))
       =>
       (((s__exactCardinality(s__routeInSystem__m,V__ARG,V__COUNT)
           &
           s__instance(s__routeInSystem__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__routeInSystem(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__LengthMeasure) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__GeographicArea) &
         s__instance(V__ARGS2,s__GeographicArea))
       =>
       (((s__exactCardinality(s__sharedBorderLength__m,V__ARG,V__COUNT)
           &
           s__instance(s__sharedBorderLength__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__sharedBorderLength(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__PermanentResidence) &
         s__instance(V__ARGS2,s__Human))
       =>
       (((s__exactCardinality(s__home__m,V__ARG,V__COUNT)
           &
           s__instance(s__home__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__home(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__EconomicAttribute) &
         s__instance(V__ARGS2,s__Agent))
       =>
       (((s__exactCardinality(s__economyType__m,V__ARG,V__COUNT)
           &
           s__instance(s__economyType__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__economyType(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__externalDebt__m,V__ARG,V__COUNT)
           &
           s__instance(s__externalDebt__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__externalDebt(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__WebSite) &
         s__instance(V__ARGS2,s__Database))
       =>
       (((s__exactCardinality(s__userDatabase__m,V__ARG,V__COUNT)
           &
           s__instance(s__userDatabase__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__userDatabase(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__TimeInterval) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__independenceDate__m,V__ARG,V__COUNT)
           &
           s__instance(s__independenceDate__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__independenceDate(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Integer) &
         s__instance(V__ARGS2,s__ComputerProgram))
       =>
       (((s__exactCardinality(s__criticalityLevel__m,V__ARG,V__COUNT)
           &
           s__instance(s__criticalityLevel__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__criticalityLevel(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__FunctionQuantity) &
         s__instance(V__ARGS2,s__ComputerNetwork))
       =>
       (((s__exactCardinality(s__bandwidth__m,V__ARG,V__COUNT)
           &
           s__instance(s__bandwidth__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__bandwidth(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__MassMeasure) &
         s__instance(V__ARGS2,s__Vehicle))
       =>
       (((s__exactCardinality(s__maximumPayloadCapacity__m,V__ARG,V__COUNT)
           &
           s__instance(s__maximumPayloadCapacity__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__maximumPayloadCapacity(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__List) &
         s__instance(V__ARGS2,s__List))
       =>
       (((s__exactCardinality(s__subList__m,V__ARG,V__COUNT)
           &
           s__instance(s__subList__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__subList(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__NonnegativeInteger) &
         s__instance(V__ARGS2,s__SetOrClass))
       =>
       (((s__exactCardinality(s__cardinality__m,V__ARG,V__COUNT)
           &
           s__instance(s__cardinality__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__cardinality(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TaskRelationAttribute) &
         s__instance(V__ARGS2,s__RealtimeSystem))
       =>
       (((s__exactCardinality(s__taskRelation__m,V__ARG,V__COUNT)
           &
           s__instance(s__taskRelation__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__taskRelation(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__ComputerInputDevice) &
         s__instance(V__ARGS2,s__ComputerProcess))
       =>
       (((s__exactCardinality(s__standardInputDevice__m,V__ARG,V__COUNT)
           &
           s__instance(s__standardInputDevice__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__standardInputDevice(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__subclass(V__ARGS4,s__Process) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__BiologicallyActiveSubstance) &
         s__instance(V__ARGS2,s__BiochemicalAgent))
       =>
       (((s__exactCardinality(s__biochemicalAgentAntidote__m,V__ARG,V__COUNT)
           &
           s__instance(s__biochemicalAgentAntidote__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__biochemicalAgentAntidote(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TemperatureMeasure) &
         s__instance(V__ARGS2,s__Device))
       =>
       (((s__exactCardinality(s__maxDeviceStorageTemp__m,V__ARG,V__COUNT)
           &
           s__instance(s__maxDeviceStorageTemp__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__maxDeviceStorageTemp(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Collection) &
         s__instance(V__ARGS2,s__Collection))
       =>
       (((s__exactCardinality(s__subCollection__m,V__ARG,V__COUNT)
           &
           s__instance(s__subCollection__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__subCollection(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__TimeDuration) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__SocialRole) &
         s__instance(V__ARGS2,s__Agent))
       =>
       (((s__exactCardinality(s__termLength__m,V__ARG,V__COUNT)
           &
           s__instance(s__termLength__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__termLength(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CognitiveAgent) &
         s__instance(V__ARGS2,s__CognitiveAgent))
       =>
       (((s__exactCardinality(s__allegiance__m,V__ARG,V__COUNT)
           &
           s__instance(s__allegiance__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__allegiance(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__PermanentResidence) &
         s__instance(V__ARGS2,s__Agent))
       =>
       (((s__exactCardinality(s__landlord__m,V__ARG,V__COUNT)
           &
           s__instance(s__landlord__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__landlord(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__CurrencyMeasure) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Day) &
         s__instance(V__ARGS2,s__FinancialAccount))
       =>
       (((s__exactCardinality(s__currentAccountBalance__m,V__ARG,V__COUNT)
           &
           s__instance(s__currentAccountBalance__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__currentAccountBalance(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__LengthMeasure) &
         s__instance(V__ARGS2,s__GeographicArea))
       =>
       (((s__exactCardinality(s__totalCoastline__m,V__ARG,V__COUNT)
           &
           s__instance(s__totalCoastline__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__totalCoastline(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Organism) &
         s__instance(V__ARGS2,s__Organism))
       =>
       (((s__exactCardinality(s__parent__m,V__ARG,V__COUNT)
           &
           s__instance(s__parent__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__parent(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Year) &
         s__instance(V__ARGS2,s__Object))
       =>
       (((s__exactCardinality(s__lastRenovation__m,V__ARG,V__COUNT)
           &
           s__instance(s__lastRenovation__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__lastRenovation(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__LengthMeasure) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimeInterval) &
         s__instance(V__ARGS2,s__Region))
       =>
       (((s__exactCardinality(s__highTide__m,V__ARG,V__COUNT)
           &
           s__instance(s__highTide__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__highTide(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Process) &
         s__instance(V__ARGS2,s__Experimenting))
       =>
       (((s__exactCardinality(s__exclusiveEvent__m,V__ARG,V__COUNT)
           &
           s__instance(s__exclusiveEvent__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__exclusiveEvent(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__LengthMeasure) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimePosition) &
         s__instance(V__ARGS2,s__WaterArea))
       =>
       (((s__exactCardinality(s__significantWaveHeight__m,V__ARG,V__COUNT)
           &
           s__instance(s__significantWaveHeight__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__significantWaveHeight(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimePoint) &
         s__instance(V__ARGS2,s__Agreement))
       =>
       (((s__exactCardinality(s__agreementEffectiveDate__m,V__ARG,V__COUNT)
           &
           s__instance(s__agreementEffectiveDate__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__agreementEffectiveDate(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__PositiveInteger) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__GeopoliticalArea) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__exportPartnerByRank__m,V__ARG,V__COUNT)
           &
           s__instance(s__exportPartnerByRank__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__exportPartnerByRank(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TransitSystem) &
         s__instance(V__ARGS2,s__Transitway))
       =>
       (((s__exactCardinality(s__pathInSystem__m,V__ARG,V__COUNT)
           &
           s__instance(s__pathInSystem__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__pathInSystem(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__subclass(V__ARGS2,s__Currency))
       =>
       (((s__exactCardinality(s__currencyValue__m,V__ARG,V__COUNT)
           &
           s__instance(s__currencyValue__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__currencyValue(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS5,s__Agent) &
         s__instance(V__ARGS4,s__Position) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Human) &
         s__instance(V__ARGS2,s__Agent))
       =>
       (((s__exactCardinality(s__diplomaticRepresentativeInRole__m,V__ARG,V__COUNT)
           &
           s__instance(s__diplomaticRepresentativeInRole__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__diplomaticRepresentativeInRole(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__OrganizationalProcess) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__Human))
       =>
       (((s__exactCardinality(s__incomeEarned__m,V__ARG,V__COUNT)
           &
           s__instance(s__incomeEarned__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__incomeEarned(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__Class) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Class) &
         s__instance(V__ARGS2,s__Class))
       =>
       (((s__exactCardinality(s__partition__m,V__ARG,V__COUNT)
           &
           s__instance(s__partition__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__partition__3(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Hole) &
         s__instance(V__ARGS2,s__Object))
       =>
       (((s__exactCardinality(s__partiallyFills__m,V__ARG,V__COUNT)
           &
           s__instance(s__partiallyFills__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__partiallyFills(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__TimeInterval) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__militaryExpendituresInUSDollarsInPeriod__m,V__ARG,V__COUNT)
           &
           s__instance(s__militaryExpendituresInUSDollarsInPeriod__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__militaryExpendituresInUSDollarsInPeriod(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__AreaOfConcern) &
         s__instance(V__ARGS2,s__Agent))
       =>
       (((s__exactCardinality(s__organizationalObjective__m,V__ARG,V__COUNT)
           &
           s__instance(s__organizationalObjective__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__organizationalObjective(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__Process))
       =>
       (((s__exactCardinality(s__origin__m,V__ARG,V__COUNT)
           &
           s__instance(s__origin__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__origin(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__PostalPlace) &
         s__instance(V__ARGS2,s__SymbolicString))
       =>
       (((s__exactCardinality(s__postPostOfficeBox__m,V__ARG,V__COUNT)
           &
           s__instance(s__postPostOfficeBox__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__postPostOfficeBox(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__DiseaseOrSyndrome) &
         s__subclass(V__ARGS2,s__BiochemicalAgent))
       =>
       (((s__exactCardinality(s__biochemicalAgentSyndrome__m,V__ARG,V__COUNT)
           &
           s__instance(s__biochemicalAgentSyndrome__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__biochemicalAgentSyndrome(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__Object))
       =>
       (((s__exactCardinality(s__older__m,V__ARG,V__COUNT)
           &
           s__instance(s__older__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__older(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__CognitiveAgent) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__subclass(V__ARGS2,s__Entity))
       =>
       (((s__exactCardinality(s__productPrice__m,V__ARG,V__COUNT)
           &
           s__instance(s__productPrice__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__productPrice(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__WebSite) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Formula) &
         s__instance(V__ARGS2,s__Agent))
       =>
       (((s__exactCardinality(s__visitorParameter__m,V__ARG,V__COUNT)
           &
           s__instance(s__visitorParameter__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__visitorParameter(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Physical) &
         s__instance(V__ARGS2,s__Agent))
       =>
       (((s__exactCardinality(s__propertyAmenity__m,V__ARG,V__COUNT)
           &
           s__instance(s__propertyAmenity__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__propertyAmenity(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Agent) &
         s__instance(V__ARGS2,s__RatingAttribute))
       =>
       (((s__exactCardinality(s__ratingsAgent__m,V__ARG,V__COUNT)
           &
           s__instance(s__ratingsAgent__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__ratingsAgent(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Class) &
         s__instance(V__ARGS2,s__BinaryRelation))
       =>
       (((s__exactCardinality(s__irreflexiveOn__m,V__ARG,V__COUNT)
           &
           s__instance(s__irreflexiveOn__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__irreflexiveOn(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__Quantity) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Integer) &
         s__instance(V__ARGS2,s__Predicate))
       =>
       (((s__exactCardinality(s__minValue__m,V__ARG,V__COUNT)
           &
           s__instance(s__minValue__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__minValue(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Organism) &
         s__subclass(V__ARGS2,s__BiologicalAgent))
       =>
       (((s__exactCardinality(s__biologicalAgentCarrier__m,V__ARG,V__COUNT)
           &
           s__instance(s__biologicalAgentCarrier__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__biologicalAgentCarrier(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__WebSite) &
         s__instance(V__ARGS2,s__Agent))
       =>
       (((s__exactCardinality(s__webVisitor__m,V__ARG,V__COUNT)
           &
           s__instance(s__webVisitor__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__webVisitor(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__Attribute) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Attribute) &
         s__subclass(V__ARGS2,s__Attribute))
       =>
       (((s__exactCardinality(s__exhaustiveAttribute__m,V__ARG,V__COUNT)
           &
           s__instance(s__exhaustiveAttribute__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__exhaustiveAttribute__3(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__