SetOrClass - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__SetOrClass,s__ChineseLanguage,'"这是 Set 和 Class 的 SetOrClass，也就是说任何 Abstract 有 element 或 instance的实例。"')	chinese_format.kif 1804-1805
s__documentation(s__SetOrClass,s__EnglishLanguage,'"The SetOrClass of Sets and Classes, i.e. any instance of Abstract that has elements or instances."')	Merge.kif 2039-2041
s__partition__3(s__SetOrClass,s__Set,s__Class)	Merge.kif 2037-2037	Set or class is exhaustively partitioned into set and class
s__subclass(s__SetOrClass,s__Abstract) s__instance(s__Abstract,s__SetOrClass)	Merge.kif 2036-2036	Set or class is a subclass of abstract

appearance as argument number 2

s__range(s__ComplementFn__m,s__SetOrClass)	Merge.kif 5148-5148	The range of complement is an instance of set or class
s__range(s__GeneralizedIntersectionFn__m,s__SetOrClass)	Merge.kif 5169-5169	The range of generalized intersection is an instance of set or class
s__range(s__GeneralizedUnionFn__m,s__SetOrClass)	Merge.kif 5158-5158	The range of generalized union is an instance of set or class
s__range(s__IntersectionFn__m,s__SetOrClass)	Merge.kif 5127-5127	The range of intersection is an instance of set or class
s__range(s__RelativeComplementFn__m,s__SetOrClass)	Merge.kif 5138-5138	The range of relative complement is an instance of set or class
s__range(s__UnionFn__m,s__SetOrClass)	Merge.kif 5101-5101	The range of union is an instance of set or class
s__rangeSubclass(s__PowerSetFn__m,s__SetOrClass)	Merge.kif 763-763	The values returned by power set are subclasses of set or class
s__subclass(s__Set,s__SetOrClass) s__instance(s__Set,s__SetOrClass)	Merge.kif 2056-2056	Set is a subclass of set or class
s__termFormat(s__ChineseLanguage,s__SetOrClass,'"集或类"')	chinese_format.kif 885-885
s__termFormat(s__EnglishLanguage,s__SetOrClass,'"set or class"')	english_format.kif 977-977

appearance as argument number 3

s__domain(s__AttrFn__m,n__1,s__SetOrClass)	Merge.kif 1681-1681	The number 1 argument of attr is an instance of set or class
s__domain(s__ComplementFn__m,n__1,s__SetOrClass)	Merge.kif 5147-5147	The number 1 argument of complement is an instance of set or class
s__domain(s__IntersectionFn__m,n__1,s__SetOrClass)	Merge.kif 5125-5125	The number 1 argument of intersection is an instance of set or class
s__domain(s__IntersectionFn__m,n__2,s__SetOrClass)	Merge.kif 5126-5126	The number 2 argument of intersection is an instance of set or class
s__domain(s__PowerSetFn__m,n__1,s__SetOrClass)	Merge.kif 762-762	The number 1 argument of power set is an instance of set or class
s__domain(s__RelativeComplementFn__m,n__1,s__SetOrClass)	Merge.kif 5136-5136	The number 1 argument of relative complement is an instance of set or class
s__domain(s__RelativeComplementFn__m,n__2,s__SetOrClass)	Merge.kif 5137-5137	The number 2 argument of relative complement is an instance of set or class
s__domain(s__UnionFn__m,n__1,s__SetOrClass)	Merge.kif 5099-5099	The number 1 argument of union is an instance of set or class
s__domain(s__UnionFn__m,n__2,s__SetOrClass)	Merge.kif 5100-5100	The number 2 argument of union is an instance of set or class
s__domain(s__adjacentOrientation__m,n__2,s__SetOrClass)	Hotel.kif 907-907	The number 2 argument of adjacent orientation is an instance of set or class
s__domain(s__cardinality__m,n__1,s__SetOrClass)	Government.kif 425-425	The number 1 argument of cardinality is an instance of set or class
s__domain(s__classIntersection__m,n__1,s__SetOrClass)	ComputerInput.kif 68-68	The number 1 argument of classIntersection is an instance of set or class
s__domain(s__classIntersection__m,n__2,s__SetOrClass)	ComputerInput.kif 69-69	The number 2 argument of classIntersection is an instance of set or class
s__domain(s__classIntersection__m,n__3,s__SetOrClass)	ComputerInput.kif 70-70	The number 3 argument of classIntersection is an instance of set or class
s__domain(s__closedOn__m,n__2,s__SetOrClass)	Merge.kif 3420-3420	The number 2 argument of closed on is an instance of set or class
s__domain(s__disjoint__m,n__1,s__SetOrClass)	Merge.kif 394-394	The number 1 argument of disjoint is an instance of set or class
s__domain(s__disjoint__m,n__2,s__SetOrClass)	Merge.kif 395-395	The number 2 argument of disjoint is an instance of set or class
s__domain(s__domain__m,n__3,s__SetOrClass)	Merge.kif 208-208	The number 3 argument of domain is an instance of set or class
s__domain(s__domainSubclass__m,n__3,s__SetOrClass)	Merge.kif 230-230	The number 3 argument of domain subclass is an instance of set or class
s__domain(s__equivalenceRelationOn__m,n__2,s__SetOrClass)	Merge.kif 3543-3543	The number 2 argument of equivalence relation on is an instance of set or class
s__domain(s__immediateSubclass__m,n__1,s__SetOrClass)	Merge.kif 151-151	The number 1 argument of immediate subclass is an instance of set or class
s__domain(s__immediateSubclass__m,n__2,s__SetOrClass)	Merge.kif 152-152	The number 2 argument of immediate subclass is an instance of set or class
s__domain(s__instance__m,n__2,s__SetOrClass)	Merge.kif 82-82	The number 2 argument of instance is an instance of set or class
s__domain(s__irreflexiveOn__m,n__2,s__SetOrClass)	Merge.kif 3467-3467	The number 2 argument of irreflexive on is an instance of set or class
s__domain(s__lexicon__m,n__1,s__SetOrClass)	engineering.kif 39-39	The number 1 argument of lexicon is an instance of set or class

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 4

s__disjointDecomposition__6(s__Abstract,s__Quantity,s__Attribute,s__SetOrClass,s__Relation,s__Proposition)

Merge.kif 1574-1574

Abstract is disjointly decomposed into quantity, attribute, set or class, relation, and proposition

antecedent

( ! [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

If a set or class is an instance of set or class and the number of instances in the set or class is equal to a nonnegative integer,
then the nonnegative integer is a cardinality of the set or class

consequent

( ! [V__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,V__ARG,V__ARGS3,V__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__CrossFunctionalTeam))
     =>
     (s__exactCardinality(s__crossFunctionalTeamFocus__m,V__ARG,V__COUNT)
     &
     s__instance(s__crossFunctionalTeamFocus__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__crossFunctionalTeamFocus(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__subclass(V__ARGS3,s__Animal) &
       s__subclass(V__ARGS2,s__OrganicObject))
     =>
     (s__exactCardinality(s__meatOfAnimal__m,V__ARG,V__COUNT)
     &
     s__instance(s__meatOfAnimal__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__meatOfAnimal(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__ARGS5,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__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__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__ARGS6,V__ARGS5,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__Computer) &
       s__instance(V__ARGS2,s__ComputerHardware))
     =>
     (s__exactCardinality(s__connectedPeripheral__m,V__ARG,V__COUNT)
     &
     s__instance(s__connectedPeripheral__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__connectedPeripheral(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__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS2,s__Human))
     =>
     (s__exactCardinality(s__grandmother__m,V__ARG,V__COUNT)
     &
     s__instance(s__grandmother__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__grandmother(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__ARGS6,V__ARGS5,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__FinancialAccountStatus) &
       s__instance(V__ARGS2,s__FinancialAccount))
     =>
     (s__exactCardinality(s__accountStatus__m,V__ARG,V__COUNT)
     &
     s__instance(s__accountStatus__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__accountStatus(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__FinancialAccount))
     =>
     (s__exactCardinality(s__purchasesPerPeriod__m,V__ARG,V__COUNT)
     &
     s__instance(s__purchasesPerPeriod__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__purchasesPerPeriod(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__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__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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__UserAccount) &
       s__instance(V__ARGS2,s__Agent))
     =>
     (s__exactCardinality(s__hasAccount__m,V__ARG,V__COUNT)
     &
     s__instance(s__hasAccount__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__hasAccount(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__ARGS6,V__ARGS5,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__GeopoliticalArea) &
       s__instance(V__ARGS2,s__GeopoliticalArea))
     =>
     (s__exactCardinality(s__administrativeCenter__m,V__ARG,V__COUNT)
     &
     s__instance(s__administrativeCenter__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__administrativeCenter(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__ARGS5,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__Formula) &
       s__instance(V__ARGS2,s__Physical))
     =>
     (s__exactCardinality(s__hasPurpose__m,V__ARG,V__COUNT)
     &
     s__instance(s__hasPurpose__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__hasPurpose(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,V__ARG,V__ARGS3,V__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS2,s__CriminalAction))
     =>
     (s__exactCardinality(s__victim__m,V__ARG,V__COUNT)
     &
     s__instance(s__victim__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__victim(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__TimeInterval))
     =>
     (s__exactCardinality(s__starts__m,V__ARG,V__COUNT)
     &
     s__instance(s__starts__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__starts(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__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS2,s__SymbolicString))
     =>
     (s__exactCardinality(s__synonymousExternalConcept__m,V__ARG,V__COUNT)
     &
     s__instance(s__synonymousExternalConcept__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__synonymousExternalConcept(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__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS2,s__GeopoliticalArea))
     =>
     (s__exactCardinality(s__chanceryAddressInArea__m,V__ARG,V__COUNT)
     &
     s__instance(s__chanceryAddressInArea__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__chanceryAddressInArea(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__ARGS6,V__ARGS5,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__Proposition) &
       s__instance(V__ARGS2,s__Object))
     =>
     (s__exactCardinality(s__conforms__m,V__ARG,V__COUNT)
     &
     s__instance(s__conforms__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__conforms(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__ARGS6,V__ARGS5,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__ARGS2,s__SymbolicString))
     =>
     (s__exactCardinality(s__conventionalLongName__m,V__ARG,V__COUNT)
     &
     s__instance(s__conventionalLongName__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__conventionalLongName(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__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__RelationalAttribute) &
       s__instance(V__ARGS2,s__RoomInventory))
     =>
     (s__exactCardinality(s__someRoomsAttribute__m,V__ARG,V__COUNT)
     &
     s__instance(s__someRoomsAttribute__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__someRoomsAttribute(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__Bidding))
     =>
     (s__exactCardinality(s__objectOfBid__m,V__ARG,V__COUNT)
     &
     s__instance(s__objectOfBid__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__objectOfBid(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,V__ARG,V__ARGS3,V__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__Day) &
       s__instance(V__ARGS2,s__Human))
     =>
     (s__exactCardinality(s__birthdate__m,V__ARG,V__COUNT)
     &
     s__instance(s__birthdate__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__birthdate(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__MilitaryOperation) &
       s__instance(V__ARGS2,s__Region))
     =>
     (s__exactCardinality(s__areaOfOperation__m,V__ARG,V__COUNT)
     &
     s__instance(s__areaOfOperation__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__areaOfOperation(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__ARGS6,V__ARGS5,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__ARGS2,s__Language))
     =>
     (s__exactCardinality(s__format__m,V__ARG,V__COUNT)
     &
     s__instance(s__format__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__format(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__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS2,s__ComputerProgram))
     =>
     (s__exactCardinality(s__portNumber__m,V__ARG,V__COUNT)
     &
     s__instance(s__portNumber__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__portNumber(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__DataStorageDevice) &
       s__instance(V__ARGS2,s__ContentBearingObject))
     =>
     (s__exactCardinality(s__stored__m,V__ARG,V__COUNT)
     &
     s__instance(s__stored__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__stored(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__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__ARGS7,V__ARGS6,V__ARGS5,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__Agreement) &
       s__instance(V__ARGS2,s__ContentBearingPhysical))
     =>
     (s__exactCardinality(s__recordForAgreement__m,V__ARG,V__COUNT)
     &
     s__instance(s__recordForAgreement__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__recordForAgreement(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__RealNumber) &
       s__instance(V__ARGS2,s__UserAccount))
     =>
     (s__exactCardinality(s__userFeedbackScore__m,V__ARG,V__COUNT)
     &
     s__instance(s__userFeedbackScore__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__userFeedbackScore(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__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   ((s__instance(V__ARGS4,s__Contest) &
       s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__CognitiveAgent))
     =>
     (s__exactCardinality(s__contestEntry__m,V__ARG,V__COUNT)
     &
     s__instance(s__contestEntry__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__contestEntry(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__ARGS5,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__FunctionQuantity) &
       s__instance(V__ARGS2,s__InternalCombustionEngine))
     =>
     (s__exactCardinality(s__engineIdleSpeed__m,V__ARG,V__COUNT)
     &
     s__instance(s__engineIdleSpeed__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__engineIdleSpeed(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__ARGS5,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__FinancialAccount))
     =>
     (s__exactCardinality(s__purchasesPerPeriod__m,V__ARG,V__COUNT)
     &
     s__instance(s__purchasesPerPeriod__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__purchasesPerPeriod(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__SymbolicString) &
       s__instance(V__ARGS2,s__FinancialTransaction))
     =>
     (s__exactCardinality(s__confirmationNumber__m,V__ARG,V__COUNT)
     &
     s__instance(s__confirmationNumber__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__confirmationNumber(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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__WebSite) &
       s__instance(V__ARGS2,s__WebListing))
     =>
     (s__exactCardinality(s__hostedOn__m,V__ARG,V__COUNT)
     &
     s__instance(s__hostedOn__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__hostedOn(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__Object) &
       s__instance(V__ARGS2,s__Contest))
     =>
     (s__exactCardinality(s__contestObject__m,V__ARG,V__COUNT)
     &
     s__instance(s__contestObject__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__contestObject(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__crossFunctionalTeamFocus__m,V__ARG,V__COUNT)
     &
     s__instance(s__crossFunctionalTeamFocus__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__crossFunctionalTeamFocus(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__ARGS7,V__ARGS6,V__ARGS5,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__ColorAttribute) &
       s__instance(V__ARGS2,s__Object))
     =>
     (s__exactCardinality(s__color__m,V__ARG,V__COUNT)
     &
     s__instance(s__color__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__color(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   (s__CardinalityFn(V__S)
   = V__COUNT)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__ComputerPath))
     =>
     (s__exactCardinality(s__slidingWindowSize__m,V__ARG,V__COUNT)
     &
     s__instance(s__slidingWindowSize__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__slidingWindowSize(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   (s__CardinalityFn(V__S)
   = V__COUNT)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__properlyFills__m,V__ARG,V__COUNT)
     &
     s__instance(s__properlyFills__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__properlyFills(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__Policy) &
       s__instance(V__ARGS2,s__RoomInventory))
     =>
     (s__exactCardinality(s__someRoomsPolicy__m,V__ARG,V__COUNT)
     &
     s__instance(s__someRoomsPolicy__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__someRoomsPolicy(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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS2,s__SymbolicString))
     =>
     (s__exactCardinality(s__synonymousExternalConcept__m,V__ARG,V__COUNT)
     &
     s__instance(s__synonymousExternalConcept__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__synonymousExternalConcept(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__Object))
     =>
     (s__exactCardinality(s__sphereRadius__m,V__ARG,V__COUNT)
     &
     s__instance(s__sphereRadius__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__sphereRadius(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   (s__CardinalityFn(V__S)
   = V__COUNT)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,V__ARG,V__ARGS3,V__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__GUIElement) &
       s__instance(V__ARGS2,s__UncoveringGraphicalWindow))
     =>
     (s__exactCardinality(s__guiElementUncovered__m,V__ARG,V__COUNT)
     &
     s__instance(s__guiElementUncovered__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__guiElementUncovered(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__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__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__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS2,s__ContentBearingPhysical))
     =>
     (s__exactCardinality(s__recordForAgreement__m,V__ARG,V__COUNT)
     &
     s__instance(s__recordForAgreement__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__recordForAgreement(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   ((s__subclass(V__ARGS4,s__PositiveInteger) &
       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__agriculturalProductTypeByRank__m,V__ARG,V__COUNT)
     &
     s__instance(s__agriculturalProductTypeByRank__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__agriculturalProductTypeByRank(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,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__TimingRequirementAttribute) &
       s__instance(V__ARGS2,s__RealtimeSystem))
     =>
     (s__exactCardinality(s__complexity__m,V__ARG,V__COUNT)
     &
     s__instance(s__complexity__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__complexity(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__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__UserAccount) &
       s__instance(V__ARGS2,s__Agent))
     =>
     (s__exactCardinality(s__hasAccount__m,V__ARG,V__COUNT)
     &
     s__instance(s__hasAccount__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__hasAccount(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__Formula))
     =>
     (s__exactCardinality(s__describes__m,V__ARG,V__COUNT)
     &
     s__instance(s__describes__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__describes(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__subclass(V__ARGS3,s__ContentBearingPhysical) &
       s__subclass(V__ARGS2,s__ContentBearingPhysical))
     =>
     (s__exactCardinality(s__subsumesContentClass__m,V__ARG,V__COUNT)
     &
     s__instance(s__subsumesContentClass__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__subsumesContentClass(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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__GeometricFigure) &
       s__instance(V__ARGS2,s__TwoDimensionalAngle))
     =>
     (s__exactCardinality(s__angleOfFigure__m,V__ARG,V__COUNT)
     &
     s__instance(s__angleOfFigure__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__angleOfFigure(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__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__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__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__exportPartnerInPeriod__m,V__ARG,V__COUNT)
     &
     s__instance(s__exportPartnerInPeriod__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__exportPartnerInPeriod(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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__DataStorageDevice) &
       s__instance(V__ARGS2,s__ContentBearingObject))
     =>
     (s__exactCardinality(s__stored__m,V__ARG,V__COUNT)
     &
     s__instance(s__stored__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__stored(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,V__ARG,V__ARGS3,V__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__Proposition) &
       s__instance(V__ARGS2,s__Object))
     =>
     (s__exactCardinality(s__conforms__m,V__ARG,V__COUNT)
     &
     s__instance(s__conforms__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__conforms(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__NonnegativeRealNumber) &
       s__instance(V__ARGS2,s__GeopoliticalArea))
     =>
     (s__exactCardinality(s__incomeDistributionByGiniIndex__m,V__ARG,V__COUNT)
     &
     s__instance(s__incomeDistributionByGiniIndex__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__incomeDistributionByGiniIndex(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__ARGS7,V__ARGS6,V__ARGS5,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__PhysicalQuantity) &
       s__instance(V__ARGS2,s__WaterVehicle))
     =>
     (s__exactCardinality(s__vesselGrossRegisteredTonnage__m,V__ARG,V__COUNT)
     &
     s__instance(s__vesselGrossRegisteredTonnage__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__vesselGrossRegisteredTonnage(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,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__LegalAction))
     =>
     (s__exactCardinality(s__defendant__m,V__ARG,V__COUNT)
     &
     s__instance(s__defendant__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__defendant(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__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS2,s__BinaryRelation))
     =>
     (s__exactCardinality(s__totalOrderingOn__m,V__ARG,V__COUNT)
     &
     s__instance(s__totalOrderingOn__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__totalOrderingOn(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__ARGS5,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__LengthMeasure) &
       s__subclass(V__ARGS2,s__Object))
     =>
     (s__exactCardinality(s__defaultMinimumWidth__m,V__ARG,V__COUNT)
     &
     s__instance(s__defaultMinimumWidth__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__defaultMinimumWidth(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,V__ARG,V__ARGS3,V__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__BinaryRelation) &
       s__instance(V__ARGS2,s__BinaryRelation))
     =>
     (s__exactCardinality(s__inverse__m,V__ARG,V__COUNT)
     &
     s__instance(s__inverse__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__inverse(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   (s__CardinalityFn(V__S)
   = V__COUNT)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,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__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__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   (s__CardinalityFn(V__S)
   = V__COUNT)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,V__ARG,V__ARGS3,V__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__Transitway) &
       s__instance(V__ARGS2,s__ConstantQuantity))
     =>
     (s__exactCardinality(s__distanceOnPath__m,V__ARG,V__COUNT)
     &
     s__instance(s__distanceOnPath__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__distanceOnPath(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__CurrencyMeasure) &
       s__instance(V__ARGS2,s__GeopoliticalArea))
     =>
     (s__exactCardinality(s__perCapitaGDP__m,V__ARG,V__COUNT)
     &
     s__instance(s__perCapitaGDP__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__perCapitaGDP(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__ComputerProgram))
     =>
     (s__exactCardinality(s__settlingTime__m,V__ARG,V__COUNT)
     &
     s__instance(s__settlingTime__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__settlingTime(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__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS2,s__Contest))
     =>
     (s__exactCardinality(s__contestObject__m,V__ARG,V__COUNT)
     &
     s__instance(s__contestObject__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__contestObject(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__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__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__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__EL = s__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   (s__CardinalityFn(V__S)
   = V__COUNT)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,V__ARG,V__ARGS3,V__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__subclass(V__ARGS3,s__ContentBearingObject) &
       s__instance(V__ARGS2,s__Agent))
     =>
     (s__exactCardinality(s__authors__m,V__ARG,V__COUNT)
     &
     s__instance(s__authors__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__authors(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__Nation))
     =>
     (s__exactCardinality(s__inflationRateInCountry__m,V__ARG,V__COUNT)
     &
     s__instance(s__inflationRateInCountry__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__inflationRateInCountry(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__ARGS7,V__ARGS6,V__ARGS5,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__Quantity) &
       s__instance(V__ARGS2,s__Quantity))
     =>
     (s__exactCardinality(s__lessThan__m,V__ARG,V__COUNT)
     &
     s__instance(s__lessThan__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__lessThan(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,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__Language))
     =>
     (s__exactCardinality(s__format__m,V__ARG,V__COUNT)
     &
     s__instance(s__format__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__format(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__ARGS6,V__ARGS5,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__GUIElement) &
       s__instance(V__ARGS2,s__UncoveringGraphicalWindow))
     =>
     (s__exactCardinality(s__guiElementUncovered__m,V__ARG,V__COUNT)
     &
     s__instance(s__guiElementUncovered__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__guiElementUncovered(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__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__WebSite) &
       s__instance(V__ARGS2,s__WebListing))
     =>
     (s__exactCardinality(s__hostedOn__m,V__ARG,V__COUNT)
     &
     s__instance(s__hostedOn__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__hostedOn(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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__Organism) &
       s__instance(V__ARGS2,s__Organism))
     =>
     (s__exactCardinality(s__sibling__m,V__ARG,V__COUNT)
     &
     s__instance(s__sibling__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__sibling(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__ARGS5,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__Process) &
       s__instance(V__ARGS2,s__Experimenting))
     =>
     (s__exactCardinality(s__experimentalControlProcess__m,V__ARG,V__COUNT)
     &
     s__instance(s__experimentalControlProcess__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__experimentalControlProcess(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__ARGS6,V__ARGS5,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__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__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__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   ((s__subclass(V__ARGS4,s__TimeDuration) &
       s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__subclass(V__ARGS3,s__TimeDuration) &
       s__instance(V__ARGS2,s__DiseaseOrSyndrome))
     =>
     (s__exactCardinality(s__diseaseIncubation__m,V__ARG,V__COUNT)
     &
     s__instance(s__diseaseIncubation__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__diseaseIncubation(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__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__ContentBearingPhysical) &
       s__instance(V__ARGS2,s__Human))
     =>
     (s__exactCardinality(s__actedIn__m,V__ARG,V__COUNT)
     &
     s__instance(s__actedIn__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__actedIn(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__subclass(V__ARGS4,s__HotelUnit) &
       s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__Integer) &
       s__instance(V__ARGS2,s__HotelPackage))
     =>
     (s__exactCardinality(s__roomStay__m,V__ARG,V__COUNT)
     &
     s__instance(s__roomStay__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__roomStay(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,V__ARG,V__ARGS3,V__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__FinancialInstrument) &
       s__instance(V__ARGS2,s__Agreement))
     =>
     (s__exactCardinality(s__underlier__m,V__ARG,V__COUNT)
     &
     s__instance(s__underlier__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__underlier(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__RealNumber) &
       s__instance(V__ARGS2,s__GeopoliticalArea))
     =>
     (s__exactCardinality(s__lowestDecileShareOfHouseholdIncome__m,V__ARG,V__COUNT)
     &
     s__instance(s__lowestDecileShareOfHouseholdIncome__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__lowestDecileShareOfHouseholdIncome(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__ARGS7,V__ARGS6,V__ARGS5,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__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__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__Proposition) &
       s__instance(V__ARGS2,s__Object))
     =>
     (s__exactCardinality(s__conforms__m,V__ARG,V__COUNT)
     &
     s__instance(s__conforms__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__conforms(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__Bidding))
     =>
     (s__exactCardinality(s__amountOfBid__m,V__ARG,V__COUNT)
     &
     s__instance(s__amountOfBid__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__amountOfBid(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__ContentBearingPhysical))
     =>
     (s__exactCardinality(s__experimentUpdate__m,V__ARG,V__COUNT)
     &
     s__instance(s__experimentUpdate__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__experimentUpdate(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__ARGS6,V__ARGS5,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__PhysicalQuantity) &
       s__instance(V__ARGS2,s__GeopoliticalArea))
     =>
     (s__exactCardinality(s__annualElectricityProduction__m,V__ARG,V__COUNT)
     &
     s__instance(s__annualElectricityProduction__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__annualElectricityProduction(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__ARGS6,V__ARGS5,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__ShipRegister) &
       s__instance(V__ARGS2,s__MerchantMarine))
     =>
     (s__exactCardinality(s__marineInventory__m,V__ARG,V__COUNT)
     &
     s__instance(s__marineInventory__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__marineInventory(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__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   ((s__instance(V__ARGS4,s__Day) &
       s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__CurrencyMeasure) &
       s__instance(V__ARGS2,s__Stock))
     =>
     (s__exactCardinality(s__closingPrice__m,V__ARG,V__COUNT)
     &
     s__instance(s__closingPrice__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__closingPrice(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__subclass(V__ARGS3,s__Holiday) &
       s__instance(V__ARGS2,s__GeopoliticalArea))
     =>
     (s__exactCardinality(s__nationalHoliday__m,V__ARG,V__COUNT)
     &
     s__instance(s__nationalHoliday__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__nationalHoliday(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__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__defaultMaxValue__m,V__ARG,V__COUNT)
     &
     s__instance(s__defaultMaxValue__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__defaultMaxValue(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__ARGS7,V__ARGS6,V__ARGS5,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__Formula) &
       s__instance(V__ARGS2,s__Formula))
     =>
     (s__exactCardinality(s__conditionalProbability__m,V__ARG,V__COUNT)
     &
     s__instance(s__conditionalProbability__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__conditionalProbability(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   (s__CardinalityFn(V__S)
   = V__COUNT)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__conversionEvent__m,V__ARG,V__COUNT)
     &
     s__instance(s__conversionEvent__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__conversionEvent(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__PhysicalQuantity) &
       s__instance(V__ARGS2,s__WaterVehicle))
     =>
     (s__exactCardinality(s__vesselGrossRegisteredTonnage__m,V__ARG,V__COUNT)
     &
     s__instance(s__vesselGrossRegisteredTonnage__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__vesselGrossRegisteredTonnage(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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__Process) &
       s__instance(V__ARGS2,s__Experimenting))
     =>
     (s__exactCardinality(s__experimentalVariableProcess__m,V__ARG,V__COUNT)
     &
     s__instance(s__experimentalVariableProcess__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__experimentalVariableProcess(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,V__ARG,V__ARGS3,V__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__Policy) &
       s__instance(V__ARGS2,s__RoomInventory))
     =>
     (s__exactCardinality(s__allRoomsPolicy__m,V__ARG,V__COUNT)
     &
     s__instance(s__allRoomsPolicy__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__allRoomsPolicy(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__RelationalAttribute) &
       s__instance(V__ARGS2,s__Album))
     =>
     (s__exactCardinality(s__albumType__m,V__ARG,V__COUNT)
     &
     s__instance(s__albumType__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__albumType(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__ARGS6,V__ARGS5,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__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__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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__subclass(V__ARGS2,s__TimeInterval))
     =>
     (s__exactCardinality(s__businessHours__m,V__ARG,V__COUNT)
     &
     s__instance(s__businessHours__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__businessHours(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__patient__m,V__ARG,V__COUNT)
     &
     s__instance(s__patient__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__patient(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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__DevelopmentalAttribute) &
       s__instance(V__ARGS2,s__BiologicalProcess))
     =>
     (s__exactCardinality(s__lifeStageAchieved__m,V__ARG,V__COUNT)
     &
     s__instance(s__lifeStageAchieved__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__lifeStageAchieved(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__Object) &
       s__instance(V__ARGS2,s__Object))
     =>
     (s__exactCardinality(s__axis__m,V__ARG,V__COUNT)
     &
     s__instance(s__axis__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__axis(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,V__ARG,V__ARGS3,V__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__MotionPicture) &
       s__instance(V__ARGS2,s__Human))
     =>
     (s__exactCardinality(s__directed__m,V__ARG,V__COUNT)
     &
     s__instance(s__directed__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__directed(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__CognitiveAgent))
     =>
     (s__exactCardinality(s__hopes__m,V__ARG,V__COUNT)
     &
     s__instance(s__hopes__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__hopes(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__ARGS6,V__ARGS5,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__ComputerProgram) &
       s__instance(V__ARGS2,s__ComputerFile))
     =>
     (s__exactCardinality(s__programCopy__m,V__ARG,V__COUNT)
     &
     s__instance(s__programCopy__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__programCopy(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__CognitiveAgent) &
       s__instance(V__ARGS2,s__FinancialAccount))
     =>
     (s__exactCardinality(s__administrator__m,V__ARG,V__COUNT)
     &
     s__instance(s__administrator__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__administrator(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__ARGS6,V__ARGS5,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__UserName) &
       s__instance(V__ARGS2,s__UserAccount))
     =>
     (s__exactCardinality(s__userName__m,V__ARG,V__COUNT)
     &
     s__instance(s__userName__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__userName(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__ARGS7,V__ARGS6,V__ARGS5,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__PhysicalQuantity) &
       s__instance(V__ARGS2,s__GeopoliticalArea))
     =>
     (s__exactCardinality(s__annualElectricityProduction__m,V__ARG,V__COUNT)
     &
     s__instance(s__annualElectricityProduction__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__annualElectricityProduction(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   (s__CardinalityFn(V__S)
   = V__COUNT)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,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__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__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   (s__CardinalityFn(V__S)
   = V__COUNT)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__CreditAccount))
     =>
     (s__exactCardinality(s__creditLimit__m,V__ARG,V__COUNT)
     &
     s__instance(s__creditLimit__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__creditLimit(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   (s__CardinalityFn(V__S)
   = V__COUNT)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__subclass(V__ARGS3,s__Device) &
       s__instance(V__ARGS2,s__Object))
     =>
     (s__exactCardinality(s__equipmentCount__m,V__ARG,V__COUNT)
     &
     s__instance(s__equipmentCount__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__equipmentCount(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__subclass(V__ARGS3,s__ContentBearingObject) &
       s__instance(V__ARGS2,s__Agent))
     =>
     (s__exactCardinality(s__authors__m,V__ARG,V__COUNT)
     &
     s__instance(s__authors__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__authors(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__Region))
     =>
     (s__exactCardinality(s__visibilityInMeteorology__m,V__ARG,V__COUNT)
     &
     s__instance(s__visibilityInMeteorology__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__visibilityInMeteorology(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__subclass(V__ARGS2,s__HotelFunctionRoom))
     =>
     (s__exactCardinality(s__freeFunctionRoomAmenity__m,V__ARG,V__COUNT)
     &
     s__instance(s__freeFunctionRoomAmenity__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__freeFunctionRoomAmenity(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__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS2,s__Nation))
     =>
     (s__exactCardinality(s__inflationRateInCountry__m,V__ARG,V__COUNT)
     &
     s__instance(s__inflationRateInCountry__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__inflationRateInCountry(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__ARGS5,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__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__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__RealNumber) &
       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__conditionalProbability__m,V__ARG,V__COUNT)
     &
     s__instance(s__conditionalProbability__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__conditionalProbability(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__FinancialTransaction))
     =>
     (s__exactCardinality(s__confirmationNumber__m,V__ARG,V__COUNT)
     &
     s__instance(s__confirmationNumber__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__confirmationNumber(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__Human))
     =>
     (s__exactCardinality(s__patientMedical__m,V__ARG,V__COUNT)
     &
     s__instance(s__patientMedical__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__patientMedical(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__ARGS5,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__DeviceStateAttribute) &
       s__instance(V__ARGS2,s__Object))
     =>
     (s__exactCardinality(s__deviceState__m,V__ARG,V__COUNT)
     &
     s__instance(s__deviceState__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__deviceState(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__Language) &
       s__instance(V__ARGS2,s__ContentBearingPhysical))
     =>
     (s__exactCardinality(s__language__m,V__ARG,V__COUNT)
     &
     s__instance(s__language__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__language(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__ARGS7,V__ARGS6,V__ARGS5,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__Human) &
       s__instance(V__ARGS2,s__Experimenting))
     =>
     (s__exactCardinality(s__experimentalSubject__m,V__ARG,V__COUNT)
     &
     s__instance(s__experimentalSubject__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__experimentalSubject(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   (s__CardinalityFn(V__S)
   = V__COUNT)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   (s__CardinalityFn(V__S)
   = V__COUNT)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,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__TimeInterval) &
       s__instance(V__ARGS2,s__MusicChart))
     =>
     (s__exactCardinality(s__musicChartPeriod__m,V__ARG,V__COUNT)
     &
     s__instance(s__musicChartPeriod__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__musicChartPeriod(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,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__Day) &
       s__instance(V__ARGS2,s__Bond))
     =>
     (s__exactCardinality(s__callDate__m,V__ARG,V__COUNT)
     &
     s__instance(s__callDate__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__callDate(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__Computer))
     =>
     (s__exactCardinality(s__numberOfCPUs__m,V__ARG,V__COUNT)
     &
     s__instance(s__numberOfCPUs__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__numberOfCPUs(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__Process) &
       s__instance(V__ARGS2,s__Experimenting))
     =>
     (s__exactCardinality(s__experimentalControlProcess__m,V__ARG,V__COUNT)
     &
     s__instance(s__experimentalControlProcess__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__experimentalControlProcess(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__ARGS6,V__ARGS5,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__subclass(V__ARGS3,s__Artifact) &
       s__instance(V__ARGS2,s__CorpuscularObject))
     =>
     (s__exactCardinality(s__powerComponent__m,V__ARG,V__COUNT)
     &
     s__instance(s__powerComponent__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__powerComponent(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__ARGS5,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__TimeInterval) &
       s__instance(V__ARGS2,s__TimeInterval))
     =>
     (s__exactCardinality(s__meetsTemporally__m,V__ARG,V__COUNT)
     &
     s__instance(s__meetsTemporally__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__meetsTemporally(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__GeopoliticalArea))
     =>
     (s__exactCardinality(s__administrativeCenter__m,V__ARG,V__COUNT)
     &
     s__instance(s__administrativeCenter__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__administrativeCenter(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__PassengerVehicle))
     =>
     (s__exactCardinality(s__personTransportCapability__m,V__ARG,V__COUNT)
     &
     s__instance(s__personTransportCapability__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__personTransportCapability(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,V__ARG,V__ARGS3,V__ARGS2] :
   ((s__instance(V__ARGS4,s__FunctionQuantity) &
       s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__subclass(V__ARGS3,s__SelfConnectedObject) &
       s__instance(V__ARGS2,s__Transitway))
     =>
     (s__exactCardinality(s__transitwayCapacityRate__m,V__ARG,V__COUNT)
     &
     s__instance(s__transitwayCapacityRate__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__transitwayCapacityRate(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__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__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__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS2,s__PhysicalDimension))
     =>
     (s__exactCardinality(s__physicalDomain__m,V__ARG,V__COUNT)
     &
     s__instance(s__physicalDomain__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__physicalDomain(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__Contest) &
       s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__CognitiveAgent))
     =>
     (s__exactCardinality(s__contestEntry__m,V__ARG,V__COUNT)
     &
     s__instance(s__contestEntry__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__contestEntry(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__Process))
     =>
     (s__exactCardinality(s__eventLocated__m,V__ARG,V__COUNT)
     &
     s__instance(s__eventLocated__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__eventLocated(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__ARGS4,s__Day) &
       s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__Human) &
       s__instance(V__ARGS2,s__Human))
     =>
     (s__exactCardinality(s__weddingdate__m,V__ARG,V__COUNT)
     &
     s__instance(s__weddingdate__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__weddingdate(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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__MotionPicture) &
       s__instance(V__ARGS2,s__Human))
     =>
     (s__exactCardinality(s__directed__m,V__ARG,V__COUNT)
     &
     s__instance(s__directed__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__directed(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__ARGS7,V__ARGS6,V__ARGS5,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__subclass(V__ARGS3,s__TimeInterval) &
       s__instance(V__ARGS2,s__GeographicArea))
     =>
     (s__exactCardinality(s__coldSeasonInArea__m,V__ARG,V__COUNT)
     &
     s__instance(s__coldSeasonInArea__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__coldSeasonInArea(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,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__PositiveInteger) &
       s__instance(V__ARGS2,s__ComputerPath))
     =>
     (s__exactCardinality(s__slidingWindowSize__m,V__ARG,V__COUNT)
     &
     s__instance(s__slidingWindowSize__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__slidingWindowSize(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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__Agreement) &
       s__instance(V__ARGS2,s__ContentBearingPhysical))
     =>
     (s__exactCardinality(s__recordForAgreement__m,V__ARG,V__COUNT)
     &
     s__instance(s__recordForAgreement__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__recordForAgreement(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__ARGS7,V__ARGS6,V__ARGS5,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__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__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,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__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__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__ARGS6,V__ARGS5,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__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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__sibling__m,V__ARG,V__COUNT)
     &
     s__instance(s__sibling__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__sibling(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__TimeInterval) &
       s__instance(V__ARGS2,s__MusicChart))
     =>
     (s__exactCardinality(s__musicChartPeriod__m,V__ARG,V__COUNT)
     &
     s__instance(s__musicChartPeriod__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__musicChartPeriod(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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__Day) &
       s__instance(V__ARGS2,s__Human))
     =>
     (s__exactCardinality(s__birthdate__m,V__ARG,V__COUNT)
     &
     s__instance(s__birthdate__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__birthdate(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__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__subclass(V__ARGS2,s__Substance))
     =>
     (s__exactCardinality(s__ingredient__m,V__ARG,V__COUNT)
     &
     s__instance(s__ingredient__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__ingredient(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__ARGS5,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__RealNumber) &
       s__instance(V__ARGS2,s__RealNumber))
     =>
     (s__exactCardinality(s__approximateValue__m,V__ARG,V__COUNT)
     &
     s__instance(s__approximateValue__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__approximateValue(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__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__Experimenting) &
       s__instance(V__ARGS2,s__ContentBearingPhysical))
     =>
     (s__exactCardinality(s__experimentUpdate__m,V__ARG,V__COUNT)
     &
     s__instance(s__experimentUpdate__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__experimentUpdate(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__ARGS7,V__ARGS6,V__ARGS5,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__Agent) &
       s__instance(V__ARGS2,s__SymbolicString))
     =>
     (s__exactCardinality(s__emailAddress__m,V__ARG,V__COUNT)
     &
     s__instance(s__emailAddress__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__emailAddress(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__TransitSystem) &
       s__instance(V__ARGS2,s__Region))
     =>
     (s__exactCardinality(s__routeEnd__m,V__ARG,V__COUNT)
     &
     s__instance(s__routeEnd__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__routeEnd(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__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS2,s__Transitway))
     =>
     (s__exactCardinality(s__transitwayCapacityRate__m,V__ARG,V__COUNT)
     &
     s__instance(s__transitwayCapacityRate__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__transitwayCapacityRate(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__NonnegativeRealNumber) &
       s__instance(V__ARGS2,s__GeopoliticalArea))
     =>
     (s__exactCardinality(s__incomeDistributionByGiniIndex__m,V__ARG,V__COUNT)
     &
     s__instance(s__incomeDistributionByGiniIndex__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__incomeDistributionByGiniIndex(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__ARGS7,V__ARGS6,V__ARGS5,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__Policy) &
       s__instance(V__ARGS2,s__RoomInventory))
     =>
     (s__exactCardinality(s__allRoomsPolicy__m,V__ARG,V__COUNT)
     &
     s__instance(s__allRoomsPolicy__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__allRoomsPolicy(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   (s__CardinalityFn(V__S)
   = V__COUNT)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,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__Organism) &
       s__instance(V__ARGS2,s__Organism))
     =>
     (s__exactCardinality(s__sibling__m,V__ARG,V__COUNT)
     &
     s__instance(s__sibling__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__sibling(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   (s__CardinalityFn(V__S)
   = V__COUNT)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,V__ARG,V__ARGS3,V__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__NormativeAttribute) &
       s__instance(V__ARGS2,s__Formula))
     =>
     (s__exactCardinality(s__modalAttribute__m,V__ARG,V__COUNT)
     &
     s__instance(s__modalAttribute__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__modalAttribute(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__subclass(V__ARGS3,s__TimePosition) &
       s__instance(V__ARGS2,s__Proposition))
     =>
     (s__exactCardinality(s__dateOpenedForSignature__m,V__ARG,V__COUNT)
     &
     s__instance(s__dateOpenedForSignature__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__dateOpenedForSignature(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__ARGS7,V__ARGS6,V__ARGS5,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__Language) &
       s__instance(V__ARGS2,s__ContentBearingPhysical))
     =>
     (s__exactCardinality(s__language__m,V__ARG,V__COUNT)
     &
     s__instance(s__language__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__language(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,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__Language))
     =>
     (s__exactCardinality(s__format__m,V__ARG,V__COUNT)
     &
     s__instance(s__format__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__format(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__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       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__EL = s__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
        ,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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__CurrencyMeasure) &
       s__instance(V__ARGS2,s__GeopoliticalArea))
     =>
     (s__exactCardinality(s__perCapitaGDP__m,V__ARG,V__COUNT)
     &
     s__instance(s__perCapitaGDP__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__perCapitaGDP(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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS2,s__CriminalAction))
     =>
     (s__exactCardinality(s__victim__m,V__ARG,V__COUNT)
     &
     s__instance(s__victim__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__victim(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__ARGS4,s__RealNumber) &
       s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__ComputerComponent) &
       s__instance(V__ARGS2,s__MeasuringPerformance))
     =>
     (s__exactCardinality(s__performanceResult__m,V__ARG,V__COUNT)
     &
     s__instance(s__performanceResult__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__performanceResult(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__CurrencyMeasure) &
       s__instance(V__ARGS2,s__GeopoliticalArea))
     =>
     (s__exactCardinality(s__annualExpendituresOfArea__m,V__ARG,V__COUNT)
     &
     s__instance(s__annualExpendituresOfArea__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__annualExpendituresOfArea(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__ARGS6,V__ARGS5,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__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__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__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS2,s__GeopoliticalArea))
     =>
     (s__exactCardinality(s__annualExpendituresOfAreaInPeriod__m,V__ARG,V__COUNT)
     &
     s__instance(s__annualExpendituresOfAreaInPeriod__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__annualExpendituresOfAreaInPeriod(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__ARGS7,V__ARGS6,V__ARGS5,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__exportPartnerInPeriod__m,V__ARG,V__COUNT)
     &
     s__instance(s__exportPartnerInPeriod__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__exportPartnerInPeriod(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__Human) &
       s__instance(V__ARGS2,s__SymbolicString))
     =>
     (s__exactCardinality(s__middleName__m,V__ARG,V__COUNT)
     &
     s__instance(s__middleName__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__middleName(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,V__ARG,V__ARGS3,V__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__SearchQuery) &
       s__instance(V__ARGS2,s__SearchQuery))
     =>
     (s__exactCardinality(s__searchQueryRewrite__m,V__ARG,V__COUNT)
     &
     s__instance(s__searchQueryRewrite__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__searchQueryRewrite(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__ColorAttribute) &
       s__instance(V__ARGS2,s__Object))
     =>
     (s__exactCardinality(s__color__m,V__ARG,V__COUNT)
     &
     s__instance(s__color__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__color(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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__DevelopmentalAttribute) &
       s__instance(V__ARGS2,s__BiologicalProcess))
     =>
     (s__exactCardinality(s__lifeStageAchieved__m,V__ARG,V__COUNT)
     &
     s__instance(s__lifeStageAchieved__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__lifeStageAchieved(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__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__EL = s__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
        ,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__Transfer) &
       s__instance(V__ARGS4,s__Object) &
       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__beforeOnPath__m,V__ARG,V__COUNT)
     &
     s__instance(s__beforeOnPath__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__beforeOnPath(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__Investment))
     =>
     (s__exactCardinality(s__yield__m,V__ARG,V__COUNT)
     &
     s__instance(s__yield__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__yield(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   (s__CardinalityFn(V__S)
   = V__COUNT)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__freeFunctionRoomAmenity__m,V__ARG,V__COUNT)
     &
     s__instance(s__freeFunctionRoomAmenity__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__freeFunctionRoomAmenity(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   (s__CardinalityFn(V__S)
   = V__COUNT)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,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__ConstantQuantity) &
       s__instance(V__ARGS2,s__Computer))
     =>
     (s__exactCardinality(s__hostJitter__m,V__ARG,V__COUNT)
     &
     s__instance(s__hostJitter__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__hostJitter(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,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__deliveryRegion__m,V__ARG,V__COUNT)
     &
     s__instance(s__deliveryRegion__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__deliveryRegion(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__Process) &
       s__instance(V__ARGS2,s__Experimenting))
     =>
     (s__exactCardinality(s__experimentalVariableProcess__m,V__ARG,V__COUNT)
     &
     s__instance(s__experimentalVariableProcess__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__experimentalVariableProcess(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__ComputerComponent) &
       s__instance(V__ARGS2,s__MeasuringPerformance))
     =>
     (s__exactCardinality(s__performanceResult__m,V__ARG,V__COUNT)
     &
     s__instance(s__performanceResult__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__performanceResult(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,V__ARG,V__ARGS3,V__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__Quantity) &
       s__instance(V__ARGS2,s__Quantity))
     =>
     (s__exactCardinality(s__lessThan__m,V__ARG,V__COUNT)
     &
     s__instance(s__lessThan__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__lessThan(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__ARGS4,s__Collection) &
       s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__WebSite) &
       s__instance(V__ARGS2,s__TimeInterval))
     =>
     (s__exactCardinality(s__newRegisteredUsers__m,V__ARG,V__COUNT)
     &
     s__instance(s__newRegisteredUsers__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__newRegisteredUsers(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__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS2,s__Agent))
     =>
     (s__exactCardinality(s__deliveryRegion__m,V__ARG,V__COUNT)
     &
     s__instance(s__deliveryRegion__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__deliveryRegion(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__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS2,s__GeopoliticalArea))
     =>
     (s__exactCardinality(s__incomeDistributionByGiniIndex__m,V__ARG,V__COUNT)
     &
     s__instance(s__incomeDistributionByGiniIndex__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__incomeDistributionByGiniIndex(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__ARGS6,V__ARGS5,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__GeometricFigure) &
       s__instance(V__ARGS2,s__TwoDimensionalAngle))
     =>
     (s__exactCardinality(s__angleOfFigure__m,V__ARG,V__COUNT)
     &
     s__instance(s__angleOfFigure__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__angleOfFigure(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__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__EL = s__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
        ,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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__Computer) &
       s__instance(V__ARGS2,s__ComputerHardware))
     =>
     (s__exactCardinality(s__connectedPeripheral__m,V__ARG,V__COUNT)
     &
     s__instance(s__connectedPeripheral__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__connectedPeripheral(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__ARGS5,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__GeometricFigure) &
       s__instance(V__ARGS2,s__GeometricPoint))
     =>
     (s__exactCardinality(s__pointOfFigure__m,V__ARG,V__COUNT)
     &
     s__instance(s__pointOfFigure__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__pointOfFigure(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__ARGS7,V__ARGS6,V__ARGS5,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__ARGS2,s__SymbolicString))
     =>
     (s__exactCardinality(s__synonymousExternalConcept__m,V__ARG,V__COUNT)
     &
     s__instance(s__synonymousExternalConcept__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__synonymousExternalConcept(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__Organization) &
       s__instance(V__ARGS2,s__Share))
     =>
     (s__exactCardinality(s__shareOf__m,V__ARG,V__COUNT)
     &
     s__instance(s__shareOf__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__shareOf(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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__subclass(V__ARGS3,s__IntentionalProcess) &
       s__instance(V__ARGS2,s__Human))
     =>
     (s__exactCardinality(s__hasOccupation__m,V__ARG,V__COUNT)
     &
     s__instance(s__hasOccupation__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__hasOccupation(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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__Object) &
       s__instance(V__ARGS2,s__Object))
     =>
     (s__exactCardinality(s__connectedDownstream__m,V__ARG,V__COUNT)
     &
     s__instance(s__connectedDownstream__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__connectedDownstream(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__subclass(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__annualExpendituresOfAreaInPeriod__m,V__ARG,V__COUNT)
     &
     s__instance(s__annualExpendituresOfAreaInPeriod__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__annualExpendituresOfAreaInPeriod(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__ARGS4,s__RealNumber) &
       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__conditionalProbability__m,V__ARG,V__COUNT)
     &
     s__instance(s__conditionalProbability__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__conditionalProbability(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__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS2,s__CognitiveAgent))
     =>
     (s__exactCardinality(s__partyToAgreement__m,V__ARG,V__COUNT)
     &
     s__instance(s__partyToAgreement__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__partyToAgreement(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__RealNumber) &
       s__instance(V__ARGS2,s__GeopoliticalArea))
     =>
     (s__exactCardinality(s__lowestDecileShareOfHouseholdIncome__m,V__ARG,V__COUNT)
     &
     s__instance(s__lowestDecileShareOfHouseholdIncome__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__lowestDecileShareOfHouseholdIncome(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__ARGS7,V__ARGS6,V__ARGS5,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__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__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,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__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__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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__Human))
     =>
     (s__exactCardinality(s__underageUser__m,V__ARG,V__COUNT)
     &
     s__instance(s__underageUser__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__underageUser(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__Quantity) &
       s__instance(V__ARGS2,s__Quantity))
     =>
     (s__exactCardinality(s__lessThan__m,V__ARG,V__COUNT)
     &
     s__instance(s__lessThan__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__lessThan(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__ARGS7,V__ARGS6,V__ARGS5,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__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__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS2,s__SymbolicString))
     =>
     (s__exactCardinality(s__fullNameIndexOrder__m,V__ARG,V__COUNT)
     &
     s__instance(s__fullNameIndexOrder__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__fullNameIndexOrder(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__ARGS5,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__Object) &
       s__instance(V__ARGS2,s__Object))
     =>
     (s__exactCardinality(s__traverses__m,V__ARG,V__COUNT)
     &
     s__instance(s__traverses__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__traverses(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__Weapon) &
       s__instance(V__ARGS2,s__MilitaryVehicle))
     =>
     (s__exactCardinality(s__weaponCarryingCapability__m,V__ARG,V__COUNT)
     &
     s__instance(s__weaponCarryingCapability__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__weaponCarryingCapability(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__ARGS7,V__ARGS6,V__ARGS5,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__subclass(V__ARGS3,s__Object) &
       s__subclass(V__ARGS2,s__Object))
     =>
     (s__exactCardinality(s__typicalPart__m,V__ARG,V__COUNT)
     &
     s__instance(s__typicalPart__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__typicalPart(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   (s__CardinalityFn(V__S)
   = V__COUNT)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,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__Object) &
       s__instance(V__ARGS2,s__Object))
     =>
     (s__exactCardinality(s__axis__m,V__ARG,V__COUNT)
     &
     s__instance(s__axis__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__axis(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   (s__CardinalityFn(V__S)
   = V__COUNT)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__defaultMinValue__m,V__ARG,V__COUNT)
     &
     s__instance(s__defaultMinValue__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__defaultMinValue(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__Physical) &
       s__instance(V__ARGS2,s__LegalAction))
     =>
     (s__exactCardinality(s__evidence__m,V__ARG,V__COUNT)
     &
     s__instance(s__evidence__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__evidence(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,V__ARG,V__ARGS3,V__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__RelationalAttribute) &
       s__instance(V__ARGS2,s__RoomInventory))
     =>
     (s__exactCardinality(s__someRoomsAttribute__m,V__ARG,V__COUNT)
     &
     s__instance(s__someRoomsAttribute__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__someRoomsAttribute(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__RelationalAttribute) &
       s__instance(V__ARGS2,s__Album))
     =>
     (s__exactCardinality(s__albumType__m,V__ARG,V__COUNT)
     &
     s__instance(s__albumType__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__albumType(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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__GeometricFigure) &
       s__instance(V__ARGS2,s__TwoDimensionalAngle))
     =>
     (s__exactCardinality(s__angleOfFigure__m,V__ARG,V__COUNT)
     &
     s__instance(s__angleOfFigure__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__angleOfFigure(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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__Physical) &
       s__instance(V__ARGS2,s__Abstract))
     =>
     (s__exactCardinality(s__abstractCounterpart__m,V__ARG,V__COUNT)
     &
     s__instance(s__abstractCounterpart__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__abstractCounterpart(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__Organism))
     =>
     (s__exactCardinality(s__mothersBrothersWife__m,V__ARG,V__COUNT)
     &
     s__instance(s__mothersBrothersWife__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__mothersBrothersWife(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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__ComputerProgram) &
       s__instance(V__ARGS2,s__ComputerFile))
     =>
     (s__exactCardinality(s__programCopy__m,V__ARG,V__COUNT)
     &
     s__instance(s__programCopy__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__programCopy(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__ARGS7,V__ARGS6,V__ARGS5,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__DeviceStateAttribute) &
       s__instance(V__ARGS2,s__Object))
     =>
     (s__exactCardinality(s__deviceState__m,V__ARG,V__COUNT)
     &
     s__instance(s__deviceState__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__deviceState(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__GeopoliticalArea) &
       s__instance(V__ARGS2,s__GeopoliticalArea))
     =>
     (s__exactCardinality(s__internationalDispute__m,V__ARG,V__COUNT)
     &
     s__instance(s__internationalDispute__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__internationalDispute(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__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS2,s__Object))
     =>
     (s__exactCardinality(s__traverses__m,V__ARG,V__COUNT)
     &
     s__instance(s__traverses__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__traverses(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__LegalAction))
     =>
     (s__exactCardinality(s__evidence__m,V__ARG,V__COUNT)
     &
     s__instance(s__evidence__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__evidence(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__CurrencyMeasure) &
       s__instance(V__ARGS2,s__GeopoliticalArea))
     =>
     (s__exactCardinality(s__capitalExpendituresOfArea__m,V__ARG,V__COUNT)
     &
     s__instance(s__capitalExpendituresOfArea__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__capitalExpendituresOfArea(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__ARGS5,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__PhysicalQuantity) &
       s__instance(V__ARGS2,s__GeopoliticalArea))
     =>
     (s__exactCardinality(s__annualElectricityProduction__m,V__ARG,V__COUNT)
     &
     s__instance(s__annualElectricityProduction__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__annualElectricityProduction(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__ARGS6,V__ARGS5,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__subclass(V__ARGS3,s__SetOrClass) &
       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__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__ARGS4,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__ServiceProcess) &
       s__instance(V__ARGS2,s__RoomInventory))
     =>
     (s__exactCardinality(s__allRoomsServiceAmenity__m,V__ARG,V__COUNT)
     &
     s__instance(s__allRoomsServiceAmenity__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__allRoomsServiceAmenity(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   ((s__instance(V__ARGS4,s__Organization) &
       s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__Position) &
       s__instance(V__ARGS2,s__Human))
     =>
     (s__exactCardinality(s__occupiesPosition__m,V__ARG,V__COUNT)
     &
     s__instance(s__occupiesPosition__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__occupiesPosition(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,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__subclass(V__ARGS3,s__Process) &
       s__subclass(V__ARGS2,s__Process))
     =>
     (s__exactCardinality(s__hindersSubclass__m,V__ARG,V__COUNT)
     &
     s__instance(s__hindersSubclass__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__hindersSubclass(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__ARGS7,V__ARGS6,V__ARGS5,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__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__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,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__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__EL = s__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   (s__CardinalityFn(V__S)
   = V__COUNT)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,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__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__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   (s__CardinalityFn(V__S)
   = V__COUNT)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__capitalExpendituresOfArea__m,V__ARG,V__COUNT)
     &
     s__instance(s__capitalExpendituresOfArea__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__capitalExpendituresOfArea(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__Experimenting) &
       s__instance(V__ARGS2,s__WebPage))
     =>
     (s__exactCardinality(s__treatedPage__m,V__ARG,V__COUNT)
     &
     s__instance(s__treatedPage__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__treatedPage(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__eventLocated__m,V__ARG,V__COUNT)
     &
     s__instance(s__eventLocated__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__eventLocated(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__FunctionQuantity) &
       s__instance(V__ARGS2,s__InternalCombustionEngine))
     =>
     (s__exactCardinality(s__engineIdleSpeed__m,V__ARG,V__COUNT)
     &
     s__instance(s__engineIdleSpeed__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__engineIdleSpeed(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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__Man) &
       s__instance(V__ARGS2,s__Human))
     =>
     (s__exactCardinality(s__grandfather__m,V__ARG,V__COUNT)
     &
     s__instance(s__grandfather__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__grandfather(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__UserName) &
       s__instance(V__ARGS2,s__UserAccount))
     =>
     (s__exactCardinality(s__userName__m,V__ARG,V__COUNT)
     &
     s__instance(s__userName__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__userName(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__ARGS6,V__ARGS5,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__Relation) &
       s__instance(V__ARGS2,s__Relation))
     =>
     (s__exactCardinality(s__disjointRelation__m,V__ARG,V__COUNT)
     &
     s__instance(s__disjointRelation__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__disjointRelation(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__Agent) &
       s__instance(V__ARGS2,s__Organization))
     =>
     (s__exactCardinality(s__executiveBranch__m,V__ARG,V__COUNT)
     &
     s__instance(s__executiveBranch__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__executiveBranch(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__ARGS6,V__ARGS5,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__TemperatureMeasure) &
       s__instance(V__ARGS2,s__Device))
     =>
     (s__exactCardinality(s__maxDeviceOperatingTemp__m,V__ARG,V__COUNT)
     &
     s__instance(s__maxDeviceOperatingTemp__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__maxDeviceOperatingTemp(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__ARGS5,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__ContentBearingPhysical) &
       s__instance(V__ARGS2,s__Human))
     =>
     (s__exactCardinality(s__actedIn__m,V__ARG,V__COUNT)
     &
     s__instance(s__actedIn__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__actedIn(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,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__mother__m,V__ARG,V__COUNT)
     &
     s__instance(s__mother__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__mother(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__Agent))
     =>
     (s__exactCardinality(s__exportPartner__m,V__ARG,V__COUNT)
     &
     s__instance(s__exportPartner__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__exportPartner(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__SymbolicString) &
       s__instance(V__ARGS2,s__Stock))
     =>
     (s__exactCardinality(s__stockSymbol__m,V__ARG,V__COUNT)
     &
     s__instance(s__stockSymbol__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__stockSymbol(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__Holiday) &
       s__instance(V__ARGS2,s__GeopoliticalArea))
     =>
     (s__exactCardinality(s__nationalHoliday__m,V__ARG,V__COUNT)
     &
     s__instance(s__nationalHoliday__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__nationalHoliday(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARGS8,V__ARG,V__ARGS3,V__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__subclass(V__ARGS3,s__MealPlan) &
       s__instance(V__ARGS2,s__HotelPackage))
     =>
     (s__exactCardinality(s__mealPlanInclusion__m,V__ARG,V__COUNT)
     &
     s__instance(s__mealPlanInclusion__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__mealPlanInclusion(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__EL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,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__Human))
     =>
     (s__exactCardinality(s__patientMedical__m,V__ARG,V__COUNT)
     &
     s__instance(s__patientMedical__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__patientMedical(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__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__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__ARGS7,V__ARGS6,V__ARGS5,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__SetOrClass) &
       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__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__subclass(V__ARGS3,s__MilitaryUnit) &
       s__subclass(V__ARGS2,s__MilitaryUnit))
     =>
     (s__exactCardinality(s__subEchelon__m,V__ARG,V__COUNT)
     &
     s__instance(s__subEchelon__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__subEchelon(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__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS2,s__MusicChart))
     =>
     (s__exactCardinality(s__musicChartPeriod__m,V__ARG,V__COUNT)
     &
     s__instance(s__musicChartPeriod__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__musicChartPeriod(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__CurrencyMeasure) &
       s__instance(V__ARGS2,s__GeopoliticalArea))
     =>
     (s__exactCardinality(s__economicAidDonated__m,V__ARG,V__COUNT)
     &
     s__instance(s__economicAidDonated__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__economicAidDonated(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__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__EL = s__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   (s__CardinalityFn(V__S)
   = V__COUNT)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,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__subclass(V__ARGS3,s__Artifact) &
       s__instance(V__ARGS2,s__CorpuscularObject))
     =>
     (s__exactCardinality(s__powerComponent__m,V__ARG,V__COUNT)
     &
     s__instance(s__powerComponent__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__powerComponent(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   (s__CardinalityFn(V__S)
   = V__COUNT)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,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__subclass(V__ARGS3,s__Device) &
       s__instance(V__ARGS2,s__Object))
     =>
     (s__exactCardinality(s__equipmentCount__m,V__ARG,V__COUNT)
     &
     s__instance(s__equipmentCount__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__equipmentCount(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,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__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__availableCash__m,V__ARG,V__COUNT)
     &
     s__instance(s__availableCash__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__availableCash(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__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS2,s__Proposition))
     =>
     (s__exactCardinality(s__agreementEffectiveDuring__m,V__ARG,V__COUNT)
     &
     s__instance(s__agreementEffectiveDuring__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__agreementEffectiveDuring(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__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS2,s__Device))
     =>
     (s__exactCardinality(s__maxDeviceOperatingTemp__m,V__ARG,V__COUNT)
     &
     s__instance(s__maxDeviceOperatingTemp__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__maxDeviceOperatingTemp(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__ARGS2] :
   ((s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS2,s__CreditAccount))
     =>
     (s__exactCardinality(s__creditLimit__m,V__ARG,V__COUNT)
     &
     s__instance(s__creditLimit__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__creditLimit(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__Object) &
       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__beforeOnPath__m,V__ARG,V__COUNT)
     &
     s__instance(s__beforeOnPath__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__beforeOnPath(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__instance(V__ARGS2,s__InternalCombustionEngine))
     =>
     (s__exactCardinality(s__engineIdleSpeed__m,V__ARG,V__COUNT)
     &
     s__instance(s__engineIdleSpeed__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__engineIdleSpeed(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__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__FinancialInstrument) &
       s__instance(V__ARGS2,s__Agreement))
     =>
     (s__exactCardinality(s__underlier__m,V__ARG,V__COUNT)
     &
     s__instance(s__underlier__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__underlier(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__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   ((s__instance(V__ARGS4,s__Contest) &
       s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__CognitiveAgent))
     =>
     (s__exactCardinality(s__contestEntry__m,V__ARG,V__COUNT)
     &
     s__instance(s__contestEntry__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__contestEntry(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__Agreement) &
       s__instance(V__ARGS2,s__ContentBearingPhysical))
     =>
     (s__exactCardinality(s__recordForAgreement__m,V__ARG,V__COUNT)
     &
     s__instance(s__recordForAgreement__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__recordForAgreement(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__ARGS7,V__ARGS6,V__ARGS5,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__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__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,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__ARGS4,s__Abstract) &
       s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__Agent) &
       s__instance(V__ARGS2,s__Game))
     =>
     (s__exactCardinality(s__achievement__m,V__ARG,V__COUNT)
     &
     s__instance(s__achievement__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__achievement(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__Day) &
       s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__instance(V__ARGS3,s__Human) &
       s__instance(V__ARGS2,s__Human))
     =>
     (s__exactCardinality(s__weddingdate__m,V__ARG,V__COUNT)
     &
     s__instance(s__weddingdate__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__weddingdate(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__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   ((s__instance(V__ARGS4,s__FunctionQuantity) &
       s__instance(V__COUNT,s__Integer) &
       s__instance(V__ARG,s__PositiveInteger) &
       s__subclass(V__ARGS3,s__SelfConnectedObject) &
       s__instance(V__ARGS2,s__Transitway))
     =>
     (s__exactCardinality(s__transitwayCapacityRate__m,V__ARG,V__COUNT)
     &
     s__instance(s__transitwayCapacityRate__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__transitwayCapacityRate(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__EL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,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__ARGS2,s__Process))
     =>
     (s__exactCardinality(s__eventLocated__m,V__ARG,V__COUNT)
     &
     s__instance(s__eventLocated__m,s__Predicate))
   =>
   ( ? [V__S] :
     ((s__instance(V__S,s__SetOrClass) &
         (s__eventLocated(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,

KB Term:			Term intersection

English Word: