TreeView Knowledge Base Browser - CardinalityFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - CardinalityFn

CardinalityFn

appearance as argument number 1

s__documentation(s__CardinalityFn__m,s__ChineseLanguage,'""')	chinese_format.kif 2309-2309
s__documentation(s__CardinalityFn__m,s__EnglishLanguage,'"(CardinalityFn ?CLASS) returns the number of instances in the SetOrClass ?CLASS or the number of members in the ?CLASS Collection."')	Merge.kif 5308-5310
s__domain(s__CardinalityFn__m,n__1,s__UnionFn(s__SetOrClass,s__Collection))	Merge.kif 5305-5305	The number 1 argument of cardinality is an instance of the union of set or class and collection
s__instance(s__UnaryFunction,s__Class) s__instance(s__CardinalityFn__m,s__UnaryFunction)	Merge.kif 5304-5304	Cardinality is an instance of unary function
s__range(s__CardinalityFn__m,s__Integer)	Merge.kif 5306-5306	The range of cardinality is an instance of integer

appearance as argument number 2

s__format(s__ChineseLanguage,s__CardinalityFn__m,'"%1 instance 的数量"')	chinese_format.kif 506-506
s__format(s__EnglishLanguage,s__CardinalityFn__m,'"the number of instances in %1"')	english_format.kif 511-511
s__termFormat(s__ChineseLanguage,s__CardinalityFn__m,'"势函数"')	chinese_format.kif 507-507
s__termFormat(s__ChineseLanguage,s__CardinalityFn__m,'"基数"')	domainEnglishFormat.kif 13215-13215
s__termFormat(s__ChineseTraditionalLanguage,s__CardinalityFn__m,'"基數"')	domainEnglishFormat.kif 13214-13214
s__termFormat(s__EnglishLanguage,s__CardinalityFn__m,'"cardinality"')	domainEnglishFormat.kif 13213-13213

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 961-965	An entity is an instance of personal account and the number of instances in the class described by a symbolic string is greater than 1 if and only if the entity is an instance of joint account
( ! [V__CITIZENRY,V__POPULATION,V__AREA] : (((s__instance(V__CITIZENRY,s__Integer) & s__instance(V__POPULATION,s__Integer)) => (((s__instance(V__AREA,s__GeopoliticalArea) & (V__CITIZENRY = s__CardinalityFn(s__CitizenryFn(V__AREA))) & (V__POPULATION = s__CardinalityFn(s__ResidentFn(V__AREA)))) => (s__greaterThanOrEqualTo(V__POPULATION,V__CITIZENRY))))) ) )	Mid-level-ontology.kif 7690-7697	If a geopolitical area is an instance of geopolitical area and an integer is equal to the number of instances in the citizenry of the geopolitical area and another integer is equal to the number of instances in the resident of the geopolitical area, then the other integer is greater than or equal to the integer
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3447-3467	If a collection is an instance of collection and a number is an instance of currency measure and an integer is an instance of real number and the number is equal to the value of the collection and the integer is equal to the number of instances in the class described by a symbolic string, then the average price of the collection is equal to the number and the integer
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3490-3510	If a collection is an instance of collection and a number is an instance of currency measure and an integer is an instance of real number and the number is equal to the value of the collection and the integer is equal to the number of instances in the class described by a symbolic string, then the average selling price of the collection is equal to the number and the integer
( ! [V__COUNT,V__SET] : ((s__instance(V__COUNT,s__NonnegativeInteger) => (((s__instance(V__SET,s__SetOrClass) & (s__CardinalityFn(V__SET) = V__COUNT)) => (s__cardinality(V__SET,V__COUNT))))) ) )	Government.kif 435-439	If a set or class is an instance of set or class and the number of instances in the set or class is equal to a nonnegative integer, then the nonnegative integer is a cardinality of the set or class

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 108-121	The births per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the number is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 142-155	The deaths per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the number is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 257-281	The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to a number and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the number is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 415-446	The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 327-357	The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 371-402	The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 225-242	The male to female ratio of a geopolitical area is equal to a real number if and only if an integer is equal to the number of instances in the class described by a symbolic string and another integer is equal to the number of instances in the class described by another symbolic string and the integer and the other integer is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 178-206	The migrants per thousand of a geopolitical area and the year an integer is equal to a real number if and only if (the integer and a number) is equal to 1 and the population of the geopolitical area is equal to another number holds during the year the integer and the other number and 1000 is equal to a third number and another integer is equal to the number of instances in the class described by a symbolic string and a third integer is equal to the number of instances in the class described by the symbolic string and (the other integer and the third integer) is equal to a fourth number and the fourth number and the third number is equal to the real number
( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Attribute)) => (((s__exactCardinality(s__property__m,V__ARG,V__COUNT) & s__instance(s__property__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__property(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__TemperatureMeasure) & s__instance(V__ARGS2,s__Device)) => (((s__exactCardinality(s__minDeviceOperatingTemp__m,V__ARG,V__COUNT) & s__instance(s__minDeviceOperatingTemp__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__minDeviceOperatingTemp(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__TimeInterval) & s__instance(V__ARGS2,s__TimeInterval)) => (((s__exactCardinality(s__earlier__m,V__ARG,V__COUNT) & s__instance(s__earlier__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__earlier(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__TimeInterval) & s__instance(V__ARGS2,s__BankStatement)) => (((s__exactCardinality(s__statementPeriod__m,V__ARG,V__COUNT) & s__instance(s__statementPeriod__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__statementPeriod(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__Agent) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Position) & s__instance(V__ARGS2,s__Agent)) => (((s__exactCardinality(s__diplomaticRepresentationType__m,V__ARG,V__COUNT) & s__instance(s__diplomaticRepresentationType__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__diplomaticRepresentationType(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__LengthMeasure) & s__instance(V__ARGS2,s__WaterArea)) => (((s__exactCardinality(s__navigableForDraft__m,V__ARG,V__COUNT) & s__instance(s__navigableForDraft__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__navigableForDraft(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__PositiveInteger) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__IndustryAttribute) & s__instance(V__ARGS2,s__GeopoliticalArea)) => (((s__exactCardinality(s__industryRankByOutput__m,V__ARG,V__COUNT) & s__instance(s__industryRankByOutput__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__industryRankByOutput(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Organization) & s__instance(V__ARGS2,s__Proposition)) => (((s__exactCardinality(s__insured__m,V__ARG,V__COUNT) & s__instance(s__insured__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__insured(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Object) & s__instance(V__ARGS2,s__Process)) => (((s__exactCardinality(s__eventPartlyLocated__m,V__ARG,V__COUNT) & s__instance(s__eventPartlyLocated__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__eventPartlyLocated(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Physical) & s__instance(V__ARGS2,s__Physical)) => (((s__exactCardinality(s__flows__m,V__ARG,V__COUNT) & s__instance(s__flows__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__flows(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__DigitalData) & s__instance(V__ARGS2,s__SymbolicString)) => (((s__exactCardinality(s__filename__m,V__ARG,V__COUNT) & s__instance(s__filename__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__filename(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__WebSite) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Human) & s__instance(V__ARGS2,s__Collection)) => (((s__exactCardinality(s__webSales__m,V__ARG,V__COUNT) & s__instance(s__webSales__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__webSales(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__Longitude) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Latitude) & s__instance(V__ARGS2,s__Object)) => (((s__exactCardinality(s__objectGeographicCoordinates__m,V__ARG,V__COUNT) & s__instance(s__objectGeographicCoordinates__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__objectGeographicCoordinates(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__CurrencyMeasure) & s__instance(V__ARGS2,s__LimitOrder)) => (((s__exactCardinality(s__limitPrice__m,V__ARG,V__COUNT) & s__instance(s__limitPrice__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__limitPrice(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__PhysicalQuantity) & s__instance(V__ARGS2,s__ImageFile)) => (((s__exactCardinality(s__imageResolution__m,V__ARG,V__COUNT) & s__instance(s__imageResolution__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__imageResolution(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__CognitiveAgent) & s__instance(V__ARGS2,s__CognitiveAgent)) => (((s__exactCardinality(s__buys__m,V__ARG,V__COUNT) & s__instance(s__buys__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__buys(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger)) => (((s__exactCardinality(s__relatedInternalConcept__m,V__ARG,V__COUNT) & s__instance(s__relatedInternalConcept__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__relatedInternalConcept(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__RealNumber) & s__instance(V__ARGS2,s__GeopoliticalArea)) => (((s__exactCardinality(s__industrialProductionGrowthRate__m,V__ARG,V__COUNT) & s__instance(s__industrialProductionGrowthRate__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__industrialProductionGrowthRate(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__LengthMeasure) & s__instance(V__ARGS2,s__GeographicArea)) => (((s__exactCardinality(s__lengthOfCrudeOilPipeline__m,V__ARG,V__COUNT) & s__instance(s__lengthOfCrudeOilPipeline__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__lengthOfCrudeOilPipeline(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__GeopoliticalArea) & s__instance(V__ARGS2,s__WaterVehicle)) => (((s__exactCardinality(s__flagState__m,V__ARG,V__COUNT) & s__instance(s__flagState__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__flagState(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__GeopoliticalArea) & s__instance(V__ARGS2,s__PoliticalParty)) => (((s__exactCardinality(s__politicalPartyOfCountry__m,V__ARG,V__COUNT) & s__instance(s__politicalPartyOfCountry__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__politicalPartyOfCountry(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__InternetDomain) & s__instance(V__ARGS2,s__IPAddress)) => (((s__exactCardinality(s__ipOfDomain__m,V__ARG,V__COUNT) & s__instance(s__ipOfDomain__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__ipOfDomain(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__Language) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS2,s__SymbolicString)) => (((s__exactCardinality(s__sortingTitle__m,V__ARG,V__COUNT) & s__instance(s__sortingTitle__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__sortingTitle(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__ConstantQuantity) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__TimeDuration) & s__instance(V__ARGS2,s__GeographicArea)) => (((s__exactCardinality(s__totalPrecipitationForPeriod__m,V__ARG,V__COUNT) & s__instance(s__totalPrecipitationForPeriod__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__totalPrecipitationForPeriod(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Vehicle) & s__instance(V__ARGS2,s__SelfConnectedObject)) => (((s__exactCardinality(s__onboard__m,V__ARG,V__COUNT) & s__instance(s__onboard__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__onboard(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Object) & s__instance(V__ARGS2,s__Shipping)) => (((s__exactCardinality(s__cargo__m,V__ARG,V__COUNT) & s__instance(s__cargo__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__cargo(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__TimePosition) & s__instance(V__ARGS2,s__GeopoliticalArea)) => (((s__exactCardinality(s__holidayTimeInArea__m,V__ARG,V__COUNT) & s__instance(s__holidayTimeInArea__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__holidayTimeInArea(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__PhysicalQuantity) & s__instance(V__ARGS2,s__GeopoliticalArea)) => (((s__exactCardinality(s__annualElectricityExport__m,V__ARG,V__COUNT) & s__instance(s__annualElectricityExport__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__annualElectricityExport(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__subclass(V__ARGS3,s__Plant) & s__subclass(V__ARGS2,s__PlantAnatomicalStructure)) => (((s__exactCardinality(s__productOfPlant__m,V__ARG,V__COUNT) & s__instance(s__productOfPlant__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__productOfPlant(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__subclass(V__ARGS4,s__TimeInterval) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__RealNumber) & s__instance(V__ARGS2,s__GeopoliticalArea)) => (((s__exactCardinality(s__highestDecileShareOfHouseholdIncomeInPeriod__m,V__ARG,V__COUNT) & s__instance(s__highestDecileShareOfHouseholdIncomeInPeriod__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__highestDecileShareOfHouseholdIncomeInPeriod(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__WebSite) & s__instance(V__ARGS2,s__Agent)) => (((s__exactCardinality(s__confirmedRegisteredUser__m,V__ARG,V__COUNT) & s__instance(s__confirmedRegisteredUser__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__confirmedRegisteredUser(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Integer) & s__instance(V__ARGS2,s__Collection)) => (((s__exactCardinality(s__memberCount__m,V__ARG,V__COUNT) & s__instance(s__memberCount__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__memberCount(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Plan) & s__instance(V__ARGS2,s__Plan)) => (((s__exactCardinality(s__subPlan__m,V__ARG,V__COUNT) & s__instance(s__subPlan__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__subPlan(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__subclass(V__ARGS4,s__MakingMusic) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Human) & s__instance(V__ARGS2,s__MusicRecording)) => (((s__exactCardinality(s__musician__m,V__ARG,V__COUNT) & s__instance(s__musician__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__musician(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Object) & s__instance(V__ARGS2,s__Object)) => (((s__exactCardinality(s__copy__m,V__ARG,V__COUNT) & s__instance(s__copy__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__copy(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__MultipoleVariable) & s__instance(V__ARGS2,s__MultipoleQuantity)) => (((s__exactCardinality(s__hasVariable__m,V__ARG,V__COUNT) & s__instance(s__hasVariable__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__hasVariable(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Object) & s__instance(V__ARGS2,s__Animal)) => (((s__exactCardinality(s__deathplace__m,V__ARG,V__COUNT) & s__instance(s__deathplace__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__deathplace(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__List) & s__instance(V__ARGS2,s__ComputerProgram)) => (((s__exactCardinality(s__commandLineArguments__m,V__ARG,V__COUNT) & s__instance(s__commandLineArguments__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__commandLineArguments(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__GeopoliticalArea) & s__instance(V__ARGS2,s__PostalPlace)) => (((s__exactCardinality(s__postCountry__m,V__ARG,V__COUNT) & s__instance(s__postCountry__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__postCountry(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__SymbolicString) & s__instance(V__ARGS2,s__NonnegativeInteger)) => (((s__exactCardinality(s__stringLength__m,V__ARG,V__COUNT) & s__instance(s__stringLength__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__stringLength(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__TimePoint) & s__instance(V__ARGS2,s__Album)) => (((s__exactCardinality(s__albumRelease__m,V__ARG,V__COUNT) & s__instance(s__albumRelease__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__albumRelease(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__TimeInterval) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__RealNumber) & s__instance(V__ARGS2,s__GeopoliticalArea)) => (((s__exactCardinality(s__militaryExpendituresFractionOfGDPInPeriod__m,V__ARG,V__COUNT) & s__instance(s__militaryExpendituresFractionOfGDPInPeriod__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__militaryExpendituresFractionOfGDPInPeriod(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__Class) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__PositiveInteger) & s__instance(V__ARGS2,s__Relation)) => (((s__exactCardinality(s__domainSubclass__m,V__ARG,V__COUNT) & s__instance(s__domainSubclass__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__domainSubclass(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__FunctionQuantity) & s__subclass(V__ARGS2,s__BiochemicalAgent)) => (((s__exactCardinality(s__effectiveDose__m,V__ARG,V__COUNT) & s__instance(s__effectiveDose__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__effectiveDose(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__RealNumber) & s__instance(V__ARGS2,s__Human)) => (((s__exactCardinality(s__intelligenceQuotient__m,V__ARG,V__COUNT) & s__instance(s__intelligenceQuotient__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__intelligenceQuotient(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Organization) & s__instance(V__ARGS2,s__Organization)) => (((s__exactCardinality(s__successorOrganization__m,V__ARG,V__COUNT) & s__instance(s__successorOrganization__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__successorOrganization(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__subclass(V__ARGS3,s__Physical) & s__instance(V__ARGS2,s__Object)) => (((s__exactCardinality(s__viewType__m,V__ARG,V__COUNT) & s__instance(s__viewType__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__viewType(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__EducationalOrganization) & s__instance(V__ARGS2,s__Human)) => (((s__exactCardinality(s__teacher__m,V__ARG,V__COUNT) & s__instance(s__teacher__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__teacher(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__TimeInterval) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS2,s__Agent)) => (((s__exactCardinality(s__offersAtTime__m,V__ARG,V__COUNT) & s__instance(s__offersAtTime__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__offersAtTime(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__subclass(V__ARGS3,s__Computer) & s__subclass(V__ARGS2,s__ComputerProgram)) => (((s__exactCardinality(s__deviceOS__m,V__ARG,V__COUNT) & s__instance(s__deviceOS__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__deviceOS(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Object) & s__instance(V__ARGS2,s__Object)) => (((s__exactCardinality(s__covers__m,V__ARG,V__COUNT) & s__instance(s__covers__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__covers(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__MilitaryUnit) & s__instance(V__ARGS2,s__MilitaryUnit)) => (((s__exactCardinality(s__hostileForces__m,V__ARG,V__COUNT) & s__instance(s__hostileForces__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__hostileForces(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger)) => (((s__exactCardinality(s__processList__m,V__ARG,V__COUNT) & s__instance(s__processList__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__processList__1(V__ARGS2) & (V__EL = s__ListOrderFn(s__ListFn__1Fn(V__ARGS2) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__SetOrClass) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__SetOrClass) & s__instance(V__ARGS2,s__SetOrClass)) => (((s__exactCardinality(s__classIntersection__m,V__ARG,V__COUNT) & s__instance(s__classIntersection__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__classIntersection(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS2,s__Agent)) => (((s__exactCardinality(s__creator__m,V__ARG,V__COUNT) & s__instance(s__creator__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__creator(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Formula) & s__instance(V__ARGS2,s__Formula)) => (((s__exactCardinality(s__decreasesLikelihood__m,V__ARG,V__COUNT) & s__instance(s__decreasesLikelihood__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__decreasesLikelihood(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__RealNumber) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__DirectionalAttribute) & s__instance(V__ARGS2,s__LandArea)) => (((s__exactCardinality(s__slopeGradientTowardsOrientation__m,V__ARG,V__COUNT) & s__instance(s__slopeGradientTowardsOrientation__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__slopeGradientTowardsOrientation(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS5,s__CurrencyMeasure) & s__instance(V__ARGS4,s__TimeDuration) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Human) & s__instance(V__ARGS2,s__Organization)) => (((s__exactCardinality(s__monetaryWage__m,V__ARG,V__COUNT) & s__instance(s__monetaryWage__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__monetaryWage(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5) & (V__EL = s__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Human) & s__instance(V__ARGS2,s__LegalAction)) => (((s__exactCardinality(s__attorney__m,V__ARG,V__COUNT) & s__instance(s__attorney__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__attorney(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__LengthMeasure) & s__instance(V__ARGS2,s__Tremor)) => (((s__exactCardinality(s__physicalAmplitude__m,V__ARG,V__COUNT) & s__instance(s__physicalAmplitude__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__physicalAmplitude(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger)) => (((s__exactCardinality(s__immediateInstance__m,V__ARG,V__COUNT) & s__instance(s__immediateInstance__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__immediateInstance(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__ConstantQuantity) & s__instance(V__ARGS2,s__ComputerComponent)) => (((s__exactCardinality(s__load__m,V__ARG,V__COUNT) & s__instance(s__load__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__load(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__CurrencyMeasure) & s__instance(V__ARGS2,s__GeopoliticalArea)) => (((s__exactCardinality(s__annualRevenuesOfArea__m,V__ARG,V__COUNT) & s__instance(s__annualRevenuesOfArea__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__annualRevenuesOfArea(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__PositiveRealNumber) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__GeopoliticalArea) & s__instance(V__ARGS2,s__GeopoliticalArea)) => (((s__exactCardinality(s__importPartnerByFraction__m,V__ARG,V__COUNT) & s__instance(s__importPartnerByFraction__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__importPartnerByFraction(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__subclass(V__ARGS5,s__TimeInterval) & s__instance(V__ARGS4,s__Object) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__CaseRole) & s__subclass(V__ARGS2,s__Process)) => (((s__exactCardinality(s__capabilityDuring__m,V__ARG,V__COUNT) & s__instance(s__capabilityDuring__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__capabilityDuring(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5) & (V__EL = s__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__Human) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Position) & s__instance(V__ARGS2,s__GeopoliticalArea)) => (((s__exactCardinality(s__chiefOfState__m,V__ARG,V__COUNT) & s__instance(s__chiefOfState__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__chiefOfState(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__ConstantQuantity) & s__instance(V__ARGS2,s__WaterArea)) => (((s__exactCardinality(s__seaSurfaceTemperature__m,V__ARG,V__COUNT) & s__instance(s__seaSurfaceTemperature__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__seaSurfaceTemperature(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__OrganizationalProcess) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__CurrencyMeasure) & s__instance(V__ARGS2,s__Human)) => (((s__exactCardinality(s__beforeTaxIncome__m,V__ARG,V__COUNT) & s__instance(s__beforeTaxIncome__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__beforeTaxIncome(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Human) & s__instance(V__ARGS2,s__SymbolicString)) => (((s__exactCardinality(s__familyName__m,V__ARG,V__COUNT) & s__instance(s__familyName__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__familyName(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS2,s__Process)) => (((s__exactCardinality(s__objectDetached__m,V__ARG,V__COUNT) & s__instance(s__objectDetached__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__objectDetached(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__GeopoliticalArea) & s__instance(V__ARGS2,s__City)) => (((s__exactCardinality(s__capitalCity__m,V__ARG,V__COUNT) & s__instance(s__capitalCity__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__capitalCity(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__CognitiveAgent) & s__subclass(V__ARGS2,s__MusicChart)) => (((s__exactCardinality(s__musicChartBy__m,V__ARG,V__COUNT) & s__instance(s__musicChartBy__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__musicChartBy(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__subclass(V__ARGS3,s__Class) & s__instance(V__ARGS2,s__Function)) => (((s__exactCardinality(s__rangeSubclass__m,V__ARG,V__COUNT) & s__instance(s__rangeSubclass__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__rangeSubclass(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__SymbolicString) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__HumanLanguage)) => (((s__exactCardinality(s__documentation__m,V__ARG,V__COUNT) & s__instance(s__documentation__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__documentation(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__GeographicArea) & s__instance(V__ARGS2,s__Agent)) => (((s__exactCardinality(s__agentOperatesInArea__m,V__ARG,V__COUNT) & s__instance(s__agentOperatesInArea__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__agentOperatesInArea(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__subclass(V__ARGS5,s__TimeInterval) & s__instance(V__ARGS4,s__RealNumber) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__IndustryAttribute) & s__instance(V__ARGS2,s__GeopoliticalArea)) => (((s__exactCardinality(s__sectorCompositionOfGDPInPeriod__m,V__ARG,V__COUNT) & s__instance(s__sectorCompositionOfGDPInPeriod__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__sectorCompositionOfGDPInPeriod(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5) & (V__EL = s__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__subclass(V__ARGS3,s__OrganicObject) & s__instance(V__ARGS2,s__GeographicArea)) => (((s__exactCardinality(s__bioindicatorForHabitat__m,V__ARG,V__COUNT) & s__instance(s__bioindicatorForHabitat__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__bioindicatorForHabitat(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__DigitalData) & s__instance(V__ARGS2,s__ComputerProcess)) => (((s__exactCardinality(s__dataProcessed__m,V__ARG,V__COUNT) & s__instance(s__dataProcessed__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__dataProcessed(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__CurrencyMeasure) & s__instance(V__ARGS2,s__FinancialAccount)) => (((s__exactCardinality(s__totalBalance__m,V__ARG,V__COUNT) & s__instance(s__totalBalance__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__totalBalance(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__TimeDuration) & s__instance(V__ARGS2,s__ComputerPath)) => (((s__exactCardinality(s__simpleDeadline__m,V__ARG,V__COUNT) & s__instance(s__simpleDeadline__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__simpleDeadline(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__PlaneAngleMeasure) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Physical) & s__instance(V__ARGS2,s__Physical)) => (((s__exactCardinality(s__courseWRTCompassNorth__m,V__ARG,V__COUNT) & s__instance(s__courseWRTCompassNorth__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__courseWRTCompassNorth(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Human) & s__instance(V__ARGS2,s__TelecomNumber)) => (((s__exactCardinality(s__homePhoneNumber__m,V__ARG,V__COUNT) & s__instance(s__homePhoneNumber__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__homePhoneNumber(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Organization) & s__instance(V__ARGS2,s__Organization)) => (((s__exactCardinality(s__subOrganization__m,V__ARG,V__COUNT) & s__instance(s__subOrganization__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__subOrganization(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__Language) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS2,s__LinguisticExpression)) => (((s__exactCardinality(s__representsInLanguage__m,V__ARG,V__COUNT) & s__instance(s__representsInLanguage__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__representsInLanguage(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Attribute) & s__instance(V__ARGS2,s__Process)) => (((s__exactCardinality(s__manner__m,V__ARG,V__COUNT) & s__instance(s__manner__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__manner(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS5,s__TimeInterval) & s__instance(V__ARGS4,s__CurrencyMeasure) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Organization) & s__instance(V__ARGS2,s__Agent)) => (((s__exactCardinality(s__grossMerchandiseSoldInPeriod__m,V__ARG,V__COUNT) & s__instance(s__grossMerchandiseSoldInPeriod__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__grossMerchandiseSoldInPeriod(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5) & (V__EL = s__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Human) & s__instance(V__ARGS2,s__Agent)) => (((s__exactCardinality(s__jailer__m,V__ARG,V__COUNT) & s__instance(s__jailer__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__jailer(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Object) & s__instance(V__ARGS2,s__Agent)) => (((s__exactCardinality(s__hasAward__m,V__ARG,V__COUNT) & s__instance(s__hasAward__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__hasAward(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__SocialRole) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__subclass(V__ARGS3,s__TimePosition) & s__instance(V__ARGS2,s__Agent)) => (((s__exactCardinality(s__electionDatePlannedForPosition__m,V__ARG,V__COUNT) & s__instance(s__electionDatePlannedForPosition__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__electionDatePlannedForPosition(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS2,s__Class)) => (((s__exactCardinality(s__exhaustiveDecomposition__m,V__ARG,V__COUNT) & s__instance(s__exhaustiveDecomposition__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__exhaustiveDecomposition__1(V__ARGS2) & (V__EL = s__ListOrderFn(s__ListFn__1Fn(V__ARGS2) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Human) & s__instance(V__ARGS2,s__Experimenting)) => (((s__exactCardinality(s__qualifiedExperiment__m,V__ARG,V__COUNT) & s__instance(s__qualifiedExperiment__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__qualifiedExperiment(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__PositiveInteger) & s__instance(V__ARGS2,s__ComputerProgram)) => (((s__exactCardinality(s__minimumReplications__m,V__ARG,V__COUNT) & s__instance(s__minimumReplications__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__minimumReplications(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__WebSite) & s__instance(V__ARGS2,s__WebListingCategory)) => (((s__exactCardinality(s__categoryOf__m,V__ARG,V__COUNT) & s__instance(s__categoryOf__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__categoryOf(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__ConstantQuantity) & s__instance(V__ARGS2,s__GeographicArea)) => (((s__exactCardinality(s__arableLandArea__m,V__ARG,V__COUNT) & s__instance(s__arableLandArea__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__arableLandArea(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS2,s__Object)) => (((s__exactCardinality(s__penetrates__m,V__ARG,V__COUNT) & s__instance(s__penetrates__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__penetrates(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__LengthMeasure) & s__instance(V__ARGS2,s__GeographicArea)) => (((s__exactCardinality(s__lengthOfNarrowGaugeRailway__m,V__ARG,V__COUNT) & s__instance(s__lengthOfNarrowGaugeRailway__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__lengthOfNarrowGaugeRailway(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__PositiveInteger) & s__instance(V__ARGS2,s__Relation)) => (((s__exactCardinality(s__valence__m,V__ARG,V__COUNT) & s__instance(s__valence__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__valence(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__subclass(V__ARGS3,s__TimePosition) & s__instance(V__ARGS2,s__Physical)) => (((s__exactCardinality(s__dateEstablished__m,V__ARG,V__COUNT) & s__instance(s__dateEstablished__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__dateEstablished(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__PhysicalQuantity) & s__instance(V__ARGS2,s__GeographicArea)) => (((s__exactCardinality(s__totalBiomass__m,V__ARG,V__COUNT) & s__instance(s__totalBiomass__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__totalBiomass(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__subclass(V__ARGS2,s__HotelUnit)) => (((s__exactCardinality(s__paidRoomAmenity__m,V__ARG,V__COUNT) & s__instance(s__paidRoomAmenity__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__paidRoomAmenity(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Agent) & s__instance(V__ARGS2,s__TelecomNumber)) => (((s__exactCardinality(s__mobilePhoneNumber__m,V__ARG,V__COUNT) & s__instance(s__mobilePhoneNumber__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__mobilePhoneNumber(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__subclass(V__ARGS4,s__TimeInterval) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Agent) & s__instance(V__ARGS2,s__Agent)) => (((s__exactCardinality(s__importPartnerInPeriod__m,V__ARG,V__COUNT) & s__instance(s__importPartnerInPeriod__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__importPartnerInPeriod(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__TimePosition) & s__instance(V__ARGS2,s__Option)) => (((s__exactCardinality(s__inTheMoney__m,V__ARG,V__COUNT) & s__instance(s__inTheMoney__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__inTheMoney(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__List) & s__instance(V__ARGS2,s__List)) => (((s__exactCardinality(s__identicalListItems__m,V__ARG,V__COUNT) & s__instance(s__identicalListItems__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__identicalListItems(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Object) & s__instance(V__ARGS2,s__Agent)) => (((s__exactCardinality(s__financialAsset__m,V__ARG,V__COUNT) & s__instance(s__financialAsset__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__financialAsset(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__TimeInterval) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__CurrencyMeasure) & s__instance(V__ARGS2,s__Human)) => (((s__exactCardinality(s__employeeContribution__m,V__ARG,V__COUNT) & s__instance(s__employeeContribution__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__employeeContribution(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__WearableItem) & s__instance(V__ARGS2,s__Animal)) => (((s__exactCardinality(s__wears__m,V__ARG,V__COUNT) & s__instance(s__wears__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__wears(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__CognitiveAgent) & s__instance(V__ARGS2,s__CognitiveAgent)) => (((s__exactCardinality(s__guest__m,V__ARG,V__COUNT) & s__instance(s__guest__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__guest(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__RealNumber) & s__instance(V__ARGS2,s__DiseaseOrSyndrome)) => (((s__exactCardinality(s__diseaseMortality__m,V__ARG,V__COUNT) & s__instance(s__diseaseMortality__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__diseaseMortality(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__CurrencyMeasure) & s__instance(V__ARGS2,s__Loan)) => (((s__exactCardinality(s__downPayment__m,V__ARG,V__COUNT) & s__instance(s__downPayment__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__downPayment(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__CurrencyMeasure) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Day) & s__instance(V__ARGS2,s__FinancialAccount)) => (((s__exactCardinality(s__availableBalance__m,V__ARG,V__COUNT) & s__instance(s__availableBalance__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__availableBalance(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS6,V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS6,s__SymbolicString) & s__instance(V__ARGS5,s__UnitOfMeasure) & s__instance(V__ARGS4,s__ComputerComponent) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__subclass(V__ARGS3,s__ComputerComponent) & s__instance(V__ARGS2,s__TimePosition)) => (((s__exactCardinality(s__componentDataID__m,V__ARG,V__COUNT) & s__instance(s__componentDataID__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__componentDataID(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6) & (V__EL = s__ListOrderFn(s__ListFn__5Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5,V__ARGS6) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__TimeDuration) & s__instance(V__ARGS2,s__ComputerProgram)) => (((s__exactCardinality(s__startupTimeDelay__m,V__ARG,V__COUNT) & s__instance(s__startupTimeDelay__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__startupTimeDelay(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__SetOrClass) & s__instance(V__ARGS2,s__Collection)) => (((s__exactCardinality(s__memberType__m,V__ARG,V__COUNT) & s__instance(s__memberType__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__memberType(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Formula) & s__instance(V__ARGS2,s__Formula)) => (((s__exactCardinality(s__entails__m,V__ARG,V__COUNT) & s__instance(s__entails__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__entails(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__subclass(V__ARGS3,s__ClimateZone) & s__instance(V__ARGS2,s__GeographicArea)) => (((s__exactCardinality(s__climateTypeInArea__m,V__ARG,V__COUNT) & s__instance(s__climateTypeInArea__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__climateTypeInArea(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Holiday) & s__instance(V__ARGS2,s__CognitiveAgent)) => (((s__exactCardinality(s__observesHoliday__m,V__ARG,V__COUNT) & s__instance(s__observesHoliday__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__observesHoliday(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Sentence) & s__instance(V__ARGS2,s__CognitiveAgent)) => (((s__exactCardinality(s__states__m,V__ARG,V__COUNT) & s__instance(s__states__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__states(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Formula) & s__instance(V__ARGS2,s__Reservation)) => (((s__exactCardinality(s__rateDetail__m,V__ARG,V__COUNT) & s__instance(s__rateDetail__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__rateDetail(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__NonnegativeRealNumber) & s__instance(V__ARGS2,s__GeopoliticalArea)) => (((s__exactCardinality(s__laborForceTotal__m,V__ARG,V__COUNT) & s__instance(s__laborForceTotal__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__laborForceTotal(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Formula) & s__instance(V__ARGS2,s__CognitiveAgent)) => (((s__exactCardinality(s__disapproves__m,V__ARG,V__COUNT) & s__instance(s__disapproves__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__disapproves(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__CorpuscularObject) & s__subclass(V__ARGS2,s__Substance)) => (((s__exactCardinality(s__material__m,V__ARG,V__COUNT) & s__instance(s__material__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__material(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__FunctionQuantity) & s__instance(V__ARGS2,s__MusicalTone)) => (((s__exactCardinality(s__soundFrequency__m,V__ARG,V__COUNT) & s__instance(s__soundFrequency__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__soundFrequency(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__CurrencyMeasure) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Day) & s__instance(V__ARGS2,s__FinancialAccount)) => (((s__exactCardinality(s__shortBalanceAmount__m,V__ARG,V__COUNT) & s__instance(s__shortBalanceAmount__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__shortBalanceAmount(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__DirectionalAttribute) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__PhysicalQuantity) & s__instance(V__ARGS2,s__Object)) => (((s__exactCardinality(s__lowAltitudeWindVelocity__m,V__ARG,V__COUNT) & s__instance(s__lowAltitudeWindVelocity__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__lowAltitudeWindVelocity(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__RationalNumber) & s__instance(V__ARGS2,s__Object)) => (((s__exactCardinality(s__contrastRatio__m,V__ARG,V__COUNT) & s__instance(s__contrastRatio__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__contrastRatio(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__Agent) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__SocialRole) & s__instance(V__ARGS2,s__Election)) => (((s__exactCardinality(s__candidateForPosition__m,V__ARG,V__COUNT) & s__instance(s__candidateForPosition__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__candidateForPosition(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__TimeDuration) & s__instance(V__ARGS2,s__ComputerProgram)) => (((s__exactCardinality(s__softwareHeartBeatRate__m,V__ARG,V__COUNT) & s__instance(s__softwareHeartBeatRate__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__softwareHeartBeatRate(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__CognitiveAgent) & s__instance(V__ARGS2,s__CognitiveAgent)) => (((s__exactCardinality(s__approves__m,V__ARG,V__COUNT) & s__instance(s__approves__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__approves(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__SocialRole) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__SocialRole) & s__instance(V__ARGS2,s__Agent)) => (((s__exactCardinality(s__roleNominatesRole__m,V__ARG,V__COUNT) & s__instance(s__roleNominatesRole__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__roleNominatesRole(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__LengthMeasure) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__TimeInterval) & s__instance(V__ARGS2,s__Region)) => (((s__exactCardinality(s__lowTide__m,V__ARG,V__COUNT) & s__instance(s__lowTide__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__lowTide(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__CognitiveAgent) & s__instance(V__ARGS2,s__Loan)) => (((s__exactCardinality(s__borrower__m,V__ARG,V__COUNT) & s__instance(s__borrower__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__borrower(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__TimePoint) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__TimePoint) & s__instance(V__ARGS2,s__TimePoint)) => (((s__exactCardinality(s__temporallyBetweenOrEqual__m,V__ARG,V__COUNT) & s__instance(s__temporallyBetweenOrEqual__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__temporallyBetweenOrEqual(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Man) & s__instance(V__ARGS2,s__Human)) => (((s__exactCardinality(s__stepfather__m,V__ARG,V__COUNT) & s__instance(s__stepfather__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__stepfather(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__CognitiveAgent) & s__instance(V__ARGS2,s__FinancialAccount)) => (((s__exactCardinality(s__accountHolder__m,V__ARG,V__COUNT) & s__instance(s__accountHolder__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__accountHolder(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__subclass(V__ARGS2,s__HotelFunctionRoom)) => (((s__exactCardinality(s__paidFunctionRoomAmenity__m,V__ARG,V__COUNT) & s__instance(s__paidFunctionRoomAmenity__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__paidFunctionRoomAmenity(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__Language) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS2,s__SymbolicString)) => (((s__exactCardinality(s__misspelledTitle__m,V__ARG,V__COUNT) & s__instance(s__misspelledTitle__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__misspelledTitle(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Object) & s__instance(V__ARGS2,s__Agent)) => (((s__exactCardinality(s__discovers__m,V__ARG,V__COUNT) & s__instance(s__discovers__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__discovers(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__SymbolicString) & s__instance(V__ARGS2,s__GeopoliticalArea)) => (((s__exactCardinality(s__internetCountryCode__m,V__ARG,V__COUNT) & s__instance(s__internetCountryCode__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__internetCountryCode(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__subclass(V__ARGS3,s__Object) & s__instance(V__ARGS2,s__HotelPackage)) => (((s__exactCardinality(s__physicalInclusion__m,V__ARG,V__COUNT) & s__instance(s__physicalInclusion__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__physicalInclusion(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__subclass(V__ARGS5,s__TimeInterval) & s__instance(V__ARGS4,s__PositiveInteger) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__GeopoliticalArea) & s__instance(V__ARGS2,s__GeopoliticalArea)) => (((s__exactCardinality(s__exportPartnerByRankInPeriod__m,V__ARG,V__COUNT) & s__instance(s__exportPartnerByRankInPeriod__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__exportPartnerByRankInPeriod(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5) & (V__EL = s__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__PositiveInteger) & s__instance(V__ARGS2,s__PureSubstance)) => (((s__exactCardinality(s__protonNumber__m,V__ARG,V__COUNT) & s__instance(s__protonNumber__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__protonNumber(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__RealNumber) & s__instance(V__ARGS2,s__GeopoliticalArea)) => (((s__exactCardinality(s__unemploymentRateOfArea__m,V__ARG,V__COUNT) & s__instance(s__unemploymentRateOfArea__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__unemploymentRateOfArea(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__subclass(V__ARGS3,s__Substance) & s__instance(V__ARGS2,s__LandArea)) => (((s__exactCardinality(s__groundSurfaceType__m,V__ARG,V__COUNT) & s__instance(s__groundSurfaceType__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__groundSurfaceType(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Relation) & s__instance(V__ARGS2,s__Object)) => (((s__exactCardinality(s__applicableRelation__m,V__ARG,V__COUNT) & s__instance(s__applicableRelation__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__applicableRelation(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__TimePosition) & s__instance(V__ARGS2,s__Option)) => (((s__exactCardinality(s__atTheMoney__m,V__ARG,V__COUNT) & s__instance(s__atTheMoney__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__atTheMoney(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__ComputationalSystem) & s__instance(V__ARGS2,s__MeasuringPerformance)) => (((s__exactCardinality(s__systemMeasured__m,V__ARG,V__COUNT) & s__instance(s__systemMeasured__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__systemMeasured(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS2,s__Process)) => (((s__exactCardinality(s__involvedInEvent__m,V__ARG,V__COUNT) & s__instance(s__involvedInEvent__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__involvedInEvent(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS5,s__PricingScheme) & s__instance(V__ARGS4,s__CognitiveAgent) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__CurrencyMeasure) & s__subclass(V__ARGS2,s__Entity)) => (((s__exactCardinality(s__publishedPrice__m,V__ARG,V__COUNT) & s__instance(s__publishedPrice__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__publishedPrice(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5) & (V__EL = s__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Woman) & s__instance(V__ARGS2,s__Man)) => (((s__exactCardinality(s__husband__m,V__ARG,V__COUNT) & s__instance(s__husband__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__husband(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__Class) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Class) & s__instance(V__ARGS2,s__Class)) => (((s__exactCardinality(s__disjointDecomposition__m,V__ARG,V__COUNT) & s__instance(s__disjointDecomposition__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__disjointDecomposition__3(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__GeopoliticalArea) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__subclass(V__ARGS3,s__IllicitDrug) & s__instance(V__ARGS2,s__GeopoliticalArea)) => (((s__exactCardinality(s__drugShipmentDestination__m,V__ARG,V__COUNT) & s__instance(s__drugShipmentDestination__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__drugShipmentDestination(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__SymbolicString) & s__instance(V__ARGS2,s__GeopoliticalArea)) => (((s__exactCardinality(s__flagImage__m,V__ARG,V__COUNT) & s__instance(s__flagImage__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__flagImage(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__subclass(V__ARGS3,s__Object) & s__instance(V__ARGS2,s__GeopoliticalArea)) => (((s__exactCardinality(s__agriculturalProductType__m,V__ARG,V__COUNT) & s__instance(s__agriculturalProductType__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__agriculturalProductType(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__FinancialOrganization) & s__instance(V__ARGS2,s__FinancialAccount)) => (((s__exactCardinality(s__accountAt__m,V__ARG,V__COUNT) & s__instance(s__accountAt__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__accountAt(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Reservation) & s__instance(V__ARGS2,s__Physical)) => (((s__exactCardinality(s__reservationChannel__m,V__ARG,V__COUNT) & s__instance(s__reservationChannel__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__reservationChannel(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Class) & s__instance(V__ARGS2,s__BinaryRelation)) => (((s__exactCardinality(s__reflexiveOn__m,V__ARG,V__COUNT) & s__instance(s__reflexiveOn__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__reflexiveOn(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Computer) & s__instance(V__ARGS2,s__UserAccount)) => (((s__exactCardinality(s__deviceAccount__m,V__ARG,V__COUNT) & s__instance(s__deviceAccount__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__deviceAccount(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__WebSite) & s__instance(V__ARGS2,s__FinancialTransaction)) => (((s__exactCardinality(s__eCommerceSite__m,V__ARG,V__COUNT) & s__instance(s__eCommerceSite__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__eCommerceSite(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__GeographicArea) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__RealNumber) & s__instance(V__ARGS2,s__BeliefGroup)) => (((s__exactCardinality(s__beliefGroupPercentInRegion__m,V__ARG,V__COUNT) & s__instance(s__beliefGroupPercentInRegion__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__beliefGroupPercentInRegion(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__WebSite) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Collection) & s__instance(V__ARGS2,s__Agent)) => (((s__exactCardinality(s__watchingListings__m,V__ARG,V__COUNT) & s__instance(s__watchingListings__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__watchingListings(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__TransitSystem) & s__instance(V__ARGS2,s__Transitway)) => (((s__exactCardinality(s__routeInSystem__m,V__ARG,V__COUNT) & s__instance(s__routeInSystem__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__routeInSystem(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__LengthMeasure) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__GeographicArea) & s__instance(V__ARGS2,s__GeographicArea)) => (((s__exactCardinality(s__sharedBorderLength__m,V__ARG,V__COUNT) & s__instance(s__sharedBorderLength__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__sharedBorderLength(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__PermanentResidence) & s__instance(V__ARGS2,s__Human)) => (((s__exactCardinality(s__home__m,V__ARG,V__COUNT) & s__instance(s__home__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__home(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__EconomicAttribute) & s__instance(V__ARGS2,s__Agent)) => (((s__exactCardinality(s__economyType__m,V__ARG,V__COUNT) & s__instance(s__economyType__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__economyType(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__CurrencyMeasure) & s__instance(V__ARGS2,s__GeopoliticalArea)) => (((s__exactCardinality(s__externalDebt__m,V__ARG,V__COUNT) & s__instance(s__externalDebt__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__externalDebt(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__WebSite) & s__instance(V__ARGS2,s__Database)) => (((s__exactCardinality(s__userDatabase__m,V__ARG,V__COUNT) & s__instance(s__userDatabase__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__userDatabase(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__subclass(V__ARGS3,s__TimeInterval) & s__instance(V__ARGS2,s__GeopoliticalArea)) => (((s__exactCardinality(s__independenceDate__m,V__ARG,V__COUNT) & s__instance(s__independenceDate__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__independenceDate(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Integer) & s__instance(V__ARGS2,s__ComputerProgram)) => (((s__exactCardinality(s__criticalityLevel__m,V__ARG,V__COUNT) & s__instance(s__criticalityLevel__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__criticalityLevel(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__FunctionQuantity) & s__instance(V__ARGS2,s__ComputerNetwork)) => (((s__exactCardinality(s__bandwidth__m,V__ARG,V__COUNT) & s__instance(s__bandwidth__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__bandwidth(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__MassMeasure) & s__instance(V__ARGS2,s__Vehicle)) => (((s__exactCardinality(s__maximumPayloadCapacity__m,V__ARG,V__COUNT) & s__instance(s__maximumPayloadCapacity__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__maximumPayloadCapacity(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__List) & s__instance(V__ARGS2,s__List)) => (((s__exactCardinality(s__subList__m,V__ARG,V__COUNT) & s__instance(s__subList__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__subList(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__NonnegativeInteger) & s__instance(V__ARGS2,s__SetOrClass)) => (((s__exactCardinality(s__cardinality__m,V__ARG,V__COUNT) & s__instance(s__cardinality__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__cardinality(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__TaskRelationAttribute) & s__instance(V__ARGS2,s__RealtimeSystem)) => (((s__exactCardinality(s__taskRelation__m,V__ARG,V__COUNT) & s__instance(s__taskRelation__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__taskRelation(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__ComputerInputDevice) & s__instance(V__ARGS2,s__ComputerProcess)) => (((s__exactCardinality(s__standardInputDevice__m,V__ARG,V__COUNT) & s__instance(s__standardInputDevice__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__standardInputDevice(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__subclass(V__ARGS4,s__Process) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__subclass(V__ARGS3,s__BiologicallyActiveSubstance) & s__instance(V__ARGS2,s__BiochemicalAgent)) => (((s__exactCardinality(s__biochemicalAgentAntidote__m,V__ARG,V__COUNT) & s__instance(s__biochemicalAgentAntidote__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__biochemicalAgentAntidote(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__TemperatureMeasure) & s__instance(V__ARGS2,s__Device)) => (((s__exactCardinality(s__maxDeviceStorageTemp__m,V__ARG,V__COUNT) & s__instance(s__maxDeviceStorageTemp__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__maxDeviceStorageTemp(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Collection) & s__instance(V__ARGS2,s__Collection)) => (((s__exactCardinality(s__subCollection__m,V__ARG,V__COUNT) & s__instance(s__subCollection__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__subCollection(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__TimeDuration) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__SocialRole) & s__instance(V__ARGS2,s__Agent)) => (((s__exactCardinality(s__termLength__m,V__ARG,V__COUNT) & s__instance(s__termLength__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__termLength(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__CognitiveAgent) & s__instance(V__ARGS2,s__CognitiveAgent)) => (((s__exactCardinality(s__allegiance__m,V__ARG,V__COUNT) & s__instance(s__allegiance__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__allegiance(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__PermanentResidence) & s__instance(V__ARGS2,s__Agent)) => (((s__exactCardinality(s__landlord__m,V__ARG,V__COUNT) & s__instance(s__landlord__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__landlord(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__CurrencyMeasure) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Day) & s__instance(V__ARGS2,s__FinancialAccount)) => (((s__exactCardinality(s__currentAccountBalance__m,V__ARG,V__COUNT) & s__instance(s__currentAccountBalance__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__currentAccountBalance(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__LengthMeasure) & s__instance(V__ARGS2,s__GeographicArea)) => (((s__exactCardinality(s__totalCoastline__m,V__ARG,V__COUNT) & s__instance(s__totalCoastline__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__totalCoastline(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Organism) & s__instance(V__ARGS2,s__Organism)) => (((s__exactCardinality(s__parent__m,V__ARG,V__COUNT) & s__instance(s__parent__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__parent(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__subclass(V__ARGS3,s__Year) & s__instance(V__ARGS2,s__Object)) => (((s__exactCardinality(s__lastRenovation__m,V__ARG,V__COUNT) & s__instance(s__lastRenovation__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__lastRenovation(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__LengthMeasure) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__TimeInterval) & s__instance(V__ARGS2,s__Region)) => (((s__exactCardinality(s__highTide__m,V__ARG,V__COUNT) & s__instance(s__highTide__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__highTide(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Process) & s__instance(V__ARGS2,s__Experimenting)) => (((s__exactCardinality(s__exclusiveEvent__m,V__ARG,V__COUNT) & s__instance(s__exclusiveEvent__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__exclusiveEvent(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__LengthMeasure) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__TimePosition) & s__instance(V__ARGS2,s__WaterArea)) => (((s__exactCardinality(s__significantWaveHeight__m,V__ARG,V__COUNT) & s__instance(s__significantWaveHeight__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__significantWaveHeight(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__TimePoint) & s__instance(V__ARGS2,s__Agreement)) => (((s__exactCardinality(s__agreementEffectiveDate__m,V__ARG,V__COUNT) & s__instance(s__agreementEffectiveDate__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__agreementEffectiveDate(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__PositiveInteger) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__GeopoliticalArea) & s__instance(V__ARGS2,s__GeopoliticalArea)) => (((s__exactCardinality(s__exportPartnerByRank__m,V__ARG,V__COUNT) & s__instance(s__exportPartnerByRank__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__exportPartnerByRank(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__TransitSystem) & s__instance(V__ARGS2,s__Transitway)) => (((s__exactCardinality(s__pathInSystem__m,V__ARG,V__COUNT) & s__instance(s__pathInSystem__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__pathInSystem(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__CurrencyMeasure) & s__subclass(V__ARGS2,s__Currency)) => (((s__exactCardinality(s__currencyValue__m,V__ARG,V__COUNT) & s__instance(s__currencyValue__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__currencyValue(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS5,V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS5,s__Agent) & s__instance(V__ARGS4,s__Position) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Human) & s__instance(V__ARGS2,s__Agent)) => (((s__exactCardinality(s__diplomaticRepresentativeInRole__m,V__ARG,V__COUNT) & s__instance(s__diplomaticRepresentativeInRole__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__diplomaticRepresentativeInRole(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5) & (V__EL = s__ListOrderFn(s__ListFn__4Fn(V__ARGS2,V__ARGS3,V__ARGS4,V__ARGS5) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__OrganizationalProcess) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__CurrencyMeasure) & s__instance(V__ARGS2,s__Human)) => (((s__exactCardinality(s__incomeEarned__m,V__ARG,V__COUNT) & s__instance(s__incomeEarned__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__incomeEarned(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__Class) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Class) & s__instance(V__ARGS2,s__Class)) => (((s__exactCardinality(s__partition__m,V__ARG,V__COUNT) & s__instance(s__partition__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__partition__3(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Hole) & s__instance(V__ARGS2,s__Object)) => (((s__exactCardinality(s__partiallyFills__m,V__ARG,V__COUNT) & s__instance(s__partiallyFills__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__partiallyFills(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__TimeInterval) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__CurrencyMeasure) & s__instance(V__ARGS2,s__GeopoliticalArea)) => (((s__exactCardinality(s__militaryExpendituresInUSDollarsInPeriod__m,V__ARG,V__COUNT) & s__instance(s__militaryExpendituresInUSDollarsInPeriod__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__militaryExpendituresInUSDollarsInPeriod(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__AreaOfConcern) & s__instance(V__ARGS2,s__Agent)) => (((s__exactCardinality(s__organizationalObjective__m,V__ARG,V__COUNT) & s__instance(s__organizationalObjective__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__organizationalObjective(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Object) & s__instance(V__ARGS2,s__Process)) => (((s__exactCardinality(s__origin__m,V__ARG,V__COUNT) & s__instance(s__origin__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__origin(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__PostalPlace) & s__instance(V__ARGS2,s__SymbolicString)) => (((s__exactCardinality(s__postPostOfficeBox__m,V__ARG,V__COUNT) & s__instance(s__postPostOfficeBox__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__postPostOfficeBox(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__DiseaseOrSyndrome) & s__subclass(V__ARGS2,s__BiochemicalAgent)) => (((s__exactCardinality(s__biochemicalAgentSyndrome__m,V__ARG,V__COUNT) & s__instance(s__biochemicalAgentSyndrome__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__biochemicalAgentSyndrome(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Object) & s__instance(V__ARGS2,s__Object)) => (((s__exactCardinality(s__older__m,V__ARG,V__COUNT) & s__instance(s__older__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__older(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__CognitiveAgent) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__CurrencyMeasure) & s__subclass(V__ARGS2,s__Entity)) => (((s__exactCardinality(s__productPrice__m,V__ARG,V__COUNT) & s__instance(s__productPrice__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__productPrice(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__WebSite) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Formula) & s__instance(V__ARGS2,s__Agent)) => (((s__exactCardinality(s__visitorParameter__m,V__ARG,V__COUNT) & s__instance(s__visitorParameter__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__visitorParameter(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__subclass(V__ARGS3,s__Physical) & s__instance(V__ARGS2,s__Agent)) => (((s__exactCardinality(s__propertyAmenity__m,V__ARG,V__COUNT) & s__instance(s__propertyAmenity__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__propertyAmenity(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Agent) & s__instance(V__ARGS2,s__RatingAttribute)) => (((s__exactCardinality(s__ratingsAgent__m,V__ARG,V__COUNT) & s__instance(s__ratingsAgent__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__ratingsAgent(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Class) & s__instance(V__ARGS2,s__BinaryRelation)) => (((s__exactCardinality(s__irreflexiveOn__m,V__ARG,V__COUNT) & s__instance(s__irreflexiveOn__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__irreflexiveOn(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__Quantity) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Integer) & s__instance(V__ARGS2,s__Predicate)) => (((s__exactCardinality(s__minValue__m,V__ARG,V__COUNT) & s__instance(s__minValue__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__minValue(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__subclass(V__ARGS3,s__Organism) & s__subclass(V__ARGS2,s__BiologicalAgent)) => (((s__exactCardinality(s__biologicalAgentCarrier__m,V__ARG,V__COUNT) & s__instance(s__biologicalAgentCarrier__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__biologicalAgentCarrier(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__WebSite) & s__instance(V__ARGS2,s__Agent)) => (((s__exactCardinality(s__webVisitor__m,V__ARG,V__COUNT) & s__instance(s__webVisitor__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__webVisitor(V__ARGS2,V__ARGS3) & (V__EL = s__ListOrderFn(s__ListFn__2Fn(V__ARGS2,V__ARGS3) ,V__ARG))) => ((s__instance(V__EL,V__S) & (s__CardinalityFn(V__S) = V__COUNT))))))))))) ) ) ( ! [V__ARGS4,V__COUNT,V__EL,V__ARG,V__ARGS3,V__ARGS2] : (((s__instance(V__ARGS4,s__Attribute) & s__instance(V__COUNT,s__Integer) & s__instance(V__ARG,s__PositiveInteger) & s__instance(V__ARGS3,s__Attribute) & s__subclass(V__ARGS2,s__Attribute)) => (((s__exactCardinality(s__exhaustiveAttribute__m,V__ARG,V__COUNT) & s__instance(s__exhaustiveAttribute__m,s__Predicate)) => (( ? [V__S] : ((s__instance(V__S,s__SetOrClass) & ((s__exhaustiveAttribute__3(V__ARGS2,V__ARGS3,V__ARGS4) & (V__EL = s__ListOrderFn(s__ListFn__3Fn(V__ARGS2,V__ARGS3,V__ARGS4) ,V__ARG))) => ((s__