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

Formal Language: 



KB Term:  Term intersection
English Word: 

  minValue

Sigma KEE - minValue
minValue

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


s__documentation(s__minValue__m,s__EnglishLanguage,'"The minimum possible value for a given numerical argument of a Relation. The second argument is the argument number of the relation and the third argument is the minimum value."')

Merge.kif 17529-17531
s__domain(s__minValue__m,n__1,s__Predicate)

Merge.kif 17533-17533 The number 1 argument of minValue is an instance of predicate
s__domain(s__minValue__m,n__2,s__Integer)

Merge.kif 17534-17534 The number 2 argument of minValue is an instance of integer
s__domain(s__minValue__m,n__3,s__Quantity)

Merge.kif 17535-17535 The number 3 argument of minValue is an instance of quantity
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__minValue__m,s__TernaryPredicate)

Merge.kif 17532-17532 minValue is an instance of ternary predicate

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


s__format(s__EnglishLanguage,s__minValue__m,'"The minValue of %1 with %2 arguments is %3."')

Merge.kif 17536-17537

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


( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__LengthMeasure) &
         s__instance(V__ARGS2,s__Object) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__sphereRadius__m,V__ARG,V__N)
           &
           s__sphereRadius(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__FunctionQuantity) &
         s__instance(V__ARGS2,s__ComputerNetwork) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__bandwidth__m,V__ARG,V__N)
           &
           s__bandwidth(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__ComputerProgram) &
         s__instance(V__ARGS2,s__StartupBlock) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__startupOf__m,V__ARG,V__N)
           &
           s__startupOf(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__subclass(V__ARGS4,s__TimeInterval) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__annualRevenuesOfAreaInPeriod__m,V__ARG,V__N)
           &
           s__annualRevenuesOfAreaInPeriod(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Substance) &
         s__instance(V__ARGS2,s__Human) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__allergic__m,V__ARG,V__N)
           &
           s__allergic(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__EngineeringComponent) &
         s__instance(V__ARGS2,s__EngineeringComponent) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__engineeringSubcomponent__m,V__ARG,V__N)
           &
           s__engineeringSubcomponent(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__LengthMeasure) &
         s__subclass(V__ARGS2,s__Object) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__defaultMinimumSphereRadius__m,V__ARG,V__N)
           &
           s__defaultMinimumSphereRadius(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__GeopoliticalArea) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__geopoliticalSubdivision__m,V__ARG,V__N)
           &
           s__geopoliticalSubdivision(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Residence) &
         s__instance(V__ARGS2,s__Agent) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__tenant__m,V__ARG,V__N)
           &
           s__tenant(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__GeometricFigure) &
         s__instance(V__ARGS2,s__TwoDimensionalAngle) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__angleOfFigure__m,V__ARG,V__N)
           &
           s__angleOfFigure(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS5,V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS5,s__PricingScheme) &
         s__instance(V__ARGS4,s__CognitiveAgent) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__FunctionQuantity) &
         s__subclass(V__ARGS2,s__Entity) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__unitPrice__m,V__ARG,V__N)
           &
           s__unitPrice(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__LengthMeasure) &
         s__instance(V__ARGS2,s__Circle) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__circumfrence__m,V__ARG,V__N)
           &
           s__circumfrence(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Region) &
         s__instance(V__ARGS2,s__TransportationCompany) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__providesDestination__m,V__ARG,V__N)
           &
           s__providesDestination(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__Class) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__disjointDecomposition__m,V__ARG,V__N)
           &
           s__disjointDecomposition__1(V__ARGS2)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__NonnegativeRealNumber) &
         s__instance(V__ARGS2,s__LandArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__slopeGradient__m,V__ARG,V__N)
           &
           s__slopeGradient(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__TimeInterval) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__FinancialAccount) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__paymentsPerPeriod__m,V__ARG,V__N)
           &
           s__paymentsPerPeriod(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__Experimenting) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Collection) &
         s__instance(V__ARGS2,s__Collection) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__statisticalPopulation__m,V__ARG,V__N)
           &
           s__statisticalPopulation(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Human) &
         s__instance(V__ARGS2,s__Human) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__coaches__m,V__ARG,V__N)
           &
           s__coaches(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__NonnegativeRealNumber) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__laborForceTotal__m,V__ARG,V__N)
           &
           s__laborForceTotal(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__Agreement) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__premium__m,V__ARG,V__N)
           &
           s__premium(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Reservation) &
         s__instance(V__ARGS2,s__Agent) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__reservingEntity__m,V__ARG,V__N)
           &
           s__reservingEntity(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__DigitalData) &
         s__instance(V__ARGS2,s__ComputerProcess) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__dataProcessed__m,V__ARG,V__N)
           &
           s__dataProcessed(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Physical) &
         s__instance(V__ARGS2,s__Bidding) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__objectOfBid__m,V__ARG,V__N)
           &
           s__objectOfBid(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__AltitudeMeasure) &
         s__instance(V__ARGS2,s__Aircraft) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__absoluteHeight__m,V__ARG,V__N)
           &
           s__absoluteHeight(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__Number) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Day) &
         s__instance(V__ARGS2,s__FinancialAccount) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__currentInterestRate__m,V__ARG,V__N)
           &
           s__currentInterestRate(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS5,V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS5,s__Agent) &
         s__instance(V__ARGS4,s__CurrencyMeasure) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__subclass(V__ARGS2,s__Entity) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__priceRange__m,V__ARG,V__N)
           &
           s__priceRange(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS5,V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__subclass(V__ARGS5,s__TimeInterval) &
         s__instance(V__ARGS4,s__PositiveInteger) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__GeopoliticalArea) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__importPartnerByRankInPeriod__m,V__ARG,V__N)
           &
           s__importPartnerByRankInPeriod(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Integer) &
         s__instance(V__ARGS2,s__WireCoil) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__coilCount__m,V__ARG,V__N)
           &
           s__coilCount(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__economicAidReceivedNet__m,V__ARG,V__N)
           &
           s__economicAidReceivedNet(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Album) &
         s__instance(V__ARGS2,s__Recording) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__albumTrack__m,V__ARG,V__N)
           &
           s__albumTrack(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__ComputerOutputDevice) &
         s__instance(V__ARGS2,s__ComputerProcess) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__standardErrorDevice__m,V__ARG,V__N)
           &
           s__standardErrorDevice(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__Agent) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__Object) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__bidPrice__m,V__ARG,V__N)
           &
           s__bidPrice(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__GeopoliticalArea) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__SymbolicString) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__chanceryMailingAddressInArea__m,V__ARG,V__N)
           &
           s__chanceryMailingAddressInArea(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Policy) &
         s__instance(V__ARGS2,s__HotelPackage) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__policyInclusion__m,V__ARG,V__N)
           &
           s__policyInclusion(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TelecomNumber) &
         s__instance(V__ARGS2,s__SymbolicString) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__telecomExtension__m,V__ARG,V__N)
           &
           s__telecomExtension(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__Organism) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__fathersSistersDaughter__m,V__ARG,V__N)
           &
           s__fathersSistersDaughter(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__NonnegativeRealNumber) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimeDuration) &
         s__instance(V__ARGS2,s__GeographicArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__overcastDaysInPeriod__m,V__ARG,V__N)
           &
           s__overcastDaysInPeriod(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CognitiveAgent) &
         s__instance(V__ARGS2,s__Certificate) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__signedBy__m,V__ARG,V__N)
           &
           s__signedBy(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Organization) &
         s__instance(V__ARGS2,s__Organization) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__affiliatedOrganization__m,V__ARG,V__N)
           &
           s__affiliatedOrganization(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__RealNumber) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__SymbolicString) &
         s__instance(V__ARGS2,s__TimePosition) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__monitorComponentData__m,V__ARG,V__N)
           &
           s__monitorComponentData(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__LimitOrder) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__limitPrice__m,V__ARG,V__N)
           &
           s__limitPrice(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__VolumeMeasure) &
         s__instance(V__ARGS2,s__Engine) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__maxCylinderVolume__m,V__ARG,V__N)
           &
           s__maxCylinderVolume(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__NonnegativeRealNumber) &
         s__instance(V__ARGS2,s__Region) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__cloudCoverFraction__m,V__ARG,V__N)
           &
           s__cloudCoverFraction(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__Process) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__destination__m,V__ARG,V__N)
           &
           s__destination(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__Language) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__SymbolicString) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__abbreviatedDisplayTitle__m,V__ARG,V__N)
           &
           s__abbreviatedDisplayTitle(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__TimeDuration) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__SocialRole) &
         s__instance(V__ARGS2,s__Agent) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__termLength__m,V__ARG,V__N)
           &
           s__termLength(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__RiskAttribute) &
         s__instance(V__ARGS2,s__Investor) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__riskTolerance__m,V__ARG,V__N)
           &
           s__riskTolerance(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__subclass(V__ARGS4,s__TimeInterval) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__exportTotalInPeriod__m,V__ARG,V__N)
           &
           s__exportTotalInPeriod(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Agent) &
         s__instance(V__ARGS2,s__Organization) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__executiveBranch__m,V__ARG,V__N)
           &
           s__executiveBranch(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__DirectionalAttribute) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__PhysicalQuantity) &
         s__instance(V__ARGS2,s__Object) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__surfaceWindVelocity__m,V__ARG,V__N)
           &
           s__surfaceWindVelocity(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__List) &
         s__instance(V__ARGS2,s__ComputerProgram) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__commandLineArguments__m,V__ARG,V__N)
           &
           s__commandLineArguments(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Computer) &
         s__instance(V__ARGS2,s__SymbolicString) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__hardwareType__m,V__ARG,V__N)
           &
           s__hardwareType(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__Class) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__exhaustiveDecomposition__m,V__ARG,V__N)
           &
           s__exhaustiveDecomposition__1(V__ARGS2)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__1Fn(V__ARGS2)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS5,V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__processList__m,V__ARG,V__N)
           &
           s__processList__4(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimeDuration) &
         s__instance(V__ARGS2,s__Physical) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__age__m,V__ARG,V__N)
           &
           s__age(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__ARGS8,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS7,s__Class) &
         s__instance(V__ARGS6,s__Class) &
         s__instance(V__ARGS5,s__Class) &
         s__instance(V__ARGS4,s__Class) &
         s__instance(V__ARGS8,s__Class) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Class) &
         s__instance(V__ARGS2,s__Class) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__exhaustiveDecomposition__m,V__ARG,V__N)
           &
           s__exhaustiveDecomposition__7(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__7Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7,V__ARGS8)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__FunctionQuantity) &
         s__instance(V__ARGS2,s__MusicalTone) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__soundFrequency__m,V__ARG,V__N)
           &
           s__soundFrequency(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__Shipping) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__cargo__m,V__ARG,V__N)
           &
           s__cargo(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__LengthMeasure) &
         s__instance(V__ARGS2,s__WaterArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__navigableForDraft__m,V__ARG,V__N)
           &
           s__navigableForDraft(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Experimenting) &
         s__instance(V__ARGS2,s__ContentBearingPhysical) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__experimentUpdate__m,V__ARG,V__N)
           &
           s__experimentUpdate(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__Object) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__physicalEnd__m,V__ARG,V__N)
           &
           s__physicalEnd(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__Proposition) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__TimePosition) &
         s__instance(V__ARGS2,s__Proposition) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__agreementRevisionDate__m,V__ARG,V__N)
           &
           s__agreementRevisionDate(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS7,s__Class) &
         s__instance(V__ARGS6,s__Class) &
         s__instance(V__ARGS5,s__Class) &
         s__instance(V__ARGS4,s__Class) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Class) &
         s__instance(V__ARGS2,s__Class) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__exhaustiveDecomposition__m,V__ARG,V__N)
           &
           s__exhaustiveDecomposition__6(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__ContentBearingPhysical) &
         s__instance(V__ARGS2,s__ContentBearingPhysical) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__equivalentContentInstance__m,V__ARG,V__N)
           &
           s__equivalentContentInstance(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS5,V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS5,s__Object) &
         s__instance(V__ARGS4,s__TimePosition) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Agent) &
         s__instance(V__ARGS2,s__Object) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__observedAtTimeInPlace__m,V__ARG,V__N)
           &
           s__observedAtTimeInPlace(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__LengthMeasure) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Month) &
         s__instance(V__ARGS2,s__GeographicArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__averageRainfallForPeriod__m,V__ARG,V__N)
           &
           s__averageRainfallForPeriod(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Vehicle) &
         s__instance(V__ARGS2,s__SelfConnectedObject) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__onboard__m,V__ARG,V__N)
           &
           s__onboard(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CognitiveAgent) &
         s__instance(V__ARGS2,s__FinancialAccount) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__accountHolder__m,V__ARG,V__N)
           &
           s__accountHolder(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimeInterval) &
         s__instance(V__ARGS2,s__TimeInterval) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__earlier__m,V__ARG,V__N)
           &
           s__earlier(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Collection) &
         s__instance(V__ARGS2,s__Physical) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__member__m,V__ARG,V__N)
           &
           s__member(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__Agent) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__SocialRole) &
         s__instance(V__ARGS2,s__Election) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__electionWinner__m,V__ARG,V__N)
           &
           s__electionWinner(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Human) &
         s__instance(V__ARGS2,s__Woman) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__sister__m,V__ARG,V__N)
           &
           s__sister(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__PositiveInteger) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__IndustryAttribute) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__industryRankByOutput__m,V__ARG,V__N)
           &
           s__industryRankByOutput(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS5,V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__subclass(V__ARGS5,s__TimeInterval) &
         s__instance(V__ARGS4,s__RealNumber) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Attribute) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__laborForceFractionByOccupationInPeriod__m,V__ARG,V__N)
           &
           s__laborForceFractionByOccupationInPeriod(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Formula) &
         s__instance(V__ARGS2,s__Formula) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__independentProbability__m,V__ARG,V__N)
           &
           s__independentProbability(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__List) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__initialList__m,V__ARG,V__N)
           &
           s__initialList(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__Object) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__Object) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__between__m,V__ARG,V__N)
           &
           s__between(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__RealNumber) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__militaryExpendituresFractionOfGDP__m,V__ARG,V__N)
           &
           s__militaryExpendituresFractionOfGDP(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TelecomNumber) &
         s__instance(V__ARGS2,s__SymbolicString) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__telecomCountryCode__m,V__ARG,V__N)
           &
           s__telecomCountryCode(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__RealNumber) &
         s__instance(V__ARGS2,s__UserAccount) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__userFeedbackScore__m,V__ARG,V__N)
           &
           s__userFeedbackScore(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__SelfConnectedObject) &
         s__instance(V__ARGS2,s__Object) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__trafficableForTrafficType__m,V__ARG,V__N)
           &
           s__trafficableForTrafficType(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Class) &
         s__instance(V__ARGS2,s__BinaryRelation) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__totalOrderingOn__m,V__ARG,V__N)
           &
           s__totalOrderingOn(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Integer) &
         s__instance(V__ARGS2,s__Integer) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__multiplicativeFactor__m,V__ARG,V__N)
           &
           s__multiplicativeFactor(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Molecule) &
         s__instance(V__ARGS2,s__Virus) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__geneticSubstrateOfVirus__m,V__ARG,V__N)
           &
           s__geneticSubstrateOfVirus(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__PhysicalQuantity) &
         s__instance(V__ARGS2,s__Physical) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__measure__m,V__ARG,V__N)
           &
           s__measure(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__StateOrProvince) &
         s__instance(V__ARGS2,s__PostalPlace) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__postDistrict__m,V__ARG,V__N)
           &
           s__postDistrict(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Physical) &
         s__instance(V__ARGS2,s__Agent) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__propertyAmenity__m,V__ARG,V__N)
           &
           s__propertyAmenity(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Human) &
         s__instance(V__ARGS2,s__Experimenting) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__experimentalSubject__m,V__ARG,V__N)
           &
           s__experimentalSubject(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__WebSite) &
         s__instance(V__ARGS2,s__WebListing) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__hostedOn__m,V__ARG,V__N)
           &
           s__hostedOn(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__LengthMeasure) &
         s__subclass(V__ARGS2,s__Object) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__defaultMinimumHeight__m,V__ARG,V__N)
           &
           s__defaultMinimumHeight(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__ProcessTask) &
         s__instance(V__ARGS2,s__ComputerProcess) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__task__m,V__ARG,V__N)
           &
           s__task(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__TimeDuration) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Day) &
         s__instance(V__ARGS2,s__Region) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__daylightHoursTotal__m,V__ARG,V__N)
           &
           s__daylightHoursTotal(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CorpuscularObject) &
         s__instance(V__ARGS2,s__CorpuscularObject) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__component__m,V__ARG,V__N)
           &
           s__component(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__Quantity) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Integer) &
         s__instance(V__ARGS2,s__Predicate) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__defaultMinValue__m,V__ARG,V__N)
           &
           s__defaultMinValue(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Proposition) &
         s__instance(V__ARGS2,s__Proposition) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__consistent__m,V__ARG,V__N)
           &
           s__consistent(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Quantity) &
         s__instance(V__ARGS2,s__Quantity) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__lessThan__m,V__ARG,V__N)
           &
           s__lessThan(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__FinancialInstrument) &
         s__instance(V__ARGS2,s__Agreement) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__underlier__m,V__ARG,V__N)
           &
           s__underlier(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__Agent) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Position) &
         s__instance(V__ARGS2,s__Agent) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__diplomaticRepresentationType__m,V__ARG,V__N)
           &
           s__diplomaticRepresentationType(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__Loan) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__floorLoan__m,V__ARG,V__N)
           &
           s__floorLoan(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__TimeInterval) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__FinancialAccount) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__creditsPerPeriod__m,V__ARG,V__N)
           &
           s__creditsPerPeriod(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__PositiveInteger) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__GeopoliticalArea) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__importPartnerByRank__m,V__ARG,V__N)
           &
           s__importPartnerByRank(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Human) &
         s__instance(V__ARGS2,s__Man) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__brother__m,V__ARG,V__N)
           &
           s__brother(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Toxin) &
         s__subclass(V__ARGS2,s__Organism) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__secretesToxin__m,V__ARG,V__N)
           &
           s__secretesToxin(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__DirectionalAttribute) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__PhysicalQuantity) &
         s__instance(V__ARGS2,s__Object) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__mediumAltitudeWindVelocity__m,V__ARG,V__N)
           &
           s__mediumAltitudeWindVelocity(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__OrganizationalProcess) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__Human) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__beforeTaxIncome__m,V__ARG,V__N)
           &
           s__beforeTaxIncome(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__Organism) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__fathersBrothersSon__m,V__ARG,V__N)
           &
           s__fathersBrothersSon(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Human) &
         s__instance(V__ARGS2,s__Woman) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__aunt__m,V__ARG,V__N)
           &
           s__aunt(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Agent) &
         s__instance(V__ARGS2,s__Process) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__suffers__m,V__ARG,V__N)
           &
           s__suffers(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__Collection) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__WebSite) &
         s__instance(V__ARGS2,s__TimeInterval) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__firstTimeSellers__m,V__ARG,V__N)
           &
           s__firstTimeSellers(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimeInterval) &
         s__instance(V__ARGS2,s__Physical) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__anniversary__m,V__ARG,V__N)
           &
           s__anniversary(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Artifact) &
         s__instance(V__ARGS2,s__Agent) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__engineers__m,V__ARG,V__N)
           &
           s__engineers(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__HotelPackage) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__physicalInclusion__m,V__ARG,V__N)
           &
           s__physicalInclusion(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__NonnegativeRealNumber) &
         s__instance(V__ARGS2,s__Object) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__relativeHumidity__m,V__ARG,V__N)
           &
           s__relativeHumidity(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__LengthMeasure) &
         s__instance(V__ARGS2,s__GeographicArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__lengthOfExpresswaySystem__m,V__ARG,V__N)
           &
           s__lengthOfExpresswaySystem(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Organism) &
         s__instance(V__ARGS2,s__Organism) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__relative__m,V__ARG,V__N)
           &
           s__relative(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__subclass(V__ARGS4,s__TimeInterval) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__RealNumber) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__populationFractionBelowPovertyLineInPeriod__m,V__ARG,V__N)
           &
           s__populationFractionBelowPovertyLineInPeriod(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__GeopoliticalArea) &
         s__instance(V__ARGS2,s__MilitaryOrganization) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__militaryOfArea__m,V__ARG,V__N)
           &
           s__militaryOfArea(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((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__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Attribute) &
         s__subclass(V__ARGS2,s__Attribute) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__exhaustiveAttribute__m,V__ARG,V__N)
           &
           s__exhaustiveAttribute__6(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__ContentBearingObject) &
         s__instance(V__ARGS2,s__Agent) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__authors__m,V__ARG,V__N)
           &
           s__authors(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__Organism) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__fathersBrothersWife__m,V__ARG,V__N)
           &
           s__fathersBrothersWife(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__Process) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__patient__m,V__ARG,V__N)
           &
           s__patient(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__LengthMeasure) &
         s__instance(V__ARGS2,s__GeographicArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__lengthOfDualGaugeRailway__m,V__ARG,V__N)
           &
           s__lengthOfDualGaugeRailway(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Relation) &
         s__instance(V__ARGS2,s__Object) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__applicableRelation__m,V__ARG,V__N)
           &
           s__applicableRelation(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__subclass(V__ARGS4,s__Process) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__BiologicallyActiveSubstance) &
         s__instance(V__ARGS2,s__BiochemicalAgent) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__biochemicalAgentAntidote__m,V__ARG,V__N)
           &
           s__biochemicalAgentAntidote(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__GeopoliticalArea) &
         s__instance(V__ARGS2,s__Organization) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__headquartersOfOrganization__m,V__ARG,V__N)
           &
           s__headquartersOfOrganization(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__subclass(V__ARGS4,s__PositiveInteger) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__agriculturalProductTypeByRank__m,V__ARG,V__N)
           &
           s__agriculturalProductTypeByRank(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__DiseaseOrSyndrome) &
         s__instance(V__ARGS2,s__DiseaseOrSyndrome) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__diseaseSymptom__m,V__ARG,V__N)
           &
           s__diseaseSymptom(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Agent) &
         s__instance(V__ARGS2,s__SymbolicString) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__dayPhone__m,V__ARG,V__N)
           &
           s__dayPhone(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Organization) &
         s__instance(V__ARGS2,s__Organization) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__successorOrganization__m,V__ARG,V__N)
           &
           s__successorOrganization(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Integer) &
         s__instance(V__ARGS2,s__Collection) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__memberCount__m,V__ARG,V__N)
           &
           s__memberCount(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__GeographicArea) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__RealNumber) &
         s__instance(V__ARGS2,s__BeliefGroup) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__beliefGroupPercentInRegion__m,V__ARG,V__N)
           &
           s__beliefGroupPercentInRegion(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__GeopoliticalArea) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__diplomaticRelations__m,V__ARG,V__N)
           &
           s__diplomaticRelations(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__SymbolicString) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__conventionalShortName__m,V__ARG,V__N)
           &
           s__conventionalShortName(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS5,V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS5,s__RealNumber) &
         s__instance(V__ARGS4,s__Agent) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__SocialRole) &
         s__instance(V__ARGS2,s__Election) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__voteFractionReceived__m,V__ARG,V__N)
           &
           s__voteFractionReceived(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__subclass(V__ARGS4,s__TimeInterval) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__RealNumber) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__lowestDecileShareOfHouseholdIncomeInPeriod__m,V__ARG,V__N)
           &
           s__lowestDecileShareOfHouseholdIncomeInPeriod(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__TimeInterval) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Interest) &
         s__instance(V__ARGS2,s__FinancialAccount) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__interestEarned__m,V__ARG,V__N)
           &
           s__interestEarned(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__LengthMeasure) &
         s__instance(V__ARGS2,s__WaterWave) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__waveHeight__m,V__ARG,V__N)
           &
           s__waveHeight(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__DiseaseOrSyndrome) &
         s__instance(V__ARGS2,s__BiologicallyActiveSubstance) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__sideEffect__m,V__ARG,V__N)
           &
           s__sideEffect(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Human) &
         s__instance(V__ARGS2,s__Human) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__spouse__m,V__ARG,V__N)
           &
           s__spouse(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Integer) &
         s__instance(V__ARGS2,s__HotelReservation) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__numberOccupant__m,V__ARG,V__N)
           &
           s__numberOccupant(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__MealPlan) &
         s__instance(V__ARGS2,s__HotelPackage) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__mealPlanInclusion__m,V__ARG,V__N)
           &
           s__mealPlanInclusion(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Process) &
         s__instance(V__ARGS2,s__Process) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__subProcess__m,V__ARG,V__N)
           &
           s__subProcess(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimePoint) &
         s__instance(V__ARGS2,s__Agreement) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__agreementExpirationDate__m,V__ARG,V__N)
           &
           s__agreementExpirationDate(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__DigitalData) &
         s__instance(V__ARGS2,s__SymbolicString) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__filename__m,V__ARG,V__N)
           &
           s__filename(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__SymbolicString) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__names__m,V__ARG,V__N)
           &
           s__names(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Integer) &
         s__instance(V__ARGS2,s__HotelReservation) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__numberSeniorOccupant__m,V__ARG,V__N)
           &
           s__numberSeniorOccupant(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__SymbolicString) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__uniqueIdentifier__m,V__ARG,V__N)
           &
           s__uniqueIdentifier(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__OrganizationalProcess) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__Human) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__incomeEarned__m,V__ARG,V__N)
           &
           s__incomeEarned(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CognitiveAgent) &
         s__instance(V__ARGS2,s__ServiceProcess) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__serviceProvider__m,V__ARG,V__N)
           &
           s__serviceProvider(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__Auctioning) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__reservePrice__m,V__ARG,V__N)
           &
           s__reservePrice(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Image) &
         s__instance(V__ARGS2,s__Album) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__albumCoverImage__m,V__ARG,V__N)
           &
           s__albumCoverImage(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__SymbolicString) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__fullName__m,V__ARG,V__N)
           &
           s__fullName(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__SymbolicString) &
         s__instance(V__ARGS2,s__NonnegativeInteger) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__stringLength__m,V__ARG,V__N)
           &
           s__stringLength(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Substance) &
         s__instance(V__ARGS2,s__ChemicalProcess) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__catalyst__m,V__ARG,V__N)
           &
           s__catalyst(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Class) &
         s__instance(V__ARGS2,s__Class) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__disjoint__m,V__ARG,V__N)
           &
           s__disjoint(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__Agreement) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__subclass(V__ARGS2,s__Entity) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__negotiatedPrice__m,V__ARG,V__N)
           &
           s__negotiatedPrice(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Proposition) &
         s__instance(V__ARGS2,s__Argument) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__conclusion__m,V__ARG,V__N)
           &
           s__conclusion(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Language) &
         s__instance(V__ARGS2,s__Proposition) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__originalExpressedInLanguage__m,V__ARG,V__N)
           &
           s__originalExpressedInLanguage(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__Process) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__targetInAttack__m,V__ARG,V__N)
           &
           s__targetInAttack(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Human) &
         s__instance(V__ARGS2,s__Human) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__cohabitant__m,V__ARG,V__N)
           &
           s__cohabitant(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__UserName) &
         s__instance(V__ARGS2,s__UserAccount) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__userName__m,V__ARG,V__N)
           &
           s__userName(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__PhysicalQuantity) &
         s__instance(V__ARGS2,s__ImageFile) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__imageResolution__m,V__ARG,V__N)
           &
           s__imageResolution(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__Language) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__SymbolicString) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__relatedExternalConcept__m,V__ARG,V__N)
           &
           s__relatedExternalConcept(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CognitiveAgent) &
         s__instance(V__ARGS2,s__Loan) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__borrower__m,V__ARG,V__N)
           &
           s__borrower(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Agent) &
         s__instance(V__ARGS2,s__SymbolicString) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__emailAddress__m,V__ARG,V__N)
           &
           s__emailAddress(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__CurrencyMeasure) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Day) &
         s__instance(V__ARGS2,s__FinancialAccount) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__availableCash__m,V__ARG,V__N)
           &
           s__availableCash(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__SymbolicString) &
         s__instance(V__ARGS2,s__Organization) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__aimOfOrganization__m,V__ARG,V__N)
           &
           s__aimOfOrganization(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Collection) &
         s__instance(V__ARGS2,s__Collection) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__meceCollection__m,V__ARG,V__N)
           &
           s__meceCollection(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Process) &
         s__instance(V__ARGS2,s__Process) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__coordinates__m,V__ARG,V__N)
           &
           s__coordinates(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__agriculturalProductType__m,V__ARG,V__N)
           &
           s__agriculturalProductType(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__NaturalSubstance) &
         s__subclass(V__ARGS2,s__OrganicObject) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__secretesSubstance__m,V__ARG,V__N)
           &
           s__secretesSubstance(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__DataStorageDevice) &
         s__instance(V__ARGS2,s__ContentBearingObject) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__stored__m,V__ARG,V__N)
           &
           s__stored(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__OneDimensionalFigure) &
         s__instance(V__ARGS2,s__OneDimensionalFigure) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__parallel__m,V__ARG,V__N)
           &
           s__parallel(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__Attribute) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Attribute) &
         s__instance(V__ARGS2,s__Attribute) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__contraryAttribute__m,V__ARG,V__N)
           &
           s__contraryAttribute__3(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CognitiveAgent) &
         s__instance(V__ARGS2,s__Formula) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__holdsRight__m,V__ARG,V__N)
           &
           s__holdsRight(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Agent) &
         s__instance(V__ARGS2,s__GeographicArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__claimedTerritory__m,V__ARG,V__N)
           &
           s__claimedTerritory(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Agent) &
         s__instance(V__ARGS2,s__SymbolicString) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__agentName__m,V__ARG,V__N)
           &
           s__agentName(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TruthValue) &
         s__instance(V__ARGS2,s__Sentence) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__truth__m,V__ARG,V__N)
           &
           s__truth(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__RealNumber) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__lowestDecileShareOfHouseholdIncome__m,V__ARG,V__N)
           &
           s__lowestDecileShareOfHouseholdIncome(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Agent) &
         s__instance(V__ARGS2,s__Organization) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__legislativeBranch__m,V__ARG,V__N)
           &
           s__legislativeBranch(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__TimePosition) &
         s__instance(V__ARGS2,s__Proposition) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__dateOpenedForSignature__m,V__ARG,V__N)
           &
           s__dateOpenedForSignature(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__Process) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__involvedInEvent__m,V__ARG,V__N)
           &
           s__involvedInEvent(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__totalGDP__m,V__ARG,V__N)
           &
           s__totalGDP(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Artifact) &
         s__instance(V__ARGS2,s__CorpuscularObject) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__powerComponent__m,V__ARG,V__N)
           &
           s__powerComponent(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__VolumeMeasure) &
         s__instance(V__ARGS2,s__IntermittentCombustionEngine) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__engineDisplacement__m,V__ARG,V__N)
           &
           s__engineDisplacement(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Formula) &
         s__instance(V__ARGS2,s__CognitiveAgent) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__doubts__m,V__ARG,V__N)
           &
           s__doubts(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS5,V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS5,s__Attribute) &
         s__instance(V__ARGS4,s__Attribute) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Attribute) &
         s__subclass(V__ARGS2,s__Attribute) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__exhaustiveAttribute__m,V__ARG,V__N)
           &
           s__exhaustiveAttribute__4(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Object) &
         s__subclass(V__ARGS2,s__Object) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__typicalPart__m,V__ARG,V__N)
           &
           s__typicalPart(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimeDuration) &
         s__instance(V__ARGS2,s__ComputerProgram) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__softwareHeartBeatRate__m,V__ARG,V__N)
           &
           s__softwareHeartBeatRate(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__annualExportTotal__m,V__ARG,V__N)
           &
           s__annualExportTotal(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__WaterArea) &
         s__instance(V__ARGS2,s__WaterMotion) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__flowCurrent__m,V__ARG,V__N)
           &
           s__flowCurrent(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__LengthMeasure) &
         s__subclass(V__ARGS2,s__Object) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__defaultMaximumHeight__m,V__ARG,V__N)
           &
           s__defaultMaximumHeight(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__FinancialAccount) &
         s__instance(V__ARGS2,s__BankStatement) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__statementAccount__m,V__ARG,V__N)
           &
           s__statementAccount(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__annualImportTotal__m,V__ARG,V__N)
           &
           s__annualImportTotal(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__LengthMeasure) &
         s__instance(V__ARGS2,s__GeographicArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__lengthOfMultipleTrackRailway__m,V__ARG,V__N)
           &
           s__lengthOfMultipleTrackRailway(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__PositiveInteger) &
         s__instance(V__ARGS2,s__Computer) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__numberOfCPUs__m,V__ARG,V__N)
           &
           s__numberOfCPUs(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__TransportationDevice) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__cargoType__m,V__ARG,V__N)
           &
           s__cargoType(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Holiday) &
         s__instance(V__ARGS2,s__CognitiveAgent) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__observesHoliday__m,V__ARG,V__N)
           &
           s__observesHoliday(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Substance) &
         s__instance(V__ARGS2,s__LandArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__groundSubsurfaceType__m,V__ARG,V__N)
           &
           s__groundSubsurfaceType(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Quantity) &
         s__instance(V__ARGS2,s__Class) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__total__m,V__ARG,V__N)
           &
           s__total(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Process) &
         s__instance(V__ARGS2,s__Process) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__causes__m,V__ARG,V__N)
           &
           s__causes(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Experimenting) &
         s__instance(V__ARGS2,s__Collection) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__treatmentGroup__m,V__ARG,V__N)
           &
           s__treatmentGroup(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__PhysicalState) &
         s__instance(V__ARGS2,s__WeatherProcess) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__precipitationState__m,V__ARG,V__N)
           &
           s__precipitationState(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__BankStatement) &
         s__instance(V__ARGS2,s__FinancialAccount) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__lastStatement__m,V__ARG,V__N)
           &
           s__lastStatement(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__Object) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__connectedDownstream__m,V__ARG,V__N)
           &
           s__connectedDownstream(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Agent) &
         s__instance(V__ARGS2,s__TelecomNumber) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__faxNumber__m,V__ARG,V__N)
           &
           s__faxNumber(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Day) &
         s__instance(V__ARGS2,s__Human) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__deathdate__m,V__ARG,V__N)
           &
           s__deathdate(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__NonnegativeInteger) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__GeopoliticalArea) &
         s__instance(V__ARGS2,s__MerchantMarine) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__fOCShipsByOrigin__m,V__ARG,V__N)
           &
           s__fOCShipsByOrigin(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__IllicitDrug) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__illicitDrugConsumer__m,V__ARG,V__N)
           &
           s__illicitDrugConsumer(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__LengthMeasure) &
         s__instance(V__ARGS2,s__GeographicArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__lengthOfNarrowGaugeRailway__m,V__ARG,V__N)
           &
           s__lengthOfNarrowGaugeRailway(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__MassMeasure) &
         s__instance(V__ARGS2,s__WaterVehicle) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__vesselDeadWeightTonnage__m,V__ARG,V__N)
           &
           s__vesselDeadWeightTonnage(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__WebSite) &
         s__instance(V__ARGS2,s__WebPage) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__homePage__m,V__ARG,V__N)
           &
           s__homePage(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Integer) &
         s__instance(V__ARGS2,s__BinaryFunction) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__identityElement__m,V__ARG,V__N)
           &
           s__identityElement(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__subclass(V__ARGS4,s__TimeInterval) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__RealNumber) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__realGrowthRateOfGDPInPeriod__m,V__ARG,V__N)
           &
           s__realGrowthRateOfGDPInPeriod(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__UserAccount) &
         s__instance(V__ARGS2,s__ComputerPassword) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__password__m,V__ARG,V__N)
           &
           s__password(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__PostalPlace) &
         s__instance(V__ARGS2,s__SymbolicString) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__unitNumber__m,V__ARG,V__N)
           &
           s__unitNumber(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimePoint) &
         s__instance(V__ARGS2,s__CognitiveAgent) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__checkOutTime__m,V__ARG,V__N)
           &
           s__checkOutTime(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__SymbolicString) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__LexiconCategory) &
         s__instance(V__ARGS2,s__SetOrClass) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__lexicon__m,V__ARG,V__N)
           &
           s__lexicon(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CognitiveAgent) &
         s__instance(V__ARGS2,s__CognitiveAgent) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__customer__m,V__ARG,V__N)
           &
           s__customer(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Discography) &
         s__instance(V__ARGS2,s__CognitiveAgent) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__discography__m,V__ARG,V__N)
           &
           s__discography(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__Process) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__result__m,V__ARG,V__N)
           &
           s__result(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CognitiveAgent) &
         s__instance(V__ARGS2,s__CognitiveAgent) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__approves__m,V__ARG,V__N)
           &
           s__approves(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__GrammaticalGender) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__NaturalLanguage) &
         s__instance(V__ARGS2,s__Noun) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__nounGender__m,V__ARG,V__N)
           &
           s__nounGender(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__EducationalOrganization) &
         s__instance(V__ARGS2,s__Human) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__student__m,V__ARG,V__N)
           &
           s__student(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__TimePosition) &
         s__instance(V__ARGS2,s__Physical) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__dateEstablished__m,V__ARG,V__N)
           &
           s__dateEstablished(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__Loan) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__loanFeeAmount__m,V__ARG,V__N)
           &
           s__loanFeeAmount(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Organism) &
         s__instance(V__ARGS2,s__Organism) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__ancestor__m,V__ARG,V__N)
           &
           s__ancestor(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Organism) &
         s__instance(V__ARGS2,s__Organism) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__sibling__m,V__ARG,V__N)
           &
           s__sibling(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__RoomInventory) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__someRoomsPhysicalAmenity__m,V__ARG,V__N)
           &
           s__someRoomsPhysicalAmenity(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Experimenting) &
         s__instance(V__ARGS2,s__Human) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__treatedUser__m,V__ARG,V__N)
           &
           s__treatedUser(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimePoint) &
         s__instance(V__ARGS2,s__Agreement) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__agreementEffectiveDate__m,V__ARG,V__N)
           &
           s__agreementEffectiveDate(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__Object) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__completelyFills__m,V__ARG,V__N)
           &
           s__completelyFills(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__CurrencyMeasure) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Investment) &
         s__instance(V__ARGS2,s__CognitiveAgent) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__potentialLoss__m,V__ARG,V__N)
           &
           s__potentialLoss(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__GeopoliticalArea) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__dependentGeopoliticalArea__m,V__ARG,V__N)
           &
           s__dependentGeopoliticalArea(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__MilitaryOperation) &
         s__instance(V__ARGS2,s__Region) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__areaOfOperation__m,V__ARG,V__N)
           &
           s__areaOfOperation(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__WebStore) &
         s__instance(V__ARGS2,s__Advertising) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__webStoreAdvertisement__m,V__ARG,V__N)
           &
           s__webStoreAdvertisement(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__GeometricFigure) &
         s__instance(V__ARGS2,s__OneDimensionalFigure) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__sideOfFigure__m,V__ARG,V__N)
           &
           s__sideOfFigure(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__Process) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__origin__m,V__ARG,V__N)
           &
           s__origin(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Proposition) &
         s__instance(V__ARGS2,s__Region) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__capacityByArrangement__m,V__ARG,V__N)
           &
           s__capacityByArrangement(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TemperatureMeasure) &
         s__subclass(V__ARGS2,s__PureSubstance) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__meltingPoint__m,V__ARG,V__N)
           &
           s__meltingPoint(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__CurrencyMeasure) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Day) &
         s__instance(V__ARGS2,s__FinancialAccount) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__buyingPowerAmount__m,V__ARG,V__N)
           &
           s__buyingPowerAmount(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Human) &
         s__instance(V__ARGS2,s__SymbolicString) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__middleName__m,V__ARG,V__N)
           &
           s__middleName(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS7,V__ARGS6,V__ARGS5,V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS7,s__Class) &
         s__instance(V__ARGS6,s__Class) &
         s__instance(V__ARGS5,s__Class) &
         s__instance(V__ARGS4,s__Class) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Class) &
         s__instance(V__ARGS2,s__Class) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__disjointDecomposition__m,V__ARG,V__N)
           &
           s__disjointDecomposition__6(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__6Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6,V__ARGS7)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Sentence) &
         s__instance(V__ARGS2,s__NounPhrase) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__sententialObject__m,V__ARG,V__N)
           &
           s__sententialObject(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimeDuration) &
         s__instance(V__ARGS2,s__ComputerPath) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__batchLatency__m,V__ARG,V__N)
           &
           s__batchLatency(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimeDuration) &
         s__instance(V__ARGS2,s__ComputerResponse) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__responseRate__m,V__ARG,V__N)
           &
           s__responseRate(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__Agent) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__representsForAgent__m,V__ARG,V__N)
           &
           s__representsForAgent(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Integer) &
         s__instance(V__ARGS2,s__Organization) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__yearOfFounding__m,V__ARG,V__N)
           &
           s__yearOfFounding(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__Agent) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__Object) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__askPrice__m,V__ARG,V__N)
           &
           s__askPrice(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Organization) &
         s__instance(V__ARGS2,s__Election) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__electionForOrganization__m,V__ARG,V__N)
           &
           s__electionForOrganization(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Man) &
         s__instance(V__ARGS2,s__Human) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__grandfather__m,V__ARG,V__N)
           &
           s__grandfather(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TemperatureMeasure) &
         s__instance(V__ARGS2,s__Device) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__minDeviceOperatingTemp__m,V__ARG,V__N)
           &
           s__minDeviceOperatingTemp(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__Loan) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__loanInterest__m,V__ARG,V__N)
           &
           s__loanInterest(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Group) &
         s__instance(V__ARGS2,s__Agent) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__associateInOrganization__m,V__ARG,V__N)
           &
           s__associateInOrganization(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__Language) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__SymbolicString) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__titleInLanguage__m,V__ARG,V__N)
           &
           s__titleInLanguage(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TaskRelationAttribute) &
         s__instance(V__ARGS2,s__RealtimeSystem) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__taskRelation__m,V__ARG,V__N)
           &
           s__taskRelation(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__subclass(V__ARGS4,s__TimeInterval) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Agent) &
         s__instance(V__ARGS2,s__Agent) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__importPartnerInPeriod__m,V__ARG,V__N)
           &
           s__importPartnerInPeriod(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__BinaryRelation) &
         s__instance(V__ARGS2,s__BinaryRelation) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__inverse__m,V__ARG,V__N)
           &
           s__inverse(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TransitSystem) &
         s__instance(V__ARGS2,s__Transitway) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__pathInSystem__m,V__ARG,V__N)
           &
           s__pathInSystem(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__FormOfGovernment) &
         s__instance(V__ARGS2,s__Organization) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__ideologicalAffiliationOfOrganization__m,V__ARG,V__N)
           &
           s__ideologicalAffiliationOfOrganization(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__CurrencyMeasure) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__FinancialTransaction) &
         s__instance(V__ARGS2,s__FinancialOrganization) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__serviceFee__m,V__ARG,V__N)
           &
           s__serviceFee(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Interest) &
         s__instance(V__ARGS2,s__Bond) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__couponInterest__m,V__ARG,V__N)
           &
           s__couponInterest(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__LengthMeasure) &
         s__instance(V__ARGS2,s__WaterArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__waterDepth__m,V__ARG,V__N)
           &
           s__waterDepth(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__FieldOfStudy) &
         s__instance(V__ARGS2,s__Human) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__hasExpertise__m,V__ARG,V__N)
           &
           s__hasExpertise(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__Object) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__copy__m,V__ARG,V__N)
           &
           s__copy(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__SelfConnectedObject) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__contains__m,V__ARG,V__N)
           &
           s__contains(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Human) &
         s__instance(V__ARGS2,s__Human) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__friend__m,V__ARG,V__N)
           &
           s__friend(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Experimenting) &
         s__instance(V__ARGS2,s__Collection) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__controlGroup__m,V__ARG,V__N)
           &
           s__controlGroup(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__RealNumber) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__realGrowthRateOfGDP__m,V__ARG,V__N)
           &
           s__realGrowthRateOfGDP(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__GUIElement) &
         s__instance(V__ARGS2,s__GUIElement) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__guiElementCoveredBy__m,V__ARG,V__N)
           &
           s__guiElementCoveredBy(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__ClimateZone) &
         s__instance(V__ARGS2,s__GeographicArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__climateTypeInArea__m,V__ARG,V__N)
           &
           s__climateTypeInArea(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__Language) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__LinguisticExpression) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__representsInLanguage__m,V__ARG,V__N)
           &
           s__representsInLanguage(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__UserAccount) &
         s__instance(V__ARGS2,s__ComputerProcess) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__accountUsed__m,V__ARG,V__N)
           &
           s__accountUsed(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__LengthMeasure) &
         s__instance(V__ARGS2,s__GeographicArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__lengthOfElectrifiedRailway__m,V__ARG,V__N)
           &
           s__lengthOfElectrifiedRailway(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Language) &
         s__instance(V__ARGS2,s__LinguisticExpression) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__expressedInLanguage__m,V__ARG,V__N)
           &
           s__expressedInLanguage(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__FinancialAccount) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__lastStatementBalance__m,V__ARG,V__N)
           &
           s__lastStatementBalance(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__Group) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__RelationalAttribute) &
         s__instance(V__ARGS2,s__Agent) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__associateWithStatus__m,V__ARG,V__N)
           &
           s__associateWithStatus(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__ComputerNetwork) &
         s__instance(V__ARGS2,s__HardwareSystem) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__defaultNetwork__m,V__ARG,V__N)
           &
           s__defaultNetwork(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Business) &
         s__instance(V__ARGS2,s__Organization) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__businessUnit__m,V__ARG,V__N)
           &
           s__businessUnit(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Language) &
         s__instance(V__ARGS2,s__Language) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__subLanguage__m,V__ARG,V__N)
           &
           s__subLanguage(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__LengthMeasure) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimeInterval) &
         s__instance(V__ARGS2,s__Region) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__lowTide__m,V__ARG,V__N)
           &
           s__lowTide(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__SymbolicString) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__internetCountryCode__m,V__ARG,V__N)
           &
           s__internetCountryCode(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Computer) &
         s__instance(V__ARGS2,s__ComputationalSystem) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__hostOf__m,V__ARG,V__N)
           &
           s__hostOf(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Attribute) &
         s__subclass(V__ARGS2,s__Attribute) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__exhaustiveAttribute__m,V__ARG,V__N)
           &
           s__exhaustiveAttribute__2(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS2,s__SymbolicString) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__abbreviation__m,V__ARG,V__N)
           &
           s__abbreviation(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__Quantity) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Device) &
         s__instance(V__ARGS2,s__Object) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__equipmentCount__m,V__ARG,V__N)
           &
           s__equipmentCount(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Quantity) &
         s__subclass(V__ARGS2,s__Object) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__defaultMeasure__m,V__ARG,V__N)
           &
           s__defaultMeasure(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Region) &
         s__instance(V__ARGS2,s__Human) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__baptismplace__m,V__ARG,V__N)
           &
           s__baptismplace(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__Loan) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__loanForPurchase__m,V__ARG,V__N)
           &
           s__loanForPurchase(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__Agent) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Formula) &
         s__instance(V__ARGS2,s__Physical) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__hasPurposeForAgent__m,V__ARG,V__N)
           &
           s__hasPurposeForAgent(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__LengthMeasure) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__LengthMeasure) &
         s__instance(V__ARGS2,s__Vehicle) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__maximumPayloadHeightWidth__m,V__ARG,V__N)
           &
           s__maximumPayloadHeightWidth(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__ShapeAttribute) &
         s__instance(V__ARGS2,s__Physical) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__shape__m,V__ARG,V__N)
           &
           s__shape(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TelecomNumber) &
         s__instance(V__ARGS2,s__UserAccount) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__accountPhoneNumber__m,V__ARG,V__N)
           &
           s__accountPhoneNumber(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__SocialRole) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__SocialRole) &
         s__instance(V__ARGS2,s__Agent) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__roleAppointsRole__m,V__ARG,V__N)
           &
           s__roleAppointsRole(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__LengthMeasure) &
         s__instance(V__ARGS2,s__GeographicArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__lengthOfUnpavedHighway__m,V__ARG,V__N)
           &
           s__lengthOfUnpavedHighway(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Organization) &
         s__instance(V__ARGS2,s__Proposition) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__insured__m,V__ARG,V__N)
           &
           s__insured(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__SymbolicString) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__externalImage__m,V__ARG,V__N)
           &
           s__externalImage(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Computer) &
         s__subclass(V__ARGS2,s__ComputerProgram) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__deviceOS__m,V__ARG,V__N)
           &
           s__deviceOS(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Agent) &
         s__instance(V__ARGS2,s__Process) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__benefits__m,V__ARG,V__N)
           &
           s__benefits(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS5,V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS5,s__TimeInterval) &
         s__instance(V__ARGS4,s__CurrencyMeasure) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Organization) &
         s__instance(V__ARGS2,s__Agent) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__grossMerchandiseBoughtInPeriod__m,V__ARG,V__N)
           &
           s__grossMerchandiseBoughtInPeriod(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__RelationalAttribute) &
         s__instance(V__ARGS2,s__MealPlan) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__includedMeal__m,V__ARG,V__N)
           &
           s__includedMeal(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__subclass(V__ARGS4,s__TimeInterval) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__capitalExpendituresOfAreaInPeriod__m,V__ARG,V__N)
           &
           s__capitalExpendituresOfAreaInPeriod(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Physical) &
         s__subclass(V__ARGS2,s__HotelUnit) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__roomAmenity__m,V__ARG,V__N)
           &
           s__roomAmenity(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__OrganizationalProcess) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__Human) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__afterTaxIncome__m,V__ARG,V__N)
           &
           s__afterTaxIncome(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__Integer) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Integer) &
         s__instance(V__ARGS2,s__Relation) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__exactCardinality__m,V__ARG,V__N)
           &
           s__exactCardinality(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Organization) &
         s__instance(V__ARGS2,s__Recording) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__recordingCompany__m,V__ARG,V__N)
           &
           s__recordingCompany(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__LengthMeasure) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimePosition) &
         s__instance(V__ARGS2,s__Region) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__visibilityInMeteorology__m,V__ARG,V__N)
           &
           s__visibilityInMeteorology(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__Object) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CognitiveAgent) &
         s__instance(V__ARGS2,s__Contest) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__contestParticipantRepresentation__m,V__ARG,V__N)
           &
           s__contestParticipantRepresentation(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__Object) &
         s__subclass(V__ARGS2,s__Object) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__typicallyContainsPart__m,V__ARG,V__N)
           &
           s__typicallyContainsPart(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__LengthMeasure) &
         s__instance(V__ARGS2,s__Radiating) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__wavelength__m,V__ARG,V__N)
           &
           s__wavelength(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__IntentionalProcess) &
         s__instance(V__ARGS2,s__CognitiveAgent) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__enjoys__m,V__ARG,V__N)
           &
           s__enjoys(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__Human) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Position) &
         s__instance(V__ARGS2,s__GeopoliticalArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__chiefOfState__m,V__ARG,V__N)
           &
           s__chiefOfState(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS2,s__HotelUnit) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__freeRoomAmenity__m,V__ARG,V__N)
           &
           s__freeRoomAmenity(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__AreaOfConcern) &
         s__instance(V__ARGS2,s__Agent) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__organizationalObjective__m,V__ARG,V__N)
           &
           s__organizationalObjective(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Quantity) &
         s__instance(V__ARGS2,s__Quantity) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__greaterThanOrEqualTo__m,V__ARG,V__N)
           &
           s__greaterThanOrEqualTo(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TimeInterval) &
         s__instance(V__ARGS2,s__PricingScheme) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__validityPeriod__m,V__ARG,V__N)
           &
           s__validityPeriod(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Agent) &
         s__instance(V__ARGS2,s__PostalPlace) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__postContactSite__m,V__ARG,V__N)
           &
           s__postContactSite(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__AstronomicalBody) &
         s__instance(V__ARGS2,s__Object) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__orbits__m,V__ARG,V__N)
           &
           s__orbits(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__subclass(V__ARGS3,s__TimeInterval) &
         s__instance(V__ARGS2,s__GeographicArea) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__drySeasonInArea__m,V__ARG,V__N)
           &
           s__drySeasonInArea(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__CurrencyMeasure) &
         s__instance(V__ARGS2,s__ChargingAFee) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__amountCharged__m,V__ARG,V__N)
           &
           s__amountCharged(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__Animal) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__burialplace__m,V__ARG,V__N)
           &
           s__burialplace(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARGS4,V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARGS4,s__PositionalAttribute) &
         s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__Object) &
         s__instance(V__ARGS2,s__Object) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__orientation__m,V__ARG,V__N)
           &
           s__orientation(V__ARGS2,V__ARGS3,V__ARGS4)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__TemperatureMeasure) &
         s__instance(V__ARGS2,s__Device) &
         s__instance(V__N,s__Quantity) &
         s__instance(V__VAL,s__Quantity))
       =>
       (((s__minValue(s__maxDeviceOperatingTemp__m,V__ARG,V__N)
           &
           s__maxDeviceOperatingTemp(V__ARGS2,V__ARGS3)
         &
         (V__VAL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3)
        ,V__ARG)))
   =>
   (s__greaterThan(V__VAL,V__N)))))
)
)

( ! [V__ARG,V__ARGS3,V__ARGS2,V__N,V__VAL] :
   (((s__instance(V__ARG,s__PositiveInteger) &
         s__instance(V__ARGS3,s__SymbolicString) &
         s__instance(V__ARGS2,