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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - instance
instance

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


s__documentation(s__instance__m,s__ChineseLanguage,'"如果一个物体属于一个 SetOrClass, 这物体就那个 SetOrClass 的一个instance。 一个个体可以是许多类别的一个 instance, 其中有一些可以是其他类别 的子类别,所以对于 instance 并没有假设任何具体或独特的含义。"')

chinese_format.kif 1359-1361
s__documentation(s__instance__m,s__EnglishLanguage,'"An object is an instance of a SetOrClass if it is included in that SetOrClass. An individual may be an instance of many classes, some of which may be subclasses of others. Thus, there is no assumption in the meaning of instance about specificity or uniqueness."')

Merge.kif 84-87
s__domain(s__instance__m,n__1,s__Entity)

Merge.kif 81-81 The number 1 argument of instance is an instance of entity
s__domain(s__instance__m,n__2,s__SetOrClass)

Merge.kif 82-82 The number 2 argument of instance is an instance of set or class
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__instance__m,s__BinaryPredicate)

Merge.kif 80-80 instance is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__instance__m,'"%1 %n 是 %2 的 instance"')

chinese_format.kif 305-305
s__format(s__EnglishLanguage,s__instance__m,'"%1 is %n an instance of %2"')

english_format.kif 313-313
s__relatedInternalConcept(s__member__m,s__instance__m)

Merge.kif 1174-1174 member is internally related to instance
s__subrelation(s__element__m,s__instance__m)

Merge.kif 5083-5083 element is a subrelation of instance
s__subrelation(s__immediateInstance__m,s__instance__m)

Merge.kif 89-89 immediate instance is a subrelation of instance
s__termFormat(s__ChineseLanguage,s__instance__m,'"例"')

domainEnglishFormat.kif 30145-30145
s__termFormat(s__ChineseLanguage,s__instance__m,'"实例"')

chinese_format.kif 306-306
s__termFormat(s__ChineseTraditionalLanguage,s__instance__m,'"例"')

domainEnglishFormat.kif 30144-30144
s__termFormat(s__EnglishLanguage,s__instance__m,'"instance"')

domainEnglishFormat.kif 30143-30143

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


( ! [V__Agent,V__Account] :
   (s__instance(V__Account,s__FinancialAccount) =>
     ((s__accountHolder(V__Account,V__Agent)
       &
       s__instance(V__Agent,s__Corporation))
     =>
     s__instance(V__Account,s__CorporateAccount))
   &
   (s__instance(V__Account,s__CorporateAccount) =>
     (s__accountHolder(V__Account,V__Agent)
     &
     s__instance(V__Agent,s__Corporation)))
)
)

FinancialOntology.kif 962-966 A cognitive agent holds account a financial account and the cognitive agent is an instance of corporation if and only if the financial account is an instance of corporate account
( ! [V__Agent,V__Account] :
   (s__instance(V__Account,s__FinancialAccount) =>
     ((s__accountHolder(V__Account,V__Agent)
       &
       s__instance(V__Agent,s__Human))
     =>
     s__instance(V__Account,s__PersonalAccount))
   &
   (s__instance(V__Account,s__PersonalAccount) =>
     (s__accountHolder(V__Account,V__Agent)
     &
     s__instance(V__Agent,s__Human)))
)
)

FinancialOntology.kif 940-944 A cognitive agent holds account a financial account and the cognitive agent is an instance of human if and only if the financial account is an instance of personal account
( ! [V__OBJ2,V__AIRCRAFT,V__QUANTITY] :
   ((s__instance(V__OBJ2,s__SelfConnectedObject) &
       s__instance(V__QUANTITY,s__AltitudeMeasure))
     =>
     ((s__altitude(V__AIRCRAFT,V__OBJ2,V__QUANTITY)
       &
       s__surface(V__OBJ2,s__PlanetEarth) &
       s__instance(V__AIRCRAFT,s__Aircraft))
     =>
     s__absoluteHeight(V__AIRCRAFT,V__QUANTITY))
&
(s__absoluteHeight(V__AIRCRAFT,V__QUANTITY)
=>
(s__altitude(V__AIRCRAFT,V__OBJ2,V__QUANTITY)
&
s__surface(V__OBJ2,s__PlanetEarth) &
s__instance(V__AIRCRAFT,s__Aircraft)))
)
)

MilitaryDevices.kif 1462-1467 The altitude of an aircraft is a self connected object and the self connected object is a surface of planet earth and the aircraft is an instance of aircraft if and only if an altitude measure is the absolute height of the aircraft
( ! [V__CH,V__INDIVIDUAL] :
   (s__instance(V__INDIVIDUAL,s__Object) =>
     ((s__attribute(V__INDIVIDUAL,V__CH)
       &
       s__instance(V__CH,s__Christian))
     =>
     s__member(V__INDIVIDUAL,s__Christianity))
   &
   (s__member(V__INDIVIDUAL,s__Christianity) =>
     (s__attribute(V__INDIVIDUAL,V__CH)
     &
     s__instance(V__CH,s__Christian)))
)
)

People.kif 797-801 An attribute is an attribute of an object and the attribute is an instance of christian if and only if the object is a member of christianity
( ! [V__NUMBER1,V__NUMBER2] :
   ((((s__AbsoluteValueFn(V__NUMBER1)
         = V__NUMBER2)
       &
       s__instance(V__NUMBER1,s__RealNumber) &
       s__instance(V__NUMBER2,s__RealNumber))
     =>
     ((s__instance(V__NUMBER1,s__NonnegativeRealNumber) &
         (V__NUMBER1 = V__NUMBER2))
       |
       (s__instance(V__NUMBER1,s__NegativeRealNumber) &
         (V__NUMBER2 = s__SubtractionFn(n__0,V__NUMBER1)))))
&
(((s__instance(V__NUMBER1,s__NonnegativeRealNumber) &
       (V__NUMBER1 = V__NUMBER2))
     |
     (s__instance(V__NUMBER1,s__NegativeRealNumber) &
       (V__NUMBER2 = s__SubtractionFn(n__0,V__NUMBER1))))
=>
((s__AbsoluteValueFn(V__NUMBER1)
   = V__NUMBER2)
&
s__instance(V__NUMBER1,s__RealNumber) &
s__instance(V__NUMBER2,s__RealNumber)))
)
)

Merge.kif 4537-4548 The absolute value of a real number is equal to a nonnegative real number and the real number is an instance of real number and the nonnegative real number is an instance of real number if and only if the real number is an instance of nonnegative real number and the real number is equal to the nonnegative real number or the real number is an instance of negative real number and the nonnegative real number is equal to (0 and the real number)
( ! [V__AGENT] :
   (((s__instance(V__AGENT,s__SentientAgent) &
         s__attribute(V__AGENT,s__Living))
       =>
       ( ? [V__ATTR] :
         ((s__instance(V__ATTR,s__ConsciousnessAttribute) &
             s__attribute(V__AGENT,V__ATTR)))))
   &
   (( ? [V__ATTR] :
       ((s__instance(V__ATTR,s__ConsciousnessAttribute) &
           s__attribute(V__AGENT,V__ATTR))))
   =>
   (s__instance(V__AGENT,s__SentientAgent) &
     s__attribute(V__AGENT,s__Living)))
)
)

Merge.kif 16924-16931 An object is an instance of sentient agent and living is an attribute of the object if and only if there exists an attribute such that the attribute is an instance of consciousness attribute and the attribute is an attribute of the object
( ! [V__Agent,V__Account,V__Asset] :
   ((s__instance(V__Agent,s__CognitiveAgent) &
       s__instance(V__Asset,s__FinancialAsset) &
       s__instance(V__Asset,s__Object))
     =>
     ((s__instance(V__Account,s__FinancialAccount) &
         s__possesses(V__Agent,V__Asset)
       &
       (V__Account = s__AccountFn(V__Asset)))
   =>
   s__accountHolder(V__Account,V__Agent))
&
(s__accountHolder(V__Account,V__Agent)
=>
(s__instance(V__Account,s__FinancialAccount) &
s__possesses(V__Agent,V__Asset)
&
(V__Account = s__AccountFn(V__Asset))))
)
)

FinancialOntology.kif 2251-2256 A financial account is an instance of financial account and a cognitive agent possesses a financial asset and the financial account is equal to the account of the financial asset if and only if the cognitive agent holds account the financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 951-955 An entity is an instance of personal account and the number of instances in the class described by a symbolic string is greater than 1 if and only if the entity is an instance of joint account
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28338-28348 An entity is an instance of body part and Bare is an attribute of the entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the other entity covers the entity holds during the time position
No TPTP formula. May not be expressible in strict first order. Merge.kif 11520-11527 A process is an instance of combining and an object is a resource for the process and an entity is a result of the process if and only if the object is not a part of the entity holds during the beginning of the time of existence of the process and the object is a part of the entity holds during the end of the time of existence of the process
( ! [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__PERSON] :
   (((s__instance(V__PERSON,s__Human) &
         ( ! [V__ORG] :
           (s__instance(V__ORG,s__Agent) =>
             ~(s__employs(V__ORG,V__PERSON)))))
     =>
     s__attribute(V__PERSON,s__Unemployed))
   &
   (s__attribute(V__PERSON,s__Unemployed) =>
     (s__instance(V__PERSON,s__Human) &
       ( ! [V__ORG] :
         (s__instance(V__ORG,s__Agent) =>
           ~(s__employs(V__ORG,V__PERSON))))))
)
)

Merge.kif 16020-16026 A cognitive agent is an instance of human and for all an agent the agent doesn't employ the cognitive agent if and only if unemployed is an attribute of the cognitive agent
( ! [V__P,V__S,V__PM] :
   ((s__instance(V__P,s__SelfConnectedObject) &
       s__instance(V__S,s__RealNumber))
     =>
     ((s__instance(V__PM,s__ParticulateMatter) &
         s__part(V__P,V__PM)
       &
       s__approximateDiameter(V__P,s__MeasureFn(V__S,s__Micrometer))
     &
     s__greaterThan(n__10,V__S)
   &
   s__greaterThan(V__S,n__2_5))
=>
( ? [V__PM10] :
((s__instance(V__PM10,s__CoarseParticulateMatter) &
     s__part(V__PM10,V__PM)))))
&
(( ? [V__PM10] :
((s__instance(V__PM10,s__CoarseParticulateMatter) &
   s__part(V__PM10,V__PM))))
=>
(s__instance(V__PM,s__ParticulateMatter) &
s__part(V__P,V__PM)
&
s__approximateDiameter(V__P,s__MeasureFn(V__S,s__Micrometer))
&
s__greaterThan(n__10,V__S)
&
s__greaterThan(V__S,n__2_5)))
)
)

Geography.kif 6806-6817 An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and 10 is greater than the real number and the real number is greater than 2.5 if and only if there exists the object10 such that the object10 is an instance of PM10 and the object10 is a part of the object
( ! [V__P,V__S,V__PM] :
   ((s__instance(V__P,s__SelfConnectedObject) &
       s__instance(V__S,s__RealNumber))
     =>
     ((s__instance(V__PM,s__ParticulateMatter) &
         s__part(V__P,V__PM)
       &
       s__approximateDiameter(V__P,s__MeasureFn(V__S,s__Micrometer))
     &
     s__greaterThanOrEqualTo(V__S,n__2_5))
=>
( ? [V__PM25] :
   ((s__instance(V__PM25,s__FineParticulateMatter) &
       s__part(V__PM25,V__PM)))))
&
(( ? [V__PM25] :
((s__instance(V__PM25,s__FineParticulateMatter) &
     s__part(V__PM25,V__PM))))
=>
(s__instance(V__PM,s__ParticulateMatter) &
s__part(V__P,V__PM)
&
s__approximateDiameter(V__P,s__MeasureFn(V__S,s__Micrometer))
&
s__greaterThanOrEqualTo(V__S,n__2_5)))
)
)

Geography.kif 6835-6845 An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and the real number is greater than or equal to 2.5 if and only if there exists the object25 such that the object25 is an instance of PM2.5 and the object25 is a part of the object
( ! [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__Molecule) =>
     ((s__instance(s__hasMolecularStructuralAttribute__m,s__TotalValuedRelation) &
         s__instance(s__hasMolecularStructuralAttribute__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__hasMolecularStructuralAttribute__m,s__Relation) &
               s__valence(s__hasMolecularStructuralAttribute__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__hasMolecularStructuralAttribute__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__MoleculeStructuralAttribute) &
         s__hasMolecularStructuralAttribute(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__hasMolecularStructuralAttribute__m,s__Relation) &
s__valence(s__hasMolecularStructuralAttribute__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__hasMolecularStructuralAttribute__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__MoleculeStructuralAttribute) &
s__hasMolecularStructuralAttribute(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__hasMolecularStructuralAttribute__m,s__TotalValuedRelation) &
s__instance(s__hasMolecularStructuralAttribute__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)
                 &
                 s__domain(s__subAttribute__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__subAttribute(V__ROW2,V__ITEM)))))))))
&
(( ? [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)
   &
   s__domain(s__subAttribute__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__subAttribute(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__subAttribute__m,s__TotalValuedRelation) &
s__instance(s__subAttribute__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__GeographicArea) =>
     ((s__instance(s__geographicSubregion__m,s__TotalValuedRelation) &
         s__instance(s__geographicSubregion__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__geographicSubregion__m,s__Relation) &
               s__valence(s__geographicSubregion__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__geographicSubregion__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__GeographicArea) &
         s__geographicSubregion(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__geographicSubregion__m,s__Relation) &
s__valence(s__geographicSubregion__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__geographicSubregion__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__GeographicArea) &
s__geographicSubregion(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__geographicSubregion__m,s__TotalValuedRelation) &
s__instance(s__geographicSubregion__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__GraphElement) =>
     ((s__instance(s__graphPart__m,s__TotalValuedRelation) &
         s__instance(s__graphPart__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__graphPart__m,s__Relation) &
               s__valence(s__graphPart__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__graphPart__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__Graph) &
         s__graphPart(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__graphPart__m,s__Relation) &
s__valence(s__graphPart__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__graphPart__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__Graph) &
s__graphPart(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__graphPart__m,s__TotalValuedRelation) &
s__instance(s__graphPart__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Organism) =>
     ((s__instance(s__parent__m,s__TotalValuedRelation) &
         s__instance(s__parent__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__parent__m,s__Relation) &
               s__valence(s__parent__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__parent__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__parent(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__parent__m,s__Relation) &
s__valence(s__parent__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__parent__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__parent(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__parent__m,s__TotalValuedRelation) &
s__instance(s__parent__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Physical) =>
     ((s__instance(s__exactlyLocated__m,s__TotalValuedRelation) &
         s__instance(s__exactlyLocated__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__exactlyLocated__m,s__Relation) &
               s__valence(s__exactlyLocated__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__exactlyLocated__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__exactlyLocated(V__ROW2,V__ITEM))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__exactlyLocated__m,s__Relation) &
s__valence(s__exactlyLocated__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__exactlyLocated__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__exactlyLocated(V__ROW2,V__ITEM)))))))
=>
(s__instance(s__exactlyLocated__m,s__TotalValuedRelation) &
s__instance(s__exactlyLocated__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Agent) =>
     ((s__instance(s__agentOperatesInArea__m,s__TotalValuedRelation) &
         s__instance(s__agentOperatesInArea__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__agentOperatesInArea__m,s__Relation) &
               s__valence(s__agentOperatesInArea__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__agentOperatesInArea__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__GeographicArea) &
         s__agentOperatesInArea(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__agentOperatesInArea__m,s__Relation) &
s__valence(s__agentOperatesInArea__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__agentOperatesInArea__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__GeographicArea) &
s__agentOperatesInArea(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__agentOperatesInArea__m,s__TotalValuedRelation) &
s__instance(s__agentOperatesInArea__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Object) =>
     ((s__instance(s__quarter__m,s__TotalValuedRelation) &
         s__instance(s__quarter__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__quarter__m,s__Relation) &
               s__valence(s__quarter__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__quarter__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__quarter(V__ROW2,V__ITEM))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__quarter__m,s__Relation) &
s__valence(s__quarter__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__quarter__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__quarter(V__ROW2,V__ITEM)))))))
=>
(s__instance(s__quarter__m,s__TotalValuedRelation) &
s__instance(s__quarter__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Object) =>
     ((s__instance(s__musicGenre__m,s__TotalValuedRelation) &
         s__instance(s__musicGenre__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__musicGenre__m,s__Relation) &
               s__valence(s__musicGenre__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__musicGenre__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__musicGenre(V__ROW2,V__ITEM))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__musicGenre__m,s__Relation) &
s__valence(s__musicGenre__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__musicGenre__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__musicGenre(V__ROW2,V__ITEM)))))))
=>
(s__instance(s__musicGenre__m,s__TotalValuedRelation) &
s__instance(s__musicGenre__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__OrganicObject) =>
     ((s__instance(s__developmentalForm__m,s__TotalValuedRelation) &
         s__instance(s__developmentalForm__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__developmentalForm__m,s__Relation) &
               s__valence(s__developmentalForm__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__developmentalForm__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__DevelopmentalAttribute) &
         s__developmentalForm(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__developmentalForm__m,s__Relation) &
s__valence(s__developmentalForm__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__developmentalForm__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__DevelopmentalAttribute) &
s__developmentalForm(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__developmentalForm__m,s__TotalValuedRelation) &
s__instance(s__developmentalForm__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Object) =>
     ((s__instance(s__deviceState__m,s__TotalValuedRelation) &
         s__instance(s__deviceState__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__deviceState__m,s__Relation) &
               s__valence(s__deviceState__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__deviceState__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__DeviceStateAttribute) &
         s__deviceState(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__deviceState__m,s__Relation) &
s__valence(s__deviceState__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,