lessThan - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__lessThan__m,s__ChineseLanguage,'"(lessThan ?NUMBER1 ?NUMBER2) 是真的以防 ?NUMBER1 的 Quantity 比 ?NUMBER2 的 Quantity 要少。"')	chinese_format.kif 1729-1730
s__documentation(s__lessThan__m,s__EnglishLanguage,'"(lessThan ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is less than the Quantity ?NUMBER2."')	Merge.kif 1747-1748
s__domain(s__lessThan__m,n__1,s__Quantity)	Merge.kif 1744-1744	The number 1 argument of less than is an instance of quantity
s__domain(s__lessThan__m,n__2,s__Quantity)	Merge.kif 1745-1745	The number 2 argument of less than is an instance of quantity
s__instance(s__BinaryPredicate,s__SetOrClass) s__instance(s__lessThan__m,s__BinaryPredicate)	Merge.kif 1739-1739	less than is an instance of binary predicate
s__instance(s__IrreflexiveRelation,s__SetOrClass) s__instance(s__lessThan__m,s__IrreflexiveRelation)	Merge.kif 1741-1741	less than is an instance of irreflexive relation
s__instance(s__lessThan__m,s__RelationExtendedToQuantities) s__instance(s__RelationExtendedToQuantities,s__SetOrClass)	Merge.kif 1742-1742	less than is an instance of relation extended to quantities
s__instance(s__lessThan__m,s__TransitiveRelation) s__instance(s__TransitiveRelation,s__SetOrClass)	Merge.kif 1740-1740	less than is an instance of transitive relation
s__trichotomizingOn(s__lessThan__m,s__RealNumber)	Merge.kif 1743-1743	less than is trichotomizing on real number

appearance as argument number 2

s__format(s__ChineseLanguage,s__lessThan__m,'"%1 %n 是 lessThan %2"')	chinese_format.kif 141-141
s__format(s__EnglishLanguage,s__lessThan__m,'"%1 is %n less than %2"')	english_format.kif 142-142
s__inverse(s__greaterThan__m,s__lessThan__m)	Merge.kif 1758-1758	greater than is an inverse of less than
s__termFormat(s__ChineseLanguage,s__lessThan__m,'"少于"')	chinese_format.kif 142-142
s__termFormat(s__ChineseTraditionalLanguage,s__lessThan__m,'"少於"')	domainEnglishFormat.kif 34038-34038
s__termFormat(s__EnglishLanguage,s__lessThan__m,'"less than"')	domainEnglishFormat.kif 34037-34037

antecedent

( ! [V__S,V__LD] : (s__instance(V__S,s__RealNumber) => ((s__instance(V__LD,s__LiquidDrop) & s__approximateDiameter(V__LD,s__MeasureFn(V__S,s__Micrometer)) & s__lessThan(n__500,V__S)) => s__instance(V__LD,s__Droplet)) & (s__instance(V__LD,s__Droplet) => (s__instance(V__LD,s__LiquidDrop) & s__approximateDiameter(V__LD,s__MeasureFn(V__S,s__Micrometer)) & s__lessThan(n__500,V__S))) ) )	Geography.kif 6890-6896	A self connected object is an instance of liquid drop and the approximate diameter of the self connected object is a real number micrometer(s) and 500 is less than the real number if and only if the self connected object is an instance of droplet
( ! [V__Time,V__Option] : ((s__instance(V__Time,s__Agent) & s__instance(V__Time,s__TimePosition)) => (( ? [V__Stock, V__StockPrice, V__StrikePrice] : ((s__instance(V__Stock,s__FinancialInstrument) & s__instance(V__StockPrice,s__CurrencyMeasure) & s__instance(V__StrikePrice,s__CurrencyMeasure) & (s__instance(V__Option,s__CallOption) & s__underlier(V__Option,V__Stock) & s__price(V__Stock,V__StockPrice,V__Time) & s__strikePrice(V__Option,V__StrikePrice) & s__lessThan(V__StockPrice,V__StrikePrice))))) => s__outOfTheMoney(V__Option,V__Time)) & (s__outOfTheMoney(V__Option,V__Time) => ( ? [V__Stock, V__StockPrice, V__StrikePrice] : ((s__instance(V__Stock,s__FinancialInstrument) & s__instance(V__StockPrice,s__CurrencyMeasure) & s__instance(V__StrikePrice,s__CurrencyMeasure) & (s__instance(V__Option,s__CallOption) & s__underlier(V__Option,V__Stock) & s__price(V__Stock,V__StockPrice,V__Time) & s__strikePrice(V__Option,V__StrikePrice) & s__lessThan(V__StockPrice,V__StrikePrice)))))) ) )	FinancialOntology.kif 2966-2974	There exist a financial instrument, the financial instrumentPrice and another currency measure such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice for an agent and the other currency measure is a strike price of the agreement and the financial instrumentPrice is less than the other currency measure if and only if the agent is an out of the money of the agreement
( ! [V__Time,V__Option] : ((s__instance(V__Time,s__Agent) & s__instance(V__Time,s__TimePosition)) => (( ? [V__Stock, V__StockPrice, V__StrikePrice] : ((s__instance(V__Stock,s__FinancialInstrument) & s__instance(V__StockPrice,s__CurrencyMeasure) & s__instance(V__StrikePrice,s__CurrencyMeasure) & (s__instance(V__Option,s__CallOption) & s__underlier(V__Option,V__Stock) & s__price(V__Stock,V__StockPrice,V__Time) & s__strikePrice(V__Option,V__StrikePrice) & s__lessThan(V__StrikePrice,V__StockPrice))))) => s__inTheMoney(V__Option,V__Time)) & (s__inTheMoney(V__Option,V__Time) => ( ? [V__Stock, V__StockPrice, V__StrikePrice] : ((s__instance(V__Stock,s__FinancialInstrument) & s__instance(V__StockPrice,s__CurrencyMeasure) & s__instance(V__StrikePrice,s__CurrencyMeasure) & (s__instance(V__Option,s__CallOption) & s__underlier(V__Option,V__Stock) & s__price(V__Stock,V__StockPrice,V__Time) & s__strikePrice(V__Option,V__StrikePrice) & s__lessThan(V__StrikePrice,V__StockPrice)))))) ) )	FinancialOntology.kif 2923-2931	There exist a financial instrument, the financial instrumentPrice and another currency measure such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice for an agent and the other currency measure is a strike price of the agreement and the other currency measure is less than the financial instrumentPrice if and only if the agent is an in the money of the agreement
( ! [V__Time,V__Option] : ((s__instance(V__Time,s__Agent) & s__instance(V__Time,s__TimePosition)) => (( ? [V__Stock, V__StockPrice, V__StrikePrice] : ((s__instance(V__Stock,s__FinancialInstrument) & s__instance(V__StockPrice,s__CurrencyMeasure) & s__instance(V__StrikePrice,s__CurrencyMeasure) & (s__instance(V__Option,s__PutOption) & s__underlier(V__Option,V__Stock) & s__price(V__Stock,V__StockPrice,V__Time) & s__strikePrice(V__Option,V__StrikePrice) & s__lessThan(V__StockPrice,V__StrikePrice))))) => s__inTheMoney(V__Option,V__Time)) & (s__inTheMoney(V__Option,V__Time) => ( ? [V__Stock, V__StockPrice, V__StrikePrice] : ((s__instance(V__Stock,s__FinancialInstrument) & s__instance(V__StockPrice,s__CurrencyMeasure) & s__instance(V__StrikePrice,s__CurrencyMeasure) & (s__instance(V__Option,s__PutOption) & s__underlier(V__Option,V__Stock) & s__price(V__Stock,V__StockPrice,V__Time) & s__strikePrice(V__Option,V__StrikePrice) & s__lessThan(V__StockPrice,V__StrikePrice)))))) ) )	FinancialOntology.kif 2933-2941	There exist a financial instrument, the financial instrumentPrice and another currency measure such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice for an agent and the other currency measure is a strike price of the agreement and the financial instrumentPrice is less than the other currency measure if and only if the agent is an in the money of the agreement
( ! [V__Time,V__Option] : ((s__instance(V__Time,s__Agent) & s__instance(V__Time,s__TimePosition)) => (( ? [V__Stock, V__StockPrice, V__StrikePrice] : ((s__instance(V__Stock,s__FinancialInstrument) & s__instance(V__StockPrice,s__CurrencyMeasure) & s__instance(V__StrikePrice,s__CurrencyMeasure) & (s__instance(V__Option,s__PutOption) & s__underlier(V__Option,V__Stock) & s__price(V__Stock,V__StockPrice,V__Time) & s__strikePrice(V__Option,V__StrikePrice) & s__lessThan(V__StrikePrice,V__StockPrice))))) => s__outOfTheMoney(V__Option,V__Time)) & (s__outOfTheMoney(V__Option,V__Time) => ( ? [V__Stock, V__StockPrice, V__StrikePrice] : ((s__instance(V__Stock,s__FinancialInstrument) & s__instance(V__StockPrice,s__CurrencyMeasure) & s__instance(V__StrikePrice,s__CurrencyMeasure) & (s__instance(V__Option,s__PutOption) & s__underlier(V__Option,V__Stock) & s__price(V__Stock,V__StockPrice,V__Time) & s__strikePrice(V__Option,V__StrikePrice) & s__lessThan(V__StrikePrice,V__StockPrice)))))) ) )	FinancialOntology.kif 2976-2984	There exist a financial instrument, the financial instrumentPrice and another currency measure such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice for an agent and the other currency measure is a strike price of the agreement and the other currency measure is less than the financial instrumentPrice if and only if the agent is an out of the money of the agreement
( ! [V__Date,V__Balance,V__Account,V__Overdraft] : ((s__instance(V__Date,s__Day) & s__instance(V__Balance,s__RealNumber) & s__instance(V__Account,s__FinancialAccount) & s__instance(V__Overdraft,s__RealNumber)) => (s__currentAccountBalance(V__Account,V__Date,s__MeasureFn(V__Balance,s__UnitedStatesDollar)) & s__lessThan(V__Balance,n__0) & (V__Overdraft = s__SubtractionFn(n__0,V__Balance))) => s__overdraft(V__Account,s__MeasureFn(V__Overdraft,s__UnitedStatesDollar),V__Date) ) )	FinancialOntology.kif 732-737	If a financial account current account balance a day for a real number united states dollar(s) and the real number is less than 0 and another real number is equal to (0 and the real number), then the financial account is overdraft the other real number united states dollar(s) for the day
( ! [V__OUT,V__IN,V__S,V__PIVOT,V__LEN,V__NEW,V__N] : ((s__instance(V__OUT,s__SymbolicString) & s__instance(V__IN,s__SymbolicString) & s__instance(V__S,s__SymbolicString) & s__instance(V__PIVOT,s__Integer) & s__instance(V__LEN,s__NonnegativeInteger) & s__instance(V__NEW,s__NonnegativeInteger) & s__instance(V__N,s__NonnegativeInteger)) => ((V__OUT = s__ReverseFn(V__IN)) & (V__LEN = s__StringLengthFn(V__IN)) & s__greaterThan(V__LEN,n__1) & s__greaterThan(V__N,n__0) & s__lessThan(V__N,V__LEN) & (V__PIVOT = s__CeilingFn(s__DivisionFn(s__SubtractionFn(V__LEN,n__1) ,n__2))) & (V__NEW = s__AdditionFn(s__SubtractionFn(V__PIVOT,V__N) ,V__PIVOT)) & (V__S = s__SubstringFn(V__IN,V__N,s__AdditionFn(n__1,V__N)))) => (V__S = s__SubstringFn(V__OUT,V__NEW,s__AdditionFn(n__1,V__NEW))) ) )	Media.kif 3036-3057	If a symbolic string is equal to the reverse of another symbolic string and a nonnegative integer is equal to the length of the other symbolic string and the nonnegative integer is greater than 1 and another nonnegative integer is greater than 0 and the other nonnegative integer is less than the nonnegative integer and an integer is equal to the ceiling of (the nonnegative integer and 1) and 2 and the other nonnegative integerEW is equal to ((the integer and the other nonnegative integer) and the integer) and a third symbolic string is equal to the sub-string of the other symbolic string from the other nonnegative integer to (1 and the other nonnegative integer), then the third symbolic string is equal to the sub-string of the symbolic string from the other nonnegative integerEW to (1 and the other nonnegative integerEW)
( ! [V__Amount,V__Date,V__Balance,V__Account] : ((s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Date,s__Day) & s__instance(V__Balance,s__CurrencyMeasure)) => (s__instance(V__Account,s__FinancialAccount) & s__minimumBalance(V__Account,s__UsingAnAccount,V__Balance) & s__currentAccountBalance(V__Account,V__Date,V__Amount) & s__lessThan(V__Amount,V__Balance)) => ( ? [V__Penalty] : ((s__instance(V__Penalty,s__Penalty) & s__date(V__Penalty,V__Date) & s__destination(V__Penalty,s__CurrencyFn(V__Account))))) ) )	FinancialOntology.kif 657-667	If a financial account is an instance of financial account and the financial account is minimum balance using an account for a currency measure and the financial account current account balance a day for another currency measure and the other currency measure is less than the currency measure, then there exists a process such that the process is an instance of penalty and date of the process is the day and the process ends up at the currency of the financial account
( ! [V__Amount,V__MinPayment,V__Account] : ((s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__MinPayment,s__CurrencyMeasure)) => (s__instance(V__Account,s__LiabilityAccount) & s__minimumPayment(V__Account,V__MinPayment,s__MonthDuration) & ( ? [V__Payment, V__Month] : ((s__instance(V__Payment,s__Process) & (s__instance(V__Month,s__Month) & s__destination(V__Payment,s__CurrencyFn(V__Account)) & s__paymentsPerPeriod(V__Account,V__Amount,V__Month) & s__lessThan(V__Amount,V__MinPayment)))))) => ( ? [V__Penalty] : ((s__instance(V__Penalty,s__Penalty) & s__destination(V__Penalty,s__CurrencyFn(V__Account))))) ) )	FinancialOntology.kif 711-724	If a liability account is an instance of liability account and the liability account is minimum payment a currency measure for month duration and there exist a process and a time interval such that the time interval is an instance of month and the process ends up at the currency of the liability account and the liability account payments per period another currency measure for the time interval and the other currency measure is less than the currency measure, then there exists another process such that the other process is an instance of penalty and the other process ends up at the currency of the liability account
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 491-497	If an entity is an instance of human and the age of the entity is a quantity year duration(s) holds during a time position and the quantity is greater than 12 and the quantity is less than 20, then the entity is an instance of teenager holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 418-423	If an entity is an instance of human and the age of the entity is a quantity year duration(s) holds during a time position and the quantity is less than 18, then the entity is an instance of human youth holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12822-12837	If an entity is an instance of a kind of pure substance and a real number an unit of measure(s) is a boiling point of a kind of pure substance and another real number the unit of measure(s) is a melting point of the kind of pure substance and the unit of measure is an instance of UnitOfTemperature and the measure of the entity is a quantity the unit of measure(s) holds during a time interval and the quantity is greater than the other real number and the quantity is less than the real number, then liquid is an attribute of the entity holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of melting and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12839-12852	If an entity is an instance of a kind of pure substance and a real number an unit of measure(s) is a melting point of a kind of pure substance and the measure of the entity is a quantity the unit of measure(s) holds during a time interval and the unit of measure is an instance of UnitOfTemperature and the quantity is less than the real number, then solid is an attribute of the entity holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of freezing and the entity is a patient of the process
( ! [V__DEPTH,V__OBJ,V__DRAFT,V__WATERWAY,V__UNIT] : ((s__instance(V__DEPTH,s__RealNumber) & s__instance(V__OBJ,s__Physical) & s__instance(V__DRAFT,s__RealNumber)) => (s__instance(V__WATERWAY,s__Waterway) & s__depth(V__OBJ,V__WATERWAY,s__MeasureFn(V__DEPTH,V__UNIT)) & s__instance(V__UNIT,s__UnitOfLength) & s__lessThan(V__DRAFT,V__DEPTH)) => s__navigableForDraft(V__WATERWAY,s__MeasureFn(V__DRAFT,V__UNIT)) ) )	Transportation.kif 2645-2651	If a water area is an instance of waterway and the depth from a physical to the water area is a real number an unit of measure(s) and the unit of measure is an instance of UnitOfLength and another real number is less than the real number, then the other real number the unit of measure(s) is a navigable for draft of the water area
( ! [V__MELT,V__X,V__BOIL,V__Y,V__TEMP] : ((s__instance(V__MELT,s__RealNumber) & s__instance(V__X,s__Object) & s__instance(V__BOIL,s__RealNumber) & s__subclass(V__Y,s__PureSubstance) & s__instance(V__Y,s__SetOrClass) & s__instance(V__TEMP,s__RealNumber)) => (s__instance(V__X,V__Y) & s__subclass(V__Y,s__PureSubstance) & s__boilingPoint(V__Y,s__MeasureFn(V__BOIL,s__KelvinDegree)) & s__meltingPoint(V__Y,s__MeasureFn(V__MELT,s__KelvinDegree)) & s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree)) & s__greaterThan(V__TEMP,V__MELT) & s__lessThan(V__TEMP,V__BOIL)) => s__attribute(V__X,s__Liquid) ) )	Merge.kif 12768-12777	If an object is an instance of a kind of pure substance and a kind of pure substance is a subclass of pure substance and a real number kelvin degree(s) is a boiling point of the kind of pure substance and another real number kelvin degree(s) is a melting point of the kind of pure substance and the measure of the object is a third real number kelvin degree(s) and the third real number is greater than the other real number and the third real number is less than the real number, then liquid is an attribute of the object
( ! [V__PRES,V__MELT,V__X,V__Y,V__TEMP] : ((s__instance(V__PRES,s__RealNumber) & s__instance(V__MELT,s__RealNumber) & s__instance(V__X,s__Object) & s__subclass(V__Y,s__PureSubstance) & s__instance(V__Y,s__SetOrClass) & s__instance(V__TEMP,s__RealNumber)) => (s__instance(V__X,V__Y) & s__subclass(V__Y,s__PureSubstance) & s__meltingPoint(V__Y,s__MeasureFn(V__MELT,s__KelvinDegree)) & s__barometricPressure(V__X,s__MeasureFn(V__PRES,s__InchMercury)) & s__greaterThan(V__PRES,n__29_92) & s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree)) & s__lessThan(V__TEMP,V__MELT)) => s__attribute(V__X,s__Solid) ) )	Merge.kif 12779-12788	If an object is an instance of a kind of pure substance and a kind of pure substance is a subclass of pure substance and a real number kelvin degree(s) is a melting point of the kind of pure substance and another real number inch mercury(s) is a barometric pressure of the object and the other real number is greater than 29.92 and the measure of the object is a third real number kelvin degree(s) and the third real number is less than the real number, then solid is an attribute of the object
( ! [V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__Process1,V__ROW2,V__Process2,V__Number1,V__Number2] : ((s__instance(V__Process1,s__Physical) & s__instance(V__Process2,s__Physical) & s__instance(V__Number1,s__PositiveInteger) & s__instance(V__Number2,s__PositiveInteger)) => (s__processList__5(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6) & s__inList(V__Process1,s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)) & s__inList(V__Process2,s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)) & (s__ListOrderFn(s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6) ,V__Number1) = V__Process1) & (s__ListOrderFn(s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6) ,V__Number2) = V__Process2) & s__lessThan(V__Number1,V__Number2)) => s__earlier(s__WhenFn(V__Process1) ,s__WhenFn(V__Process2)) ) ) ( ! [V__ROW7,V__ROW8,V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__Process1,V__ROW2,V__Process2,V__Number1,V__Number2] : ((s__instance(V__Process1,s__Physical) & s__instance(V__Process2,s__Physical) & s__instance(V__Number1,s__PositiveInteger) & s__instance(V__Number2,s__PositiveInteger)) => (s__processList__7(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8) & s__inList(V__Process1,s__ListFn__7Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8)) & s__inList(V__Process2,s__ListFn__7Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8)) & (s__ListOrderFn(s__ListFn__7Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8) ,V__Number1) = V__Process1) & (s__ListOrderFn(s__ListFn__7Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8) ,V__Number2) = V__Process2) & s__lessThan(V__Number1,V__Number2)) => s__earlier(s__WhenFn(V__Process1) ,s__WhenFn(V__Process2)) ) ) ( ! [V__ROW3,V__Process1,V__ROW2,V__Process2,V__Number1,V__Number2] : ((s__instance(V__Process1,s__Physical) & s__instance(V__Process2,s__Physical) & s__instance(V__Number1,s__PositiveInteger) & s__instance(V__Number2,s__PositiveInteger)) => (s__processList__2(V__ROW2,V__ROW3) & s__inList(V__Process1,s__ListFn__2Fn(V__ROW2,V__ROW3)) & s__inList(V__Process2,s__ListFn__2Fn(V__ROW2,V__ROW3)) & (s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3) ,V__Number1) = V__Process1) & (s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3) ,V__Number2) = V__Process2) & s__lessThan(V__Number1,V__Number2)) => s__earlier(s__WhenFn(V__Process1) ,s__WhenFn(V__Process2)) ) ) ( ! [V__ROW5,V__ROW3,V__ROW4,V__Process1,V__ROW2,V__Process2,V__Number1,V__Number2] : ((s__instance(V__Process1,s__Physical) & s__instance(V__Process2,s__Physical) & s__instance(V__Number1,s__PositiveInteger) & s__instance(V__Number2,s__PositiveInteger)) => (s__processList__4(V__ROW2,V__ROW3,V__ROW4,V__ROW5) & s__inList(V__Process1,s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)) & s__inList(V__Process2,s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)) & (s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5) ,V__Number1) = V__Process1) & (s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5) ,V__Number2) = V__Process2) & s__lessThan(V__Number1,V__Number2)) => s__earlier(s__WhenFn(V__Process1) ,s__WhenFn(V__Process2)) ) ) ( ! [V__ROW7,V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__Process1,V__ROW2,V__Process2,V__Number1,V__Number2] : ((s__instance(V__Process1,s__Physical) & s__instance(V__Process2,s__Physical) & s__instance(V__Number1,s__PositiveInteger) & s__instance(V__Number2,s__PositiveInteger)) => (s__processList__6(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7) & s__inList(V__Process1,s__ListFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)) & s__inList(V__Process2,s__ListFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)) & (s__ListOrderFn(s__ListFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7) ,V__Number1) = V__Process1) & (s__ListOrderFn(s__ListFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7) ,V__Number2) = V__Process2) & s__lessThan(V__Number1,V__Number2)) => s__earlier(s__WhenFn(V__Process1) ,s__WhenFn(V__Process2)) ) ) ( ! [V__Process1,V__ROW2,V__Process2,V__Number1,V__Number2] : ((s__instance(V__Process1,s__Physical) & s__instance(V__Process2,s__Physical) & s__instance(V__Number1,s__PositiveInteger) & s__instance(V__Number2,s__PositiveInteger)) => (s__processList__1(V__ROW2) & s__inList(V__Process1,s__ListFn__1Fn(V__ROW2)) & s__inList(V__Process2,s__ListFn__1Fn(V__ROW2)) & (s__ListOrderFn(s__ListFn__1Fn(V__ROW2) ,V__Number1) = V__Process1) & (s__ListOrderFn(s__ListFn__1Fn(V__ROW2) ,V__Number2) = V__Process2) & s__lessThan(V__Number1,V__Number2)) => s__earlier(s__WhenFn(V__Process1) ,s__WhenFn(V__Process2)) ) ) ( ! [V__ROW3,V__ROW4,V__Process1,V__ROW2,V__Process2,V__Number1,V__Number2] : ((s__instance(V__Process1,s__Physical) & s__instance(V__Process2,s__Physical) & s__instance(V__Number1,s__PositiveInteger) & s__instance(V__Number2,s__PositiveInteger)) => (s__processList__3(V__ROW2,V__ROW3,V__ROW4) & s__inList(V__Process1,s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)) & s__inList(V__Process2,s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)) & (s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4) ,V__Number1) = V__Process1) & (s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4) ,V__Number2) = V__Process2) & s__lessThan(V__Number1,V__Number2)) => s__earlier(s__WhenFn(V__Process1) ,s__WhenFn(V__Process2)) ) )	QoSontology.kif 692-708	If the list of processes @ROW and a physical is a member of (@ROW) and another physical is a member of (@ROW) and another entity element of (@ROW) is equal to the physical and a third entity element of (@ROW) is equal to the other physical and a positive integer is less than another positive integer, then the time of existence of the physical happens earlier than the time of existence of the other physical
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 415-427	If a cognitive agent sells a kind of entity for a currency measure and the price of a kind of entity from the cognitive agent according to a pricing scheme is another currency measure and the pricing scheme is valid for a kind of agent and another entity is an instance of the kind of entity and a process is an instance of buying and another agent is an immediate instance of a kind of agent and the other agent is an agent of the process and the process originates at the cognitive agent and the other currency measure is less than the currency measure, then the statement the currency measure is a transaction amount of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3668-3678	If minimum device operating temperature of an entity is another entity and the entity is located at a third entity and device on is an attribute of the entity and a fourth entity is an air temperature of the third entity and the fourth entity is less than the other entity holds during a time position, then the statement DeviceDamaged is an attribute of the entity holds during immediately after the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3691-3701	If minimum device storagqqqe temperature of an entity is another entity and the entity is located at a third entity and device off is an attribute of the entity and a fourth entity is an air temperature of the third entity and the fourth entity is less than the other entity holds during a time position, then the statement DeviceDamaged is an attribute of the entity holds during immediately after the time position has the modal force of likely

consequent

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__EngineeringComponent) =>
     ((s__instance(s__engineeringSubcomponent__m,s__TotalValuedRelation) &
         s__instance(s__engineeringSubcomponent__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__engineeringSubcomponent__m,s__Relation) &
               s__valence(s__engineeringSubcomponent__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__engineeringSubcomponent__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__EngineeringComponent) &
         s__engineeringSubcomponent(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__engineeringSubcomponent__m,s__Relation) &
s__valence(s__engineeringSubcomponent__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__engineeringSubcomponent__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__EngineeringComponent) &
s__engineeringSubcomponent(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__engineeringSubcomponent__m,s__TotalValuedRelation) &
s__instance(s__engineeringSubcomponent__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Object) =>
     ((s__instance(s__smaller__m,s__TotalValuedRelation) &
         s__instance(s__smaller__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__smaller__m,s__Relation) &
               s__valence(s__smaller__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__smaller__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Object) &
         s__smaller(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__smaller__m,s__Relation) &
s__valence(s__smaller__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__smaller__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Object) &
s__smaller(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__smaller__m,s__TotalValuedRelation) &
s__instance(s__smaller__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Motion) =>
     ((s__instance(s__path__m,s__TotalValuedRelation) &
         s__instance(s__path__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__path__m,s__Relation) &
               s__valence(s__path__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__path__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Object) &
         s__path(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__path__m,s__Relation) &
s__valence(s__path__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__path__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Object) &
s__path(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__path__m,s__TotalValuedRelation) &
s__instance(s__path__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Bond) =>
     ((s__instance(s__bondRating__m,s__TotalValuedRelation) &
         s__instance(s__bondRating__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__bondRating__m,s__Relation) &
               s__valence(s__bondRating__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__bondRating__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__FinancialRating) &
         s__bondRating(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__bondRating__m,s__Relation) &
s__valence(s__bondRating__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__bondRating__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__FinancialRating) &
s__bondRating(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__bondRating__m,s__TotalValuedRelation) &
s__instance(s__bondRating__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Organism) =>
     ((s__instance(s__son__m,s__TotalValuedRelation) &
         s__instance(s__son__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__son__m,s__Relation) &
               s__valence(s__son__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__son__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Organism) &
         s__son(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__son__m,s__Relation) &
s__valence(s__son__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__son__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Organism) &
s__son(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__son__m,s__TotalValuedRelation) &
s__instance(s__son__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__List) =>
     ((s__instance(s__subList__m,s__TotalValuedRelation) &
         s__instance(s__subList__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__subList__m,s__Relation) &
               s__valence(s__subList__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__subList__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__List) &
         s__subList(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__subList__m,s__Relation) &
s__valence(s__subList__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__subList__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__List) &
s__subList(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__subList__m,s__TotalValuedRelation) &
s__instance(s__subList__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__FinancialTransaction) =>
     ((s__instance(s__transactionAmount__m,s__TotalValuedRelation) &
         s__instance(s__transactionAmount__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__transactionAmount__m,s__Relation) &
               s__valence(s__transactionAmount__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__transactionAmount__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__CurrencyMeasure) &
         s__transactionAmount(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__transactionAmount__m,s__Relation) &
s__valence(s__transactionAmount__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__transactionAmount__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__CurrencyMeasure) &
s__transactionAmount(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__transactionAmount__m,s__TotalValuedRelation) &
s__instance(s__transactionAmount__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__TimeInterval) =>
     ((s__instance(s__duration__m,s__TotalValuedRelation) &
         s__instance(s__duration__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__duration__m,s__Relation) &
               s__valence(s__duration__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__duration__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__TimeDuration) &
         s__duration(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__duration__m,s__Relation) &
s__valence(s__duration__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__duration__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__TimeDuration) &
s__duration(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__duration__m,s__TotalValuedRelation) &
s__instance(s__duration__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Transitway) =>
     ((s__instance(s__pathInSystem__m,s__TotalValuedRelation) &
         s__instance(s__pathInSystem__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__pathInSystem__m,s__Relation) &
               s__valence(s__pathInSystem__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__pathInSystem__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__TransitSystem) &
         s__pathInSystem(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__pathInSystem__m,s__Relation) &
s__valence(s__pathInSystem__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__pathInSystem__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__TransitSystem) &
s__pathInSystem(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__pathInSystem__m,s__TotalValuedRelation) &
s__instance(s__pathInSystem__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Object) =>
     ((s__instance(s__completelyFills__m,s__TotalValuedRelation) &
         s__instance(s__completelyFills__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__completelyFills__m,s__Relation) &
               s__valence(s__completelyFills__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__completelyFills__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     (s__completelyFills(V__ROW2,V__ITEM))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__completelyFills__m,s__Relation) &
s__valence(s__completelyFills__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__completelyFills__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
(s__completelyFills(V__ROW2,V__ITEM)))))))
=>
(s__instance(s__completelyFills__m,s__TotalValuedRelation) &
s__instance(s__completelyFills__m,s__Predicate)))
)
)

( ! [V__ROW3,V__ROW2] :
   ((s__instance(V__ROW3,s__Physical) &
       s__instance(V__ROW2,s__Physical))
     =>
     ((s__instance(s__depth__m,s__TotalValuedRelation) &
         s__instance(s__depth__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__depth__m,s__Relation) &
               s__valence(s__depth__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__depth__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     (s__depth(V__ROW2,V__ROW3,V__ITEM))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__depth__m,s__Relation) &
s__valence(s__depth__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__depth__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
(s__depth(V__ROW2,V__ROW3,V__ITEM)))))))
=>
(s__instance(s__depth__m,s__TotalValuedRelation) &
s__instance(s__depth__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__NonnegativeInteger) =>
     ((s__instance(s__stringLength__m,s__TotalValuedRelation) &
         s__instance(s__stringLength__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__stringLength__m,s__Relation) &
               s__valence(s__stringLength__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__stringLength__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__SymbolicString) &
         s__stringLength(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__stringLength__m,s__Relation) &
s__valence(s__stringLength__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__stringLength__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__SymbolicString) &
s__stringLength(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__stringLength__m,s__TotalValuedRelation) &
s__instance(s__stringLength__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Motion) =>
     ((s__instance(s__moves__m,s__TotalValuedRelation) &
         s__instance(s__moves__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__moves__m,s__Relation) &
               s__valence(s__moves__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__moves__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Object) &
         s__moves(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__moves__m,s__Relation) &
s__valence(s__moves__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__moves__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Object) &
s__moves(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__moves__m,s__TotalValuedRelation) &
s__instance(s__moves__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__TimeInterval) =>
     ((s__instance(s__meetsTemporally__m,s__TotalValuedRelation) &
         s__instance(s__meetsTemporally__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__meetsTemporally__m,s__Relation) &
               s__valence(s__meetsTemporally__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__meetsTemporally__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__TimeInterval) &
         s__meetsTemporally(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__meetsTemporally__m,s__Relation) &
s__valence(s__meetsTemporally__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__meetsTemporally__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__TimeInterval) &
s__meetsTemporally(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__meetsTemporally__m,s__TotalValuedRelation) &
s__instance(s__meetsTemporally__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__PostalPlace) =>
     ((s__instance(s__postNeighborhood__m,s__TotalValuedRelation) &
         s__instance(s__postNeighborhood__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__postNeighborhood__m,s__Relation) &
               s__valence(s__postNeighborhood__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__postNeighborhood__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Neighborhood) &
         s__postNeighborhood(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__postNeighborhood__m,s__Relation) &
s__valence(s__postNeighborhood__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__postNeighborhood__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Neighborhood) &
s__postNeighborhood(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__postNeighborhood__m,s__TotalValuedRelation) &
s__instance(s__postNeighborhood__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__PostalPlace) =>
     ((s__instance(s__postCity__m,s__TotalValuedRelation) &
         s__instance(s__postCity__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__postCity__m,s__Relation) &
               s__valence(s__postCity__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__postCity__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__City) &
         s__postCity(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__postCity__m,s__Relation) &
s__valence(s__postCity__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__postCity__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__City) &
s__postCity(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__postCity__m,s__TotalValuedRelation) &
s__instance(s__postCity__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__CorpuscularObject) =>
     ((s__instance(s__powerComponent__m,s__TotalValuedRelation) &
         s__instance(s__powerComponent__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__powerComponent__m,s__Relation) &
               s__valence(s__powerComponent__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__powerComponent__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__subclass(V__ITEM,s__Artifact) &
         s__powerComponent(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__powerComponent__m,s__Relation) &
s__valence(s__powerComponent__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__powerComponent__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__subclass(V__ITEM,s__Artifact) &
s__powerComponent(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__powerComponent__m,s__TotalValuedRelation) &
s__instance(s__powerComponent__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__SymbolicString) =>
     ((s__instance(s__subString__m,s__TotalValuedRelation) &
         s__instance(s__subString__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__subString__m,s__Relation) &
               s__valence(s__subString__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__subString__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__SymbolicString) &
         s__subString(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__subString__m,s__Relation) &
s__valence(s__subString__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__subString__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__SymbolicString) &
s__subString(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__subString__m,s__TotalValuedRelation) &
s__instance(s__subString__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Transitway) =>
     ((s__instance(s__routeInSystem__m,s__TotalValuedRelation) &
         s__instance(s__routeInSystem__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__routeInSystem__m,s__Relation) &
               s__valence(s__routeInSystem__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__routeInSystem__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__TransitSystem) &
         s__routeInSystem(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__routeInSystem__m,s__Relation) &
s__valence(s__routeInSystem__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__routeInSystem__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__TransitSystem) &
s__routeInSystem(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__routeInSystem__m,s__TotalValuedRelation) &
s__instance(s__routeInSystem__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__GeometricPoint) =>
     ((s__instance(s__pointOfFigure__m,s__TotalValuedRelation) &
         s__instance(s__pointOfFigure__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__pointOfFigure__m,s__Relation) &
               s__valence(s__pointOfFigure__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__pointOfFigure__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__GeometricFigure) &
         s__pointOfFigure(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__pointOfFigure__m,s__Relation) &
s__valence(s__pointOfFigure__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__pointOfFigure__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__GeometricFigure) &
s__pointOfFigure(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__pointOfFigure__m,s__TotalValuedRelation) &
s__instance(s__pointOfFigure__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__PostalPlace) =>
     ((s__instance(s__postPostcodeArea__m,s__TotalValuedRelation) &
         s__instance(s__postPostcodeArea__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__postPostcodeArea__m,s__Relation) &
               s__valence(s__postPostcodeArea__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__postPostcodeArea__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__PostcodeArea) &
         s__postPostcodeArea(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__postPostcodeArea__m,s__Relation) &
s__valence(s__postPostcodeArea__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__postPostcodeArea__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__PostcodeArea) &
s__postPostcodeArea(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__postPostcodeArea__m,s__TotalValuedRelation) &
s__instance(s__postPostcodeArea__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Quantity) =>
     ((s__instance(s__greaterThan__m,s__TotalValuedRelation) &
         s__instance(s__greaterThan__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__greaterThan__m,s__Relation) &
               s__valence(s__greaterThan__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__greaterThan__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Quantity) &
         s__greaterThan(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__greaterThan__m,s__Relation) &
s__valence(s__greaterThan__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__greaterThan__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Quantity) &
s__greaterThan(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__greaterThan__m,s__TotalValuedRelation) &
s__instance(s__greaterThan__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__TwoDimensionalAngle) =>
     ((s__instance(s__angleOfFigure__m,s__TotalValuedRelation) &
         s__instance(s__angleOfFigure__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__angleOfFigure__m,s__Relation) &
               s__valence(s__angleOfFigure__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__angleOfFigure__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__GeometricFigure) &
         s__angleOfFigure(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__angleOfFigure__m,s__Relation) &
s__valence(s__angleOfFigure__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__angleOfFigure__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__GeometricFigure) &
s__angleOfFigure(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__angleOfFigure__m,s__TotalValuedRelation) &
s__instance(s__angleOfFigure__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Physical) =>
     ((s__instance(s__date__m,s__TotalValuedRelation) &
         s__instance(s__date__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__date__m,s__Relation) &
               s__valence(s__date__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__date__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Day) &
         s__date(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__date__m,s__Relation) &
s__valence(s__date__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__date__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Day) &
s__date(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__date__m,s__TotalValuedRelation) &
s__instance(s__date__m,s__Predicate)))
)
)

( ! [V__ROW3,V__ROW2] :
   ((s__subclass(V__ROW3,s__Weapon) &
       s__instance(V__ROW2,s__MilitaryVehicle))
     =>
     ((s__instance(s__weaponCarryingCapability__m,s__TotalValuedRelation) &
         s__instance(s__weaponCarryingCapability__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__weaponCarryingCapability__m,s__Relation) &
               s__valence(s__weaponCarryingCapability__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__weaponCarryingCapability__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__PositiveInteger) &
         s__weaponCarryingCapability(V__ROW2,V__ROW3,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__weaponCarryingCapability__m,s__Relation) &
s__valence(s__weaponCarryingCapability__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__weaponCarryingCapability__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__PositiveInteger) &
s__weaponCarryingCapability(V__ROW2,V__ROW3,V__ITEM))))))))
=>
(s__instance(s__weaponCarryingCapability__m,s__TotalValuedRelation) &
s__instance(s__weaponCarryingCapability__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Object) =>
     ((s__instance(s__partiallyFills__m,s__TotalValuedRelation) &
         s__instance(s__partiallyFills__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__partiallyFills__m,s__Relation) &
               s__valence(s__partiallyFills__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__partiallyFills__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Hole) &
         s__partiallyFills(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__partiallyFills__m,s__Relation) &
s__valence(s__partiallyFills__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__partiallyFills__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Hole) &
s__partiallyFills(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__partiallyFills__m,s__TotalValuedRelation) &
s__instance(s__partiallyFills__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Virus) =>
     ((s__instance(s__geneticSubstrateOfVirus__m,s__TotalValuedRelation) &
         s__instance(s__geneticSubstrateOfVirus__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__geneticSubstrateOfVirus__m,s__Relation) &
               s__valence(s__geneticSubstrateOfVirus__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__geneticSubstrateOfVirus__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Molecule) &
         s__geneticSubstrateOfVirus(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__geneticSubstrateOfVirus__m,s__Relation) &
s__valence(s__geneticSubstrateOfVirus__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__geneticSubstrateOfVirus__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Molecule) &
s__geneticSubstrateOfVirus(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__geneticSubstrateOfVirus__m,s__TotalValuedRelation) &
s__instance(s__geneticSubstrateOfVirus__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Organization) =>
     ((s__instance(s__chamberOfLegislature__m,s__TotalValuedRelation) &
         s__instance(s__chamberOfLegislature__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__chamberOfLegislature__m,s__Relation) &
               s__valence(s__chamberOfLegislature__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__chamberOfLegislature__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Organization) &
         s__chamberOfLegislature(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__chamberOfLegislature__m,s__Relation) &
s__valence(s__chamberOfLegislature__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__chamberOfLegislature__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Organization) &
s__chamberOfLegislature(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__chamberOfLegislature__m,s__TotalValuedRelation) &
s__instance(s__chamberOfLegislature__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Organization) =>
     ((s__instance(s__headquartersOfOrganization__m,s__TotalValuedRelation) &
         s__instance(s__headquartersOfOrganization__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__headquartersOfOrganization__m,s__Relation) &
               s__valence(s__headquartersOfOrganization__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__headquartersOfOrganization__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__GeopoliticalArea) &
         s__headquartersOfOrganization(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__headquartersOfOrganization__m,s__Relation) &
s__valence(s__headquartersOfOrganization__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__headquartersOfOrganization__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__GeopoliticalArea) &
s__headquartersOfOrganization(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__headquartersOfOrganization__m,s__TotalValuedRelation) &
s__instance(s__headquartersOfOrganization__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Relation) =>
     ((s__instance(s__subrelation__m,s__TotalValuedRelation) &
         s__instance(s__subrelation__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__subrelation__m,s__Relation) &
               s__valence(s__subrelation__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__subrelation__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Relation) &
         s__subrelation(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__subrelation__m,s__Relation) &
s__valence(s__subrelation__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__subrelation__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Relation) &
s__subrelation(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__subrelation__m,s__TotalValuedRelation) &
s__instance(s__subrelation__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Substance) =>
     ((s__instance(s__piece__m,s__TotalValuedRelation) &
         s__instance(s__piece__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__piece__m,s__Relation) &
               s__valence(s__piece__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__piece__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Substance) &
         s__piece(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__piece__m,s__Relation) &
s__valence(s__piece__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__piece__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Substance) &
s__piece(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__piece__m,s__TotalValuedRelation) &
s__instance(s__piece__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__SymbolicString) =>
     ((s__instance(s__telecomCoreNumber__m,s__TotalValuedRelation) &
         s__instance(s__telecomCoreNumber__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__telecomCoreNumber__m,s__Relation) &
               s__valence(s__telecomCoreNumber__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__telecomCoreNumber__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__TelecomNumber) &
         s__telecomCoreNumber(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__telecomCoreNumber__m,s__Relation) &
s__valence(s__telecomCoreNumber__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__telecomCoreNumber__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__TelecomNumber) &
s__telecomCoreNumber(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__telecomCoreNumber__m,s__TotalValuedRelation) &
s__instance(s__telecomCoreNumber__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__CorpuscularObject) =>
     ((s__instance(s__component__m,s__TotalValuedRelation) &
         s__instance(s__component__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__component__m,s__Relation) &
               s__valence(s__component__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__component__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__CorpuscularObject) &
         s__component(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__component__m,s__Relation) &
s__valence(s__component__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__component__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__CorpuscularObject) &
s__component(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__component__m,s__TotalValuedRelation) &
s__instance(s__component__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__OneDimensionalFigure) =>
     ((s__instance(s__sideOfFigure__m,s__TotalValuedRelation) &
         s__instance(s__sideOfFigure__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__sideOfFigure__m,s__Relation) &
               s__valence(s__sideOfFigure__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__sideOfFigure__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__GeometricFigure) &
         s__sideOfFigure(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__sideOfFigure__m,s__Relation) &
s__valence(s__sideOfFigure__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__sideOfFigure__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__GeometricFigure) &
s__sideOfFigure(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__sideOfFigure__m,s__TotalValuedRelation) &
s__instance(s__sideOfFigure__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__GeopoliticalArea) =>
     ((s__instance(s__administrativeCenter__m,s__TotalValuedRelation) &
         s__instance(s__administrativeCenter__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__administrativeCenter__m,s__Relation) &
               s__valence(s__administrativeCenter__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__administrativeCenter__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__GeopoliticalArea) &
         s__administrativeCenter(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__administrativeCenter__m,s__Relation) &
s__valence(s__administrativeCenter__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__administrativeCenter__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__GeopoliticalArea) &
s__administrativeCenter(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__administrativeCenter__m,s__TotalValuedRelation) &
s__instance(s__administrativeCenter__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__PostalPlace) =>
     ((s__instance(s__postDistrict__m,s__TotalValuedRelation) &
         s__instance(s__postDistrict__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__postDistrict__m,s__Relation) &
               s__valence(s__postDistrict__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__postDistrict__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__StateOrProvince) &
         s__postDistrict(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__postDistrict__m,s__Relation) &
s__valence(s__postDistrict__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__postDistrict__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__StateOrProvince) &
s__postDistrict(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__postDistrict__m,s__TotalValuedRelation) &
s__instance(s__postDistrict__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__TimeInterval) =>
     ((s__instance(s__starts__m,s__TotalValuedRelation) &
         s__instance(s__starts__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__starts__m,s__Relation) &
               s__valence(s__starts__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__starts__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__TimeInterval) &
         s__starts(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__starts__m,s__Relation) &
s__valence(s__starts__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__starts__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__TimeInterval) &
s__starts(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__starts__m,s__TotalValuedRelation) &
s__instance(s__starts__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Character) =>
     ((s__instance(s__inString__m,s__TotalValuedRelation) &
         s__instance(s__inString__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__inString__m,s__Relation) &
               s__valence(s__inString__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__inString__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__SymbolicString) &
         s__inString(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__inString__m,s__Relation) &
s__valence(s__inString__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__inString__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__SymbolicString) &
s__inString(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__inString__m,s__TotalValuedRelation) &
s__instance(s__inString__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__List) =>
     ((s__instance(s__initialList__m,s__TotalValuedRelation) &
         s__instance(s__initialList__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__initialList__m,s__Relation) &
               s__valence(s__initialList__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__initialList__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     (s__initialList(V__ROW2,V__ITEM))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__initialList__m,s__Relation) &
s__valence(s__initialList__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__initialList__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
(s__initialList(V__ROW2,V__ITEM)))))))
=>
(s__instance(s__initialList__m,s__TotalValuedRelation) &
s__instance(s__initialList__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__PostalPlace) =>
     ((s__instance(s__postCountry__m,s__TotalValuedRelation) &
         s__instance(s__postCountry__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__postCountry__m,s__Relation) &
               s__valence(s__postCountry__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__postCountry__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__GeopoliticalArea) &
         s__postCountry(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__postCountry__m,s__Relation) &
s__valence(s__postCountry__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__postCountry__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__GeopoliticalArea) &
s__postCountry(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__postCountry__m,s__TotalValuedRelation) &
s__instance(s__postCountry__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Process) =>
     ((s__instance(s__manner__m,s__TotalValuedRelation) &
         s__instance(s__manner__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__manner__m,s__Relation) &
               s__valence(s__manner__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__manner__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Attribute) &
         s__manner(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__manner__m,s__Relation) &
s__valence(s__manner__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__manner__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Attribute) &
s__manner(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__manner__m,s__TotalValuedRelation) &
s__instance(s__manner__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Object) =>
     ((s__instance(s__most__m,s__TotalValuedRelation) &
         s__instance(s__most__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__most__m,s__Relation) &
               s__valence(s__most__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__most__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     (s__most(V__ROW2,V__ITEM))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__most__m,s__Relation) &
s__valence(s__most__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__most__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
(s__most(V__ROW2,V__ITEM)))))))
=>
(s__instance(s__most__m,s__TotalValuedRelation) &
s__instance(s__most__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Organism) =>
     ((s__instance(s__daughter__m,s__TotalValuedRelation) &
         s__instance(s__daughter__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__daughter__m,s__Relation) &
               s__valence(s__daughter__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__daughter__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Organism) &
         s__daughter(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__daughter__m,s__Relation) &
s__valence(s__daughter__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__daughter__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Organism) &
s__daughter(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__daughter__m,s__TotalValuedRelation) &
s__instance(s__daughter__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Object) =>
     ((s__instance(s__properlyFills__m,s__TotalValuedRelation) &
         s__instance(s__properlyFills__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__properlyFills__m,s__Relation) &
               s__valence(s__properlyFills__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__properlyFills__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Hole) &
         s__properlyFills(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__properlyFills__m,s__Relation) &
s__valence(s__properlyFills__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__properlyFills__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Hole) &
s__properlyFills(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__properlyFills__m,s__TotalValuedRelation) &
s__instance(s__properlyFills__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Language) =>
     ((s__instance(s__subLanguage__m,s__TotalValuedRelation) &
         s__instance(s__subLanguage__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__subLanguage__m,s__Relation) &
               s__valence(s__subLanguage__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__subLanguage__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Language) &
         s__subLanguage(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__subLanguage__m,s__Relation) &
s__valence(s__subLanguage__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__subLanguage__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Language) &
s__subLanguage(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__subLanguage__m,s__TotalValuedRelation) &
s__instance(s__subLanguage__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Physical) =>
     ((s__instance(s__partlyLocated__m,s__TotalValuedRelation) &
         s__instance(s__partlyLocated__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__partlyLocated__m,s__Relation) &
               s__valence(s__partlyLocated__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__partlyLocated__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Object) &
         s__partlyLocated(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__partlyLocated__m,s__Relation) &
s__valence(s__partlyLocated__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__partlyLocated__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Object) &
s__partlyLocated(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__partlyLocated__m,s__TotalValuedRelation) &
s__instance(s__partlyLocated__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__TimeInterval) =>
     ((s__instance(s__earlier__m,s__TotalValuedRelation) &
         s__instance(s__earlier__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__earlier__m,s__Relation) &
               s__valence(s__earlier__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__earlier__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__TimeInterval) &
         s__earlier(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__earlier__m,s__Relation) &
s__valence(s__earlier__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__earlier__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__TimeInterval) &
s__earlier(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__earlier__m,s__TotalValuedRelation) &
s__instance(s__earlier__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__PassengerVehicle) =>
     ((s__instance(s__personTransportCapability__m,s__TotalValuedRelation) &
         s__instance(s__personTransportCapability__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__personTransportCapability__m,s__Relation) &
               s__valence(s__personTransportCapability__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__personTransportCapability__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__PositiveInteger) &
         s__personTransportCapability(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__personTransportCapability__m,s__Relation) &
s__valence(s__personTransportCapability__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__personTransportCapability__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__PositiveInteger) &
s__personTransportCapability(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__personTransportCapability__m,s__TotalValuedRelation) &
s__instance(s__personTransportCapability__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Collection) =>
     ((s__instance(s__subCollection__m,s__TotalValuedRelation) &
         s__instance(s__subCollection__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__subCollection__m,s__Relation) &
               s__valence(s__subCollection__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__subCollection__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Collection) &
         s__subCollection(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__subCollection__m,s__Relation) &
s__valence(s__subCollection__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__subCollection__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Collection) &
s__subCollection(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__subCollection__m,s__TotalValuedRelation) &
s__instance(s__subCollection__m,s__Predicate)))
)
)

( ! [V__ROW3,V__ROW2] :
   ((s__instance(V__ROW3,s__Physical) &
       s__instance(V__ROW2,s__Physical))
     =>
     ((s__instance(s__distance__m,s__TotalValuedRelation) &
         s__instance(s__distance__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__distance__m,s__Relation) &
               s__valence(s__distance__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__distance__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__LengthMeasure) &
         s__distance(V__ROW2,V__ROW3,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__distance__m,s__Relation) &
s__valence(s__distance__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__distance__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__LengthMeasure) &
s__distance(V__ROW2,V__ROW3,V__ITEM))))))))
=>
(s__instance(s__distance__m,s__TotalValuedRelation) &
s__instance(s__distance__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__TwoDimensionalAngle) =>
     ((s__instance(s__angularMeasure__m,s__TotalValuedRelation) &
         s__instance(s__angularMeasure__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__angularMeasure__m,s__Relation) &
               s__valence(s__angularMeasure__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__angularMeasure__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__PlaneAngleMeasure) &
         s__angularMeasure(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__angularMeasure__m,s__Relation) &
s__valence(s__angularMeasure__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__angularMeasure__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__PlaneAngleMeasure) &
s__angularMeasure(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__angularMeasure__m,s__TotalValuedRelation) &
s__instance(s__angularMeasure__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Process) =>
     ((s__instance(s__coordinates__m,s__TotalValuedRelation) &
         s__instance(s__coordinates__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__coordinates__m,s__Relation) &
               s__valence(s__coordinates__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__coordinates__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Process) &
         s__coordinates(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__coordinates__m,s__Relation) &
s__valence(s__coordinates__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__coordinates__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Process) &
s__coordinates(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__coordinates__m,s__TotalValuedRelation) &
s__instance(s__coordinates__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Process) =>
     ((s__instance(s__eventLocated__m,s__TotalValuedRelation) &
         s__instance(s__eventLocated__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__eventLocated__m,s__Relation) &
               s__valence(s__eventLocated__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__eventLocated__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     (s__eventLocated(V__ROW2,V__ITEM))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__eventLocated__m,s__Relation) &
s__valence(s__eventLocated__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__eventLocated__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
(s__eventLocated(V__ROW2,V__ITEM)))))))
=>
(s__instance(s__eventLocated__m,s__TotalValuedRelation) &
s__instance(s__eventLocated__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Physical) =>
     ((s__instance(s__located__m,s__TotalValuedRelation) &
         s__instance(s__located__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__located__m,s__Relation) &
               s__valence(s__located__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__located__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Object) &
         s__located(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__located__m,s__Relation) &
s__valence(s__located__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__located__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Object) &
s__located(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__located__m,s__TotalValuedRelation) &
s__instance(s__located__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__TimePoint) =>
     ((s__instance(s__before__m,s__TotalValuedRelation) &
         s__instance(s__before__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__before__m,s__Relation) &
               s__valence(s__before__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__before__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__TimePoint) &
         s__before(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__before__m,s__Relation) &
s__valence(s__before__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__before__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__TimePoint) &
s__before(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__before__m,s__TotalValuedRelation) &
s__instance(s__before__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__SymbolicString) =>
     ((s__instance(s__telecomAreaCode__m,s__TotalValuedRelation) &
         s__instance(s__telecomAreaCode__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__telecomAreaCode__m,s__Relation) &
               s__valence(s__telecomAreaCode__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__telecomAreaCode__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__TelecomNumber) &
         s__telecomAreaCode(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__telecomAreaCode__m,s__Relation) &
s__valence(s__telecomAreaCode__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__telecomAreaCode__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__TelecomNumber) &
s__telecomAreaCode(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__telecomAreaCode__m,s__TotalValuedRelation) &
s__instance(s__telecomAreaCode__m,s__Predicate)))
)
)

( ! [V__ROW3,V__ROW2] :
   ((s__instance(V__ROW3,s__LengthMeasure) &
       s__instance(V__ROW2,s__Vehicle))
     =>
     ((s__instance(s__maximumPayloadHeightWidth__m,s__TotalValuedRelation) &
         s__instance(s__maximumPayloadHeightWidth__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__maximumPayloadHeightWidth__m,s__Relation) &
               s__valence(s__maximumPayloadHeightWidth__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__maximumPayloadHeightWidth__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__LengthMeasure) &
         s__maximumPayloadHeightWidth(V__ROW2,V__ROW3,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__maximumPayloadHeightWidth__m,s__Relation) &
s__valence(s__maximumPayloadHeightWidth__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__maximumPayloadHeightWidth__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__LengthMeasure) &
s__maximumPayloadHeightWidth(V__ROW2,V__ROW3,V__ITEM))))))))
=>
(s__instance(s__maximumPayloadHeightWidth__m,s__TotalValuedRelation) &
s__instance(s__maximumPayloadHeightWidth__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Computer) =>
     ((s__instance(s__hostStatus__m,s__TotalValuedRelation) &
         s__instance(s__hostStatus__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__hostStatus__m,s__Relation) &
               s__valence(s__hostStatus__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__hostStatus__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__ComputerStatus) &
         s__hostStatus(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__hostStatus__m,s__Relation) &
s__valence(s__hostStatus__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__hostStatus__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__ComputerStatus) &
s__hostStatus(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__hostStatus__m,s__TotalValuedRelation) &
s__instance(s__hostStatus__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Vehicle) =>
     ((s__instance(s__maximumPayloadCapacity__m,s__TotalValuedRelation) &
         s__instance(s__maximumPayloadCapacity__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__maximumPayloadCapacity__m,s__Relation) &
               s__valence(s__maximumPayloadCapacity__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__maximumPayloadCapacity__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__MassMeasure) &
         s__maximumPayloadCapacity(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__maximumPayloadCapacity__m,s__Relation) &
s__valence(s__maximumPayloadCapacity__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__maximumPayloadCapacity__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__MassMeasure) &
s__maximumPayloadCapacity(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__maximumPayloadCapacity__m,s__TotalValuedRelation) &
s__instance(s__maximumPayloadCapacity__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Object) =>
     ((s__instance(s__third__m,s__TotalValuedRelation) &
         s__instance(s__third__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__third__m,s__Relation) &
               s__valence(s__third__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__third__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     (s__third(V__ROW2,V__ITEM))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__third__m,s__Relation) &
s__valence(s__third__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__third__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
(s__third(V__ROW2,V__ITEM)))))))
=>
(s__instance(s__third__m,s__TotalValuedRelation) &
s__instance(s__third__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__GeometricFigure) =>
     ((s__instance(s__geometricPart__m,s__TotalValuedRelation) &
         s__instance(s__geometricPart__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__geometricPart__m,s__Relation) &
               s__valence(s__geometricPart__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__geometricPart__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__GeometricFigure) &
         s__geometricPart(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__geometricPart__m,s__Relation) &
s__valence(s__geometricPart__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__geometricPart__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__GeometricFigure) &
s__geometricPart(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__geometricPart__m,s__TotalValuedRelation) &
s__instance(s__geometricPart__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Set) =>
     ((s__instance(s__subset__m,s__TotalValuedRelation) &
         s__instance(s__subset__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__subset__m,s__Relation) &
               s__valence(s__subset__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__subset__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Set) &
         s__subset(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__subset__m,s__Relation) &
s__valence(s__subset__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__subset__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Set) &
s__subset(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__subset__m,s__TotalValuedRelation) &
s__instance(s__subset__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Circle) =>
     ((s__instance(s__radius__m,s__TotalValuedRelation) &
         s__instance(s__radius__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__radius__m,s__Relation) &
               s__valence(s__radius__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__radius__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__LengthMeasure) &
         s__radius(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__radius__m,s__Relation) &
s__valence(s__radius__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__radius__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__LengthMeasure) &
s__radius(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__radius__m,s__TotalValuedRelation) &
s__instance(s__radius__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__GeopoliticalArea) =>
     ((s__instance(s__primaryGeopoliticalSubdivision__m,s__TotalValuedRelation) &
         s__instance(s__primaryGeopoliticalSubdivision__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__primaryGeopoliticalSubdivision__m,s__Relation) &
               s__valence(s__primaryGeopoliticalSubdivision__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__primaryGeopoliticalSubdivision__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__GeopoliticalArea) &
         s__primaryGeopoliticalSubdivision(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__primaryGeopoliticalSubdivision__m,s__Relation) &
s__valence(s__primaryGeopoliticalSubdivision__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__primaryGeopoliticalSubdivision__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__GeopoliticalArea) &
s__primaryGeopoliticalSubdivision(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__primaryGeopoliticalSubdivision__m,s__TotalValuedRelation) &
s__instance(s__primaryGeopoliticalSubdivision__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Object) =>
     ((s__instance(s__larger__m,s__TotalValuedRelation) &
         s__instance(s__larger__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__larger__m,s__Relation) &
               s__valence(s__larger__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__larger__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Object) &
         s__larger(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__larger__m,s__Relation) &
s__valence(s__larger__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__larger__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Object) &
s__larger(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__larger__m,s__TotalValuedRelation) &
s__instance(s__larger__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Argument) =>
     ((s__instance(s__conclusion__m,s__TotalValuedRelation) &
         s__instance(s__conclusion__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__conclusion__m,s__Relation) &
               s__valence(s__conclusion__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__conclusion__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Proposition) &
         s__conclusion(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__conclusion__m,s__Relation) &
s__valence(s__conclusion__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__conclusion__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Proposition) &
s__conclusion(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__conclusion__m,s__TotalValuedRelation) &
s__instance(s__conclusion__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__OneDimensionalFigure) =>
     ((s__instance(s__lineMeasure__m,s__TotalValuedRelation) &
         s__instance(s__lineMeasure__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__lineMeasure__m,s__Relation) &
               s__valence(s__lineMeasure__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__lineMeasure__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__LengthMeasure) &
         s__lineMeasure(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__lineMeasure__m,s__Relation) &
s__valence(s__lineMeasure__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__lineMeasure__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__LengthMeasure) &
s__lineMeasure(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__lineMeasure__m,s__TotalValuedRelation) &
s__instance(s__lineMeasure__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Organization) =>
     ((s__instance(s__subOrganization__m,s__TotalValuedRelation) &
         s__instance(s__subOrganization__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__subOrganization__m,s__Relation) &
               s__valence(s__subOrganization__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__subOrganization__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Organization) &
         s__subOrganization(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__subOrganization__m,s__Relation) &
s__valence(s__subOrganization__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__subOrganization__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Organization) &
s__subOrganization(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__subOrganization__m,s__TotalValuedRelation) &
s__instance(s__subOrganization__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__SetOrClass) =>
     ((s__instance(s__subclass__m,s__TotalValuedRelation) &
         s__instance(s__subclass__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__subclass__m,s__Relation) &
               s__valence(s__subclass__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__subclass__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__SetOrClass) &
         s__subclass(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__subclass__m,s__Relation) &
s__valence(s__subclass__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__subclass__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__SetOrClass) &
s__subclass(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__subclass__m,s__TotalValuedRelation) &
s__instance(s__subclass__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__PureSubstance) =>
     ((s__instance(s__protonNumber__m,s__TotalValuedRelation) &
         s__instance(s__protonNumber__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__protonNumber__m,s__Relation) &
               s__valence(s__protonNumber__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__protonNumber__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__PositiveInteger) &
         s__protonNumber(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__protonNumber__m,s__Relation) &
s__valence(s__protonNumber__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__protonNumber__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__PositiveInteger) &
s__protonNumber(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__protonNumber__m,s__TotalValuedRelation) &
s__instance(s__protonNumber__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Contest) =>
     ((s__instance(s__contestParticipant__m,s__TotalValuedRelation) &
         s__instance(s__contestParticipant__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__contestParticipant__m,s__Relation) &
               s__valence(s__contestParticipant__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__contestParticipant__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Agent) &
         s__contestParticipant(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__contestParticipant__m,s__Relation) &
s__valence(s__contestParticipant__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__contestParticipant__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Agent) &
s__contestParticipant(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__contestParticipant__m,s__TotalValuedRelation) &
s__instance(s__contestParticipant__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__TimeInterval) =>
     ((s__instance(s__finishes__m,s__TotalValuedRelation) &
         s__instance(s__finishes__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__finishes__m,s__Relation) &
               s__valence(s__finishes__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__finishes__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__TimeInterval) &
         s__finishes(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__finishes__m,s__Relation) &
s__valence(s__finishes__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__finishes__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__TimeInterval) &
s__finishes(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__finishes__m,s__TotalValuedRelation) &
s__instance(s__finishes__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__ChargingAFee) =>
     ((s__instance(s__amountCharged__m,s__TotalValuedRelation) &
         s__instance(s__amountCharged__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__amountCharged__m,s__Relation) &
               s__valence(s__amountCharged__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__amountCharged__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__CurrencyMeasure) &
         s__amountCharged(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__amountCharged__m,s__Relation) &
s__valence(s__amountCharged__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__amountCharged__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__CurrencyMeasure) &
s__amountCharged(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__amountCharged__m,s__TotalValuedRelation) &
s__instance(s__amountCharged__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__SymbolicString) =>
     ((s__instance(s__telecomCountryCode__m,s__TotalValuedRelation) &
         s__instance(s__telecomCountryCode__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__telecomCountryCode__m,s__Relation) &
               s__valence(s__telecomCountryCode__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__telecomCountryCode__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__TelecomNumber) &
         s__telecomCountryCode(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__telecomCountryCode__m,s__Relation) &
s__valence(s__telecomCountryCode__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__telecomCountryCode__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__TelecomNumber) &
s__telecomCountryCode(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__telecomCountryCode__m,s__TotalValuedRelation) &
s__instance(s__telecomCountryCode__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__PoliticalParty) =>
     ((s__instance(s__politicalPartyOfCountry__m,s__TotalValuedRelation) &
         s__instance(s__politicalPartyOfCountry__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__politicalPartyOfCountry__m,s__Relation) &
               s__valence(s__politicalPartyOfCountry__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__politicalPartyOfCountry__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__GeopoliticalArea) &
         s__politicalPartyOfCountry(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__politicalPartyOfCountry__m,s__Relation) &
s__valence(s__politicalPartyOfCountry__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__politicalPartyOfCountry__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__GeopoliticalArea) &
s__politicalPartyOfCountry(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__politicalPartyOfCountry__m,s__TotalValuedRelation) &
s__instance(s__politicalPartyOfCountry__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Agent) =>
     ((s__instance(s__organizationalObjective__m,s__TotalValuedRelation) &
         s__instance(s__organizationalObjective__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__organizationalObjective__m,s__Relation) &
               s__valence(s__organizationalObjective__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__organizationalObjective__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__AreaOfConcern) &
         s__organizationalObjective(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__organizationalObjective__m,s__Relation) &
s__valence(s__organizationalObjective__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__organizationalObjective__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__AreaOfConcern) &
s__organizationalObjective(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__organizationalObjective__m,s__TotalValuedRelation) &
s__instance(s__organizationalObjective__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__City) =>
     ((s__instance(s__capitalCity__m,s__TotalValuedRelation) &
         s__instance(s__capitalCity__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__capitalCity__m,s__Relation) &
               s__valence(s__capitalCity__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__capitalCity__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__GeopoliticalArea) &
         s__capitalCity(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__capitalCity__m,s__Relation) &
s__valence(s__capitalCity__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__capitalCity__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__GeopoliticalArea) &
s__capitalCity(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__capitalCity__m,s__TotalValuedRelation) &
s__instance(s__capitalCity__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Agent) =>
     ((s__instance(s__economyType__m,s__TotalValuedRelation) &
         s__instance(s__economyType__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__economyType__m,s__Relation) &
               s__valence(s__economyType__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__economyType__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__EconomicAttribute) &
         s__economyType(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__economyType__m,s__Relation) &
s__valence(s__economyType__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__economyType__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__EconomicAttribute) &
s__economyType(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__economyType__m,s__TotalValuedRelation) &
s__instance(s__economyType__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__ContentBearingPhysical) =>
     ((s__instance(s__subsumesContentInstance__m,s__TotalValuedRelation) &
         s__instance(s__subsumesContentInstance__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__subsumesContentInstance__m,s__Relation) &
               s__valence(s__subsumesContentInstance__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__subsumesContentInstance__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__ContentBearingPhysical) &
         s__subsumesContentInstance(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__subsumesContentInstance__m,s__Relation) &
s__valence(s__subsumesContentInstance__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__subsumesContentInstance__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__ContentBearingPhysical) &
s__subsumesContentInstance(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__subsumesContentInstance__m,s__TotalValuedRelation) &
s__instance(s__subsumesContentInstance__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__GeopoliticalArea) =>
     ((s__instance(s__geopoliticalSubdivision__m,s__TotalValuedRelation) &
         s__instance(s__geopoliticalSubdivision__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__geopoliticalSubdivision__m,s__Relation) &
               s__valence(s__geopoliticalSubdivision__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__geopoliticalSubdivision__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__GeopoliticalArea) &
         s__geopoliticalSubdivision(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__geopoliticalSubdivision__m,s__Relation) &
s__valence(s__geopoliticalSubdivision__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__geopoliticalSubdivision__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__GeopoliticalArea) &
s__geopoliticalSubdivision(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__geopoliticalSubdivision__m,s__TotalValuedRelation) &
s__instance(s__geopoliticalSubdivision__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Object) =>
     ((s__instance(s__attribute__m,s__TotalValuedRelation) &
         s__instance(s__attribute__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__attribute__m,s__Relation) &
               s__valence(s__attribute__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__attribute__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Attribute) &
         s__attribute(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__attribute__m,s__Relation) &
s__valence(s__attribute__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__attribute__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Attribute) &
s__attribute(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__attribute__m,s__TotalValuedRelation) &
s__instance(s__attribute__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__PureSubstance) =>
     ((s__instance(s__electronNumber__m,s__TotalValuedRelation) &
         s__instance(s__electronNumber__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__electronNumber__m,s__Relation) &
               s__valence(s__electronNumber__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__electronNumber__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__PositiveInteger) &
         s__electronNumber(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__electronNumber__m,s__Relation) &
s__valence(s__electronNumber__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__electronNumber__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__PositiveInteger) &
s__electronNumber(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__electronNumber__m,s__TotalValuedRelation) &
s__instance(s__electronNumber__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Circle) =>
     ((s__instance(s__diameter__m,s__TotalValuedRelation) &
         s__instance(s__diameter__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__diameter__m,s__Relation) &
               s__valence(s__diameter__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__diameter__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__LengthMeasure) &
         s__diameter(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__diameter__m,s__Relation) &
s__valence(s__diameter__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__diameter__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__LengthMeasure) &
s__diameter(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__diameter__m,s__TotalValuedRelation) &
s__instance(s__diameter__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Object) =>
     ((s__instance(s__fills__m,s__TotalValuedRelation) &
         s__instance(s__fills__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__fills__m,s__Relation) &
               s__valence(s__fills__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__fills__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Hole) &
         s__fills(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__fills__m,s__Relation) &
s__valence(s__fills__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__fills__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Hole) &
s__fills(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__fills__m,s__TotalValuedRelation) &
s__instance(s__fills__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__TimePosition) =>
     ((s__instance(s__temporalPart__m,s__TotalValuedRelation) &
         s__instance(s__temporalPart__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__temporalPart__m,s__Relation) &
               s__valence(s__temporalPart__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__temporalPart__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__TimePosition) &
         s__temporalPart(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__temporalPart__m,s__Relation) &
s__valence(s__temporalPart__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__temporalPart__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__TimePosition) &
s__temporalPart(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__temporalPart__m,s__TotalValuedRelation) &
s__instance(s__temporalPart__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__SelfConnectedObject) =>
     ((s__instance(s__onboard__m,s__TotalValuedRelation) &
         s__instance(s__onboard__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__onboard__m,s__Relation) &
               s__valence(s__onboard__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__onboard__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Vehicle) &
         s__onboard(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__onboard__m,s__Relation) &
s__valence(s__onboard__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__onboard__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Vehicle) &
s__onboard(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__onboard__m,s__TotalValuedRelation) &
s__instance(s__onboard__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Attribute) =>
     ((s__instance(s__subAttribute__m,s__TotalValuedRelation) &
         s__instance(s__subAttribute__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__subAttribute__m,s__Relation) &
               s__valence(s__subAttribute__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &

KB Term:			Term intersection

English Word: