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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SetOrClass

Sigma KEE - SetOrClass
SetOrClass(set or class)subgroup, subpopulation

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


s__documentation(s__SetOrClass,s__ChineseLanguage,'"这是 SetClassSetOrClass,也就是说 任何 Abstractelementinstance的实例。"')

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 2044-2046
s__partition__3(s__SetOrClass,s__Set,s__Class)

Merge.kif 2042-2042 Set or class is exhaustively partitioned into set and class
s__subclass(s__SetOrClass,s__Abstract)

s__instance(s__Abstract,s__SetOrClass)

Merge.kif 2041-2041 Set or class is a subclass of abstract

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


s__range(s__ComplementFn__m,s__SetOrClass)

Merge.kif 5196-5196 The range of complement is an instance of set or class
s__range(s__GeneralizedIntersectionFn__m,s__SetOrClass)

Merge.kif 5217-5217 The range of generalized intersection is an instance of set or class
s__range(s__GeneralizedUnionFn__m,s__SetOrClass)

Merge.kif 5206-5206 The range of generalized union is an instance of set or class
s__range(s__IntersectionFn__m,s__SetOrClass)

Merge.kif 5175-5175 The range of intersection is an instance of set or class
s__range(s__RelativeComplementFn__m,s__SetOrClass)

Merge.kif 5186-5186 The range of relative complement is an instance of set or class
s__range(s__UnionFn__m,s__SetOrClass)

Merge.kif 5149-5149 The range of union is an instance of set or class
s__rangeSubclass(s__PowerSetFn__m,s__SetOrClass)

Merge.kif 764-764 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 2061-2061 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 1686-1686 The number 1 argument of attr is an instance of set or class
s__domain(s__ComplementFn__m,n__1,s__SetOrClass)

Merge.kif 5195-5195 The number 1 argument of complement is an instance of set or class
s__domain(s__IntersectionFn__m,n__1,s__SetOrClass)

Merge.kif 5173-5173 The number 1 argument of intersection is an instance of set or class
s__domain(s__IntersectionFn__m,n__2,s__SetOrClass)

Merge.kif 5174-5174 The number 2 argument of intersection is an instance of set or class
s__domain(s__PowerSetFn__m,n__1,s__SetOrClass)

Merge.kif 763-763 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 5184-5184 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 5185-5185 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 5147-5147 The number 1 argument of union is an instance of set or class
s__domain(s__UnionFn__m,n__2,s__SetOrClass)

Merge.kif 5148-5148 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 3456-3456 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 395-395 The number 1 argument of disjoint is an instance of set or class
s__domain(s__disjoint__m,n__2,s__SetOrClass)

Merge.kif 396-396 The number 2 argument of disjoint is an instance of set or class
s__domain(s__domain__m,n__3,s__SetOrClass)

Merge.kif 209-209 The number 3 argument of domain is an instance of set or class
s__domain(s__domainSubclass__m,n__3,s__SetOrClass)

Merge.kif 231-231 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 3579-3579 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 152-152 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 153-153 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 3503-3503 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__7(s__Abstract,s__Quantity,s__Attribute,s__SetOrClass,s__Relation,s__Proposition,s__List)

Merge.kif 1579-1579 Abstract is disjointly decomposed into quantity, attribute, set or class, relation, proposition, and list

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

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


( ! [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__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__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__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__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__TimeInterval) &
         s__instance(V__ARGS2,s__TimeInterval))
       =>
       (((s__exactCardinality(s__earlier__m,V__ARG,V__COUNT)
           &
           s__instance(s__earlier__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__earlier(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__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__rainySeasonInArea__m,V__ARG,V__COUNT)
           &
           s__instance(s__rainySeasonInArea__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__rainySeasonInArea(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__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__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__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__PhysicalSystem) &
         s__instance(V__ARGS2,s__Physical))
       =>
       (((s__exactCardinality(s__systemPart__m,V__ARG,V__COUNT)
           &
           s__instance(s__systemPart__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__systemPart(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__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__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__Agent) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimePoint) &
         s__instance(V__ARGS2,s__Object))
       =>
       (((s__exactCardinality(s__dateUsed__m,V__ARG,V__COUNT)
           &
           s__instance(s__dateUsed__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__dateUsed(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__Policy) &
         s__instance(V__ARGS2,s__HotelPackage))
       =>
       (((s__exactCardinality(s__policyInclusion__m,V__ARG,V__COUNT)
           &
           s__instance(s__policyInclusion__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__policyInclusion(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__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__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__Organization) &
         s__instance(V__ARGS2,s__Organization))
       =>
       (((s__exactCardinality(s__ancestorOrganization__m,V__ARG,V__COUNT)
           &
           s__instance(s__ancestorOrganization__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__ancestorOrganization(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__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__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__WebSite) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Human) &
         s__instance(V__ARGS2,s__Collection))
       =>
       (((s__exactCardinality(s__webSales__m,V__ARG,V__COUNT)
           &
           s__instance(s__webSales__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__webSales(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__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__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__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__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__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__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__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__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__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__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__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__GeopoliticalArea) &
         s__instance(V__ARGS2,s__WaterVehicle))
       =>
       (((s__exactCardinality(s__flagState__m,V__ARG,V__COUNT)
           &
           s__instance(s__flagState__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__flagState(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__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__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__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__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__Position) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Position) &
         s__instance(V__ARGS2,s__Organization))
       =>
       (((s__exactCardinality(s__subordinatePosition__m,V__ARG,V__COUNT)
           &
           s__instance(s__subordinatePosition__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__subordinatePosition(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__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__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__ComputerProgram))
       =>
       (((s__exactCardinality(s__deviceOS__m,V__ARG,V__COUNT)
           &
           s__instance(s__deviceOS__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__deviceOS(V__ARGS2)
                   &
                   (V__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__FormOfAdaptationAttribute) &
         s__instance(V__ARGS2,s__RealtimeSystem))
       =>
       (((s__exactCardinality(s__formOfAdaptation__m,V__ARG,V__COUNT)
           &
           s__instance(s__formOfAdaptation__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__formOfAdaptation(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__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__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__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__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__Organism))
       =>
       (((s__exactCardinality(s__fathersBrothersDaughter__m,V__ARG,V__COUNT)
           &
           s__instance(s__fathersBrothersDaughter__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__fathersBrothersDaughter(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__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__6Fn__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__Object) &
         s__instance(V__ARGS2,s__Object))
       =>
       (((s__exactCardinality(s__copy__m,V__ARG,V__COUNT)
           &
           s__instance(s__copy__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__copy(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__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__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__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__Agent) &
         s__instance(V__ARGS2,s__TelephonyDevice))
       =>
       (((s__exactCardinality(s__telecomContactDevice__m,V__ARG,V__COUNT)
           &
           s__instance(s__telecomContactDevice__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__telecomContactDevice(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__TemperatureMeasure) &
         s__instance(V__ARGS2,s__Device))
       =>
       (((s__exactCardinality(s__minDeviceStorageTemp__m,V__ARG,V__COUNT)
           &
           s__instance(s__minDeviceStorageTemp__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__minDeviceStorageTemp(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__Object) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CaseRole) &
         s__subclass(V__ARGS2,s__Process))
       =>
       (((s__exactCardinality(s__capabilityDuring__m,V__ARG,V__COUNT)
           &
           s__instance(s__capabilityDuring__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__capabilityDuring(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__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__Experimenting) &
         s__instance(V__ARGS2,s__Collection))
       =>
       (((s__exactCardinality(s__treatmentGroup__m,V__ARG,V__COUNT)
           &
           s__instance(s__treatmentGroup__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__treatmentGroup(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__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__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__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__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__FinancialRating) &
         s__instance(V__ARGS2,s__Bond))
       =>
       (((s__exactCardinality(s__bondRating__m,V__ARG,V__COUNT)
           &
           s__instance(s__bondRating__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__bondRating(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__ARGS5,s__PricingScheme) &
         s__instance(V__ARGS4,s__CognitiveAgent) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__subclass(V__ARGS2,s__Entity))
       =>
       (((s__exactCardinality(s__publishedPrice__m,V__ARG,V__COUNT)
           &
           s__instance(s__publishedPrice__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__publishedPrice(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__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__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__ARGS8)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__6Fn__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__CognitiveAgent) &
         s__instance(V__ARGS2,s__FinancialAccount))
       =>
       (((s__exactCardinality(s__accountHolder__m,V__ARG,V__COUNT)
           &
           s__instance(s__accountHolder__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__accountHolder(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__6Fn__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__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__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__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__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__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__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__Agent) &
         s__instance(V__ARGS2,s__TelephonyDevice))
       =>
       (((s__exactCardinality(s__telecomContactDevice__m,V__ARG,V__COUNT)
           &
           s__instance(s__telecomContactDevice__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__telecomContactDevice(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__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__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

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

( ! [V__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__TimeDuration) &
         s__instance(V__ARGS2,s__UserRequest))
       =>
       (((s__exactCardinality(s__responseTime__m,V__ARG,V__COUNT)
           &
           s__instance(s__responseTime__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__responseTime(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__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__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__Object) &
         s__instance(V__ARGS2,s__Object))
       =>
       (((s__exactCardinality(s__covers__m,V__ARG,V__COUNT)
           &
           s__instance(s__covers__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__covers(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__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__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__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__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__LengthMeasure) &
         s__instance(V__ARGS2,s__Circle))
       =>
       (((s__exactCardinality(s__radius__m,V__ARG,V__COUNT)
           &
           s__instance(s__radius__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__radius(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__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__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__ARGS4,s__PositiveInteger) &
         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__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__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__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__Object) &
         s__instance(V__ARGS2,s__IndustryAttribute))
       =>
       (((s__exactCardinality(s__industryProductType__m,V__ARG,V__COUNT)
           &
           s__instance(s__industryProductType__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__industryProductType(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

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

( ! [V__COUNT,V__EL,V__ARG,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__SpeedGovernor))
       =>
       (((s__exactCardinality(s__governorSpeed__m,V__ARG,V__COUNT)
           &
           s__instance(s__governorSpeed__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__governorSpeed(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__ARGS7,s__Attribute) &
         s__instance(V__ARGS6,s__Attribute) &
         s__instance(V__ARGS5,s__Attribute) &
         s__instance(V__ARGS4,s__Attribute) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Attribute) &
         s__instance(V__ARGS2,s__Attribute))
       =>
       (((s__exactCardinality(s__contraryAttribute__m,V__ARG,V__COUNT)
           &
           s__instance(s__contraryAttribute__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__contraryAttribute__6__7(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__6Fn__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__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__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__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__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__Proposition) &
         s__instance(V__ARGS2,s__CognitiveAgent))
       =>
       (((s__exactCardinality(s__propositionOwner__m,V__ARG,V__COUNT)
           &
           s__instance(s__propositionOwner__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__propositionOwner(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__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__ARGS7,V__ARGS8)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__6Fn__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__Organization) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CognitiveAgent) &
         s__instance(V__ARGS2,s__CognitiveAgent))
       =>
       (((s__exactCardinality(s__customerRepresentative__m,V__ARG,V__COUNT)
           &
           s__instance(s__customerRepresentative__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__customerRepresentative(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__6Fn__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__subclass(V__ARGS3,s__OrganicObject) &
         s__instance(V__ARGS2,s__GeographicArea))
       =>
       (((s__exactCardinality(s__bioindicatorForHabitat__m,V__ARG,V__COUNT)
           &
           s__instance(s__bioindicatorForHabitat__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__bioindicatorForHabitat(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__Share))
       =>
       (((s__exactCardinality(s__shareHolder__m,V__ARG,V__COUNT)
           &
           s__instance(s__shareHolder__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__shareHolder(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__Woman) &
         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__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__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__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__rainySeasonInArea__m,V__ARG,V__COUNT)
           &
           s__instance(s__rainySeasonInArea__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__rainySeasonInArea(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__6Fn__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__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__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__6Fn__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__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__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__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__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__Organism) &
         s__instance(V__ARGS2,s__Organism))
       =>
       (((s__exactCardinality(s__parasite__m,V__ARG,V__COUNT)
           &
           s__instance(s__parasite__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__parasite(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__ARGS2,s__Object))
       =>
       (((s__exactCardinality(s__penetrates__m,V__ARG,V__COUNT)
           &
           s__instance(s__penetrates__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__penetrates(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__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__Experimenting) &
         s__instance(V__ARGS2,s__Collection))
       =>
       (((s__exactCardinality(s__controlGroup__m,V__ARG,V__COUNT)
           &
           s__instance(s__controlGroup__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__controlGroup(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__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__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__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__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__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__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__TimePosition) &
         s__instance(V__ARGS2,s__Option))
       =>
       (((s__exactCardinality(s__inTheMoney__m,V__ARG,V__COUNT)
           &
           s__instance(s__inTheMoney__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__inTheMoney(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__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__CognitiveAgent))
       =>
       (((s__exactCardinality(s__propositionOwner__m,V__ARG,V__COUNT)
           &
           s__instance(s__propositionOwner__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__propositionOwner(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__subclass(V__ARGS3,s__Computer) &
         s__subclass(V__ARGS2,s__ComputerProgram))
       =>
       (((s__exactCardinality(s__deviceOS__m,V__ARG,V__COUNT)
           &
           s__instance(s__deviceOS__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__deviceOS(V__ARGS2,V__ARGS3,V__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__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__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__RealNumber) &
         s__instance(V__ARGS2,s__DiseaseOrSyndrome))
       =>
       (((s__exactCardinality(s__diseaseMortality__m,V__ARG,V__COUNT)
           &
           s__instance(s__diseaseMortality__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__diseaseMortality(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__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__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__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__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__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__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__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__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__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__ARGS6,V__ARGS7,V__ARGS8)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__6Fn__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__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__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__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__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__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__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__LengthMeasure) &
         s__subclass(V__ARGS2,s__Object))
       =>
       (((s__exactCardinality(s__defaultMaximumWidth__m,V__ARG,V__COUNT)
           &
           s__instance(s__defaultMaximumWidth__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__defaultMaximumWidth(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__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__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__Organism) &
         s__instance(V__ARGS2,s__Organism))
       =>
       (((s__exactCardinality(s__parasite__m,V__ARG,V__COUNT)
           &
           s__instance(s__parasite__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__parasite(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__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__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__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__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__Agent) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Organization) &
         s__instance(V__ARGS2,s__Agent))
       =>
       (((s__exactCardinality(s__diplomaticOrganizationType__m,V__ARG,V__COUNT)
           &
           s__instance(s__diplomaticOrganizationType__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__diplomaticOrganizationType(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__Agent) &
         s__instance(V__ARGS2,s__Process))
       =>
       (((s__exactCardinality(s__benefits__m,V__ARG,V__COUNT)
           &
           s__instance(s__benefits__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__benefits(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__RationalNumber) &
         s__instance(V__ARGS2,s__Object))
       =>
       (((s__exactCardinality(s__contrastRatio__m,V__ARG,V__COUNT)
           &
           s__instance(s__contrastRatio__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__contrastRatio(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger))
       =>
       (((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__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__CurrencyMeasure) &
         s__instance(V__ARGS2,s__FinancialTransaction))
       =>
       (((s__exactCardinality(s__loss__m,V__ARG,V__COUNT)
           &
           s__instance(s__loss__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__loss(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__ARGS4,s__SocialRole) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__SocialRole) &
         s__instance(V__ARGS2,s__Agent))
       =>
       (((s__exactCardinality(s__roleNominatesRole__m,V__ARG,V__COUNT)
           &
           s__instance(s__roleNominatesRole__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__roleNominatesRole(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__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__GeopoliticalArea) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__primaryGeopoliticalSubdivisionType__m,V__ARG,V__COUNT)
           &
           s__instance(s__primaryGeopoliticalSubdivisionType__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__primaryGeopoliticalSubdivisionType(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__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__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__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__ARGS6,V__ARGS7,V__ARGS8)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__6Fn__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__TimePoint) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimePoint) &
         s__instance(V__ARGS2,s__TimePoint))
       =>
       (((s__exactCardinality(s__temporallyBetweenOrEqual__m,V__ARG,V__COUNT)
           &
           s__instance(s__temporallyBetweenOrEqual__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__temporallyBetweenOrEqual(V__ARGS2,V__ARGS3,V__ARGS4)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__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__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__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__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__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__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__CognitiveAgent) &
         s__instance(V__ARGS2,s__FinancialAccount))
       =>
       (((s__exactCardinality(s__accountHolder__m,V__ARG,V__COUNT)
           &
           s__instance(s__accountHolder__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__accountHolder(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__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__Organization))
       =>
       (((s__exactCardinality(s__ancestorOrganization__m,V__ARG,V__COUNT)
           &
           s__instance(s__ancestorOrganization__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__ancestorOrganization(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__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__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__6Fn__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__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__unemploymentRateOfArea__m,V__ARG,V__COUNT)
           &
           s__instance(s__unemploymentRateOfArea__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__unemploymentRateOfArea(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__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__Transitway))
       =>
       (((s__exactCardinality(s__pathInSystem__m,V__ARG,V__COUNT)
           &
           s__instance(s__pathInSystem__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__pathInSystem(V__ARGS2,V__ARGS3,V__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__quarter__m,V__ARG,V__COUNT)
           &
           s__instance(s__quarter__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__quarter(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__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__IndustryAttribute))
       =>
       (((s__exactCardinality(s__industryProductType__m,V__ARG,V__COUNT)
           &
           s__instance(s__industryProductType__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__industryProductType(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__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__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__WaterArea) &
         s__instance(V__ARGS2,s__WaterMotion))
       =>
       (((s__exactCardinality(s__flowCurrent__m,V__ARG,V__COUNT)
           &
           s__instance(s__flowCurrent__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__flowCurrent(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__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__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__6Fn__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__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__ARGS7,V__ARGS8)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__6Fn__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__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__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__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__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__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__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__SymbolicString) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__flagImage__m,V__ARG,V__COUNT)
           &
           s__instance(s__flagImage__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__flagImage(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__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__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__Object))
       =>
       (((s__exactCardinality(s__operator__m,V__ARG,V__COUNT)
           &
           s__instance(s__operator__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__operator(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__Proposition) &
         s__instance(V__ARGS2,s__CognitiveAgent))
       =>
       (((s__exactCardinality(s__propositionOwner__m,V__ARG,V__COUNT)
           &
           s__instance(s__propositionOwner__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__propositionOwner(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__6Fn__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__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__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__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__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__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__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__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__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__subclass(V__ARGS3,s__Artifact) &
         s__subclass(V__ARGS2,s__Artifact))
       =>
       (((s__exactCardinality(s__version__m,V__ARG,V__COUNT)
           &
           s__instance(s__version__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__version(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__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__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__SymbolicString) &
         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__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__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__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__6Fn__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__TransitSystem) &
         s__instance(V__ARGS2,s__Transitway))
       =>
       (((s__exactCardinality(s__pathInSystem__m,V__ARG,V__COUNT)
           &
           s__instance(s__pathInSystem__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__pathInSystem(V__ARGS2,V__ARGS3,V__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__GeopoliticalArea) &
         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__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__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__Experimenting) &
         s__instance(V__ARGS2,s__Collection))
       =>
       (((s__exactCardinality(s__controlGroup__m,V__ARG,V__COUNT)
           &
           s__instance(s__controlGroup__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__controlGroup(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__ARGS2,s__Object))
       =>
       (((s__exactCardinality(s__properPart__m,V__ARG,V__COUNT)
           &
           s__instance(s__properPart__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__properPart(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__ARGS7,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__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__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__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__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__6Fn__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__Human) &
         s__instance(V__ARGS2,s__Experimenting))
       =>
       (((s__exactCardinality(s__qualifiedExperiment__m,V__ARG,V__COUNT)
           &
           s__instance(s__qualifiedExperiment__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__qualifiedExperiment(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__6Fn__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__Agent) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimePoint) &
         s__instance(V__ARGS2,s__Object))
       =>
       (((s__exactCardinality(s__dateUsed__m,V__ARG,V__COUNT)
           &
           s__instance(s__dateUsed__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__dateUsed(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__AreaOfConcern) &
         s__instance(V__ARGS2,s__Agent))
       =>
       (((s__exactCardinality(s__organizationalObjective__m,V__ARG,V__COUNT)
           &
           s__instance(s__organizationalObjective__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__organizationalObjective(V__ARGS2,V__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__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__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__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__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__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__CognitiveAgent) &
         s__instance(V__ARGS2,s__Share))
       =>
       (((s__exactCardinality(s__shareHolder__m,V__ARG,V__COUNT)
           &
           s__instance(s__shareHolder__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__shareHolder(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__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__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__TemperatureMeasure) &
         s__instance(V__ARGS2,s__Device))
       =>
       (((s__exactCardinality(s__minDeviceStorageTemp__m,V__ARG,V__COUNT)
           &
           s__instance(s__minDeviceStorageTemp__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__minDeviceStorageTemp(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__6Fn__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__subclass(V__ARGS4,s__TimeInterval) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__RealNumber) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__populationFractionBelowPovertyLineInPeriod__m,V__ARG,V__COUNT)
           &
           s__instance(s__populationFractionBelowPovertyLineInPeriod__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__populationFractionBelowPovertyLineInPeriod(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__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__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__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__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__RealNumber) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__inflationRateOfConsumerPrices__m,V__ARG,V__COUNT)
           &
           s__instance(s__inflationRateOfConsumerPrices__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__inflationRateOfConsumerPrices(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__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__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__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__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__PhysicalSystem) &
         s__instance(V__ARGS2,s__Physical))
       =>
       (((s__exactCardinality(s__systemPart__m,V__ARG,V__COUNT)
           &
           s__instance(s__systemPart__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__systemPart(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__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__ARG,V__ARGS3,V__ARGS2] :
   (((s__subclass(V__ARGS4,s__TimeInterval) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__RealNumber) &
         s__instance(V__ARGS2,s__GeopoliticalArea))
       =>
       (((s__exactCardinality(s__populationFractionBelowPovertyLineInPeriod__m,V__ARG,V__COUNT)
           &
           s__instance(s__populationFractionBelowPovertyLineInPeriod__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__populationFractionBelowPovertyLineInPeriod(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__Agent) &
         s__instance(V__ARGS2,s__Object))
       =>
       (((s__exactCardinality(s__operator__m,V__ARG,V__COUNT)
           &
           s__instance(s__operator__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__operator(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__Human) &
         s__instance(V__ARGS2,s__Man))
       =>
       (((s__exactCardinality(s__nephew__m,V__ARG,V__COUNT)
           &
           s__instance(s__nephew__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__nephew(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__6Fn__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__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__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__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__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__Agent) &
         s__instance(V__ARGS2,s__CognitiveAgent))
       =>
       (((s__exactCardinality(s__potentialCustomer__m,V__ARG,V__COUNT)
           &
           s__instance(s__potentialCustomer__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__potentialCustomer(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__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__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__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__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__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__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__Attribute) &
         s__instance(V__ARGS2,s__Attribute))
       =>
       (((s__exactCardinality(s__successorAttributeClosure__m,V__ARG,V__COUNT)
           &
           s__instance(s__successorAttributeClosure__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__successorAttributeClosure(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__6Fn__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__SymbolicString) &
         s__instance(V__ARGS2,s__Organization))
       =>
       (((s__exactCardinality(s__aimOfOrganization__m,V__ARG,V__COUNT)
           &
           s__instance(s__aimOfOrganization__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__aimOfOrganization(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__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__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__Object) &
         s__instance(V__ARGS2,s__Object))
       =>
       (((s__exactCardinality(s__copy__m,V__ARG,V__COUNT)
           &
           s__instance(s__copy__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__copy(V__ARGS2,V__ARGS3,V__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__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__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__CognitiveAgent) &
         s__instance(V__ARGS2,s__Certificate))
       =>
       (((s__exactCardinality(s__issuedBy__m,V__ARG,V__COUNT)
           &
           s__instance(s__issuedBy__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__issuedBy(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__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__ARGS7,V__ARGS8)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__6Fn__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__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__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__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__TimeInterval) &
         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__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__ARGS3,s__SymbolicString) &
         s__instance(V__ARGS2,s__SymbolicString))
       =>
       (((s__exactCardinality(s__nameAfterKeyName__m,V__ARG,V__COUNT)
           &
           s__instance(s__nameAfterKeyName__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__nameAfterKeyName(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__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__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__FinancialRating) &
         s__instance(V__ARGS2,s__Bond))
       =>
       (((s__exactCardinality(s__bondRating__m,V__ARG,V__COUNT)
           &
           s__instance(s__bondRating__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__bondRating(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__6Fn__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__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__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__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__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__Experimenting) &
         s__instance(V__ARGS2,s__Collection))
       =>
       (((s__exactCardinality(s__controlGroup__m,V__ARG,V__COUNT)
           &
           s__instance(s__controlGroup__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__controlGroup(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__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__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__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__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__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__TimeDuration) &
         s__instance(V__ARGS2,s__ComputerResponse))
       =>
       (((s__exactCardinality(s__responseRate__m,V__ARG,V__COUNT)
           &
           s__instance(s__responseRate__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__responseRate(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__subclass(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__IndustryAttribute))
       =>
       (((s__exactCardinality(s__industryProductType__m,V__ARG,V__COUNT)
           &
           s__instance(s__industryProductType__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__industryProductType(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__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__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__Object) &
         s__instance(V__ARGS2,s__Object))
       =>
       (((s__exactCardinality(s__superficialPart__m,V__ARG,V__COUNT)
           &
           s__instance(s__superficialPart__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__superficialPart(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__6Fn__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__TimeInterval) &
         s__instance(V__ARGS2,s__Agreement))
       =>
       (((s__exactCardinality(s__agreementPeriod__m,V__ARG,V__COUNT)
           &
           s__instance(s__agreementPeriod__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__agreementPeriod(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__TimeDuration) &
         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__ARGS3)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__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__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__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__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__CognitiveAgent) &
         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__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__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__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__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__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__FormOfGovernment) &
         s__instance(V__ARGS2,s__Organization))
       =>
       (((s__exactCardinality(s__ideologicalAffiliationOfOrganization__m,V__ARG,V__COUNT)
           &
           s__instance(s__ideologicalAffiliationOfOrganization__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__ideologicalAffiliationOfOrganization(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__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__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__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__ARGS8)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__6Fn__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__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__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__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__Attribute))
       =>
       (((s__exactCardinality(s__contraryAttribute__m,V__ARG,V__COUNT)
           &
           s__instance(s__contraryAttribute__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__contraryAttribute__1(V__ARGS2)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
                  ,V__ARG)))
             =>
             ((s__instance(V__EL,V__S)
               &
               (s__CardinalityFn(V__S)
               = V__COUNT)))))))))))
)
)

( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] :
   (((s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__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__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__Demonstrating))
       =>
       (((s__exactCardinality(s__attends__m,V__ARG,V__COUNT)
           &
           s__instance(s__attends__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__attends(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__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__ARGS6,V__ARGS7,V__ARGS8)
                   &
                   (V__EL = s__ListOrderFn(s__ListFn__6Fn__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__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__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__CurrencyMeasure) &
         s__instance(V__ARGS2,s__FinancialTransaction))
       =>
       (((s__exactCardinality(s__loss__m,V__ARG,V__COUNT)
           &
           s__instance(s__loss__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__loss(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__ARGS4,s__TimePoint) &
         s__instance(V__COUNT,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimePoint) &
         s__instance(V__ARGS2,s__TimePoint))
       =>
       (((s__exactCardinality(s__temporallyBetweenOrEqual__m,V__ARG,V__COUNT)
           &
           s__instance(s__temporallyBetweenOrEqual__m,s__Predicate))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__SetOrClass) &
                 ((s__temporallyBetweenOrEqual(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6)
                   &