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

Formal Language: 



KB Term:  Term intersection
English Word: 

  instance

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 1178-1178 member is internally related to instance
s__subrelation(s__element__m,s__instance__m)

Merge.kif 5131-5131 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 30175-30175
s__termFormat(s__ChineseLanguage,s__instance__m,'"实例"')

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

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

domainEnglishFormat.kif 30173-30173

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 4585-4596 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 16985-16992 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 28370-28380 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 11570-11577 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 6983-6989 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 16081-16087 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 6899-6910 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 6928-6938 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__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__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__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__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__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__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__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__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__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__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__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__Object) =>
       ((((s__instance(s__part__m,s__TotalValuedRelation) &
               s__instance(s__part__m,s__Predicate))
             =>
             ( ? [V__VALENCE] :
               ((s__instance(V__VALENCE,s__PositiveInteger) &
                   (s__instance(s__part__m,s__Relation) &
                     s__valence(s__part__m,V__VALENCE)
                   &
                   (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
                       (((s__instance(V__NUMBER,s__PositiveInteger) &
                             s__instance(V__CLASS,s__SetOrClass))
                           =>
                           (((s__lessThan(V__NUMBER,V__VALENCE)
                               &
                               s__domain(s__part__m,V__NUMBER,V__CLASS)
                             &
                             (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__part(V__ROW2,V__ITEM)))))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
     (s__instance(s__part__m,s__Relation) &
       s__valence(s__part__m,V__VALENCE)
     &
     (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
         (((s__instance(V__NUMBER,s__PositiveInteger) &
               s__instance(V__CLASS,s__SetOrClass))
             =>
             (((s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__part__m,V__NUMBER,V__CLASS)
               &
               (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__part(V__ROW2,V__ITEM))))))))))
=>
(s__instance(s__part__m,s__TotalValuedRelation) &
s__instance(s__part__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__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__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__Process) =>
       ((((s__instance(s__subProcess__m,s__TotalValuedRelation) &
               s__instance(s__subProcess__m,s__Predicate))
             =>
             ( ? [V__VALENCE] :
               ((s__instance(V__VALENCE,s__PositiveInteger) &
                   (s__instance(s__subProcess__m,s__Relation) &
                     s__valence(s__subProcess__m,V__VALENCE)
                   &
                   (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
                       (((s__instance(V__NUMBER,s__PositiveInteger) &
                             s__instance(V__CLASS,s__SetOrClass))
                           =>
                           (((s__lessThan(V__NUMBER,V__VALENCE)
                               &
                               s__domain(s__subProcess__m,V__NUMBER,V__CLASS)
                             &
                             (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__subProcess(V__ROW2,V__ITEM)))))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
     (s__instance(s__subProcess__m,s__Relation) &
       s__valence(s__subProcess__m,V__VALENCE)
     &
     (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
         (((s__instance(V__NUMBER,s__PositiveInteger) &
               s__instance(V__CLASS,s__SetOrClass))
             =>
             (((s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__subProcess__m,V__NUMBER,V__CLASS)
               &
               (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__subProcess(V__ROW2,V__ITEM))))))))))
=>
(s__instance(s__subProcess__m,s__TotalValuedRelation) &
s__instance(s__subProcess__m,s__Predicate))))))
)
)

( ! [V__ROW2] :
   ((s__subclass(V__ROW2,s__Gun) =>
       ((((s__instance(s__caliber__m,s__TotalValuedRelation) &
               s__instance(s__caliber__m,s__Predicate))
             =>
             ( ? [V__VALENCE] :
               ((s__instance(V__VALENCE,s__PositiveInteger) &
                   (s__instance(s__caliber__m,s__Relation) &
                     s__valence(s__caliber__m,V__VALENCE)
                   &
                   (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
                       (((s__instance(V__NUMBER,s__PositiveInteger) &
                             s__instance(V__CLASS,s__SetOrClass))
                           =>
                           (((s__lessThan(V__NUMBER,V__VALENCE)
                               &
                               s__domain(s__caliber__m,V__NUMBER,V__CLASS)
                             &
                             (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__caliber(V__ROW2,V__ITEM)))))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
     (s__instance(s__caliber__m,s__Relation) &
       s__valence(s__caliber__m,V__VALENCE)
     &
     (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
         (((s__instance(V__NUMBER,s__PositiveInteger) &
               s__instance(V__CLASS,s__SetOrClass))
             =>
             (((s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__caliber__m,V__NUMBER,V__CLASS)
               &
               (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__caliber(V__ROW2,V__ITEM))))))))))
=>
(s__instance(s__caliber__m,s__TotalValuedRelation) &
s__instance(s__caliber__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__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__ROW2] :
   ((s__instance(V__ROW2,s__Argument) =>
       ((((s__instance(s__premise__m,s__TotalValuedRelation) &
               s__instance(s__premise__m,s__Predicate))
             =>
             ( ? [V__VALENCE] :
               ((s__instance(V__VALENCE,s__PositiveInteger) &
                   (s__instance(s__premise__m,s__Relation) &
                     s__valence(s__premise__m,V__VALENCE)
                   &
                   (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
                       (((s__instance(V__NUMBER,s__PositiveInteger) &
                             s__instance(V__CLASS,s__SetOrClass))
                           =>
                           (((s__lessThan(V__NUMBER,V__VALENCE)
                               &
                               s__domain(s__premise__m,V__NUMBER,V__CLASS)
                             &
                             (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__premise(V__ROW2,V__ITEM)))))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
     (s__instance(s__premise__m,s__Relation) &
       s__valence(s__premise__m,V__VALENCE)
     &
     (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
         (((s__instance(V__NUMBER,s__PositiveInteger) &
               s__instance(V__CLASS,s__SetOrClass))
             =>
             (((s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__premise__m,V__NUMBER,V__CLASS)
               &
               (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__premise(V__ROW2,V__ITEM))))))))))
=>
(s__instance(s__premise__m,s__TotalValuedRelation) &
s__instance(s__premise__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__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__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__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__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__ROW3,V__ROW2] :
   (((s__instance(V__ROW3,s__SymbolicString) &
         s__instance(V__ROW2,s__SymbolicString))
       =>
       ((((s__instance(s__stringConcatenation__m,s__TotalValuedRelation) &
               s__instance(s__stringConcatenation__m,s__Predicate))
             =>
             ( ? [V__VALENCE] :
               ((s__instance(V__VALENCE,s__PositiveInteger) &
                   (s__instance(s__stringConcatenation__m,s__Relation) &
                     s__valence(s__stringConcatenation__m,V__VALENCE)
                   &
                   (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
                       (((s__instance(V__NUMBER,s__PositiveInteger) &
                             s__instance(V__CLASS,s__SetOrClass))
                           =>
                           (((s__lessThan(V__NUMBER,V__VALENCE)
                               &
                               s__domain(s__stringConcatenation__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__SymbolicString) &
                   s__stringConcatenation(V__ROW2,V__ROW3,V__ITEM)))))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
     (s__instance(s__stringConcatenation__m,s__Relation) &
       s__valence(s__stringConcatenation__m,V__VALENCE)
     &
     (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
         (((s__instance(V__NUMBER,s__PositiveInteger) &
               s__instance(V__CLASS,s__SetOrClass))
             =>
             (((s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__stringConcatenation__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__SymbolicString) &
     s__stringConcatenation(V__ROW2,V__ROW3,V__ITEM))))))))))
=>
(s__instance(s__stringConcatenation__m,s__TotalValuedRelation) &
s__instance(s__stringConcatenation__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__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__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__ROW2] :
   ((s__instance(V__ROW2,s__Object) =>
       ((((s__instance(s__half__m,s__TotalValuedRelation) &
               s__instance(s__half__m,s__Predicate))
             =>
             ( ? [V__VALENCE] :
               ((s__instance(V__VALENCE,s__PositiveInteger) &
                   (s__instance(s__half__m,s__Relation) &
                     s__valence(s__half__m,V__VALENCE)
                   &
                   (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
                       (((s__instance(V__NUMBER,s__PositiveInteger) &
                             s__instance(V__CLASS,s__SetOrClass))
                           =>
                           (((s__lessThan(V__NUMBER,V__VALENCE)
                               &
                               s__domain(s__half__m,V__NUMBER,V__CLASS)
                             &
                             (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
                            ,V__NUMBER)))
                       =>
                       (s__instance(V__ELEMENT,V__CLASS)))))))
           =>
           (( ? [V__ITEM] :
               (s__half(V__ROW2,V__ITEM))))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
     (s__instance(s__half__m,s__Relation) &
       s__valence(s__half__m,V__VALENCE)
     &
     (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
         (((s__instance(V__NUMBER,s__PositiveInteger) &
               s__instance(V__CLASS,s__SetOrClass))
             =>
             (((s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__half__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         (s__instance(V__ELEMENT,V__CLASS)))))))
=>
(( ? [V__ITEM] :
(s__half(V__ROW2,V__ITEM)))))))))
=>
(s__instance(s__half__m,s__TotalValuedRelation) &
s__instance(s__half__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__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__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__Translocation) =>
       ((((s__instance(s__changesLocation__m,s__TotalValuedRelation) &
               s__instance(s__changesLocation__m,s__Predicate))
             =>
             ( ? [V__VALENCE] :
               ((s__instance(V__VALENCE,s__PositiveInteger) &
                   (s__instance(s__changesLocation__m,s__Relation) &
                     s__valence(s__changesLocation__m,V__VALENCE)
                   &
                   (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
                       (((s__instance(V__NUMBER,s__PositiveInteger) &
                             s__instance(V__CLASS,s__SetOrClass))
                           =>
                           (((s__lessThan(V__NUMBER,V__VALENCE)
                               &
                               s__domain(s__changesLocation__m,V__NUMBER,V__CLASS)
                             &
                             (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__changesLocation(V__ROW2,V__ITEM)))))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
     (s__instance(s__changesLocation__m,s__Relation) &
       s__valence(s__changesLocation__m,V__VALENCE)
     &
     (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
         (((s__instance(V__NUMBER,s__PositiveInteger) &
               s__instance(V__CLASS,s__SetOrClass))
             =>
             (((s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__changesLocation__m,V__NUMBER,V__CLASS)
               &
               (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__changesLocation(V__ROW2,V__ITEM))))))))))
=>
(s__instance(s__changesLocation__m,s__TotalValuedRelation) &
s__instance(s__changesLocation__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__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__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__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__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__SymbolicString) =>
       ((((s__instance(s__keyName__m,s__TotalValuedRelation) &
               s__instance(s__keyName__m,s__Predicate))
             =>
             ( ? [V__VALENCE] :
               ((s__instance(V__VALENCE,s__PositiveInteger) &
                   (s__instance(s__keyName__m,s__Relation) &
                     s__valence(s__keyName__m,V__VALENCE)
                   &
                   (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
                       (((s__instance(V__NUMBER,s__PositiveInteger) &
                             s__instance(V__CLASS,s__SetOrClass))
                           =>
                           (((s__lessThan(V__NUMBER,V__VALENCE)
                               &
                               s__domain(s__keyName__m,V__NUMBER,V__CLASS)
                             &
                             (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__keyName(V__ROW2,V__ITEM)))))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
     (s__instance(s__keyName__m,s__Relation) &
       s__valence(s__keyName__m,V__VALENCE)
     &
     (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
         (((s__instance(V__NUMBER,s__PositiveInteger) &
               s__instance(V__CLASS,s__SetOrClass))
             =>
             (((s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__keyName__m,V__NUMBER,V__CLASS)
               &
               (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__keyName(V__ROW2,V__ITEM))))))))))
=>
(s__instance(s__keyName__m,s__TotalValuedRelation) &
s__instance(s__keyName__m,s__Predicate))))))
)
)

( ! [V__ROW2] :
   ((s__instance(V__ROW2,s__Object) =>
       ((((s__instance(s__physicalEnd__m,s__TotalValuedRelation) &
               s__instance(s__physicalEnd__m,s__Predicate))
             =>
             ( ? [V__VALENCE] :
               ((s__instance(V__VALENCE,s__PositiveInteger) &
                   (s__instance(s__physicalEnd__m,s__Relation) &
                     s__valence(s__physicalEnd__m,V__VALENCE)
                   &
                   (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
                       (((s__instance(V__NUMBER,s__PositiveInteger) &
                             s__instance(V__CLASS,s__SetOrClass))
                           =>
                           (((s__lessThan(V__NUMBER,V__VALENCE)
                               &
                               s__domain(s__physicalEnd__m,V__NUMBER,V__CLASS)
                             &
                             (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__physicalEnd(V__ROW2,V__ITEM)))))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
     (s__instance(s__physicalEnd__m,s__Relation) &
       s__valence(s__physicalEnd__m,V__VALENCE)
     &
     (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
         (((s__instance(V__NUMBER,s__PositiveInteger) &
               s__instance(V__CLASS,s__SetOrClass))
             =>
             (((s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__physicalEnd__m,V__NUMBER,V__CLASS)
               &
               (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__physicalEnd(V__ROW2,V__ITEM))))))))))
=>
(s__instance(s__physicalEnd__m,s__TotalValuedRelation) &
s__instance(s__physicalEnd__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__subclass(V__ROW2,s__ContentBearingPhysical) =>
       ((((s__instance(s__subsumesContentClass__m,s__TotalValuedRelation) &
               s__instance(s__subsumesContentClass__m,s__Predicate))
             =>
             ( ? [V__VALENCE] :
               ((s__instance(V__VALENCE,s__PositiveInteger) &
                   (s__instance(s__subsumesContentClass__m,s__Relation) &
                     s__valence(s__subsumesContentClass__m,V__VALENCE)
                   &
                   (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
                       (((s__instance(V__NUMBER,s__PositiveInteger) &
                             s__instance(V__CLASS,s__SetOrClass))
                           =>
                           (((s__lessThan(V__NUMBER,V__VALENCE)
                               &
                               s__domain(s__subsumesContentClass__m,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__ContentBearingPhysical) &
                   s__subsumesContentClass(V__ROW2,V__ITEM)))))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
     (s__instance(s__subsumesContentClass__m,s__Relation) &
       s__valence(s__subsumesContentClass__m,V__VALENCE)
     &
     (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
         (((s__instance(V__NUMBER,s__PositiveInteger) &
               s__instance(V__CLASS,s__SetOrClass))
             =>
             (((s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__subsumesContentClass__m,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__ContentBearingPhysical) &
     s__subsumesContentClass(V__ROW2,V__ITEM))))))))))
=>
(s__instance(s__subsumesContentClass__m,s__TotalValuedRelation) &
s__instance(s__subsumesContentClass__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__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__Quantity) =>
       ((((s__instance(s__greaterThanOrEqualTo__m,s__TotalValuedRelation) &
               s__instance(s__greaterThanOrEqualTo__m,s__Predicate))
             =>
             ( ? [V__VALENCE] :
               ((s__instance(V__VALENCE,s__PositiveInteger) &
                   (s__instance(s__greaterThanOrEqualTo__m,s__Relation) &
                     s__valence(s__greaterThanOrEqualTo__m,V__VALENCE)
                   &
                   (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
                       (((s__instance(V__NUMBER,s__PositiveInteger) &
                             s__instance(V__CLASS,s__SetOrClass))
                           =>
                           (((s__lessThan(V__NUMBER,V__VALENCE)
                               &
                               s__domain(s__greaterThanOrEqualTo__m,V__NUMBER,V__CLASS)
                             &
                             (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__greaterThanOrEqualTo(V__ROW2,V__ITEM)))))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
     (s__instance(s__greaterThanOrEqualTo__m,s__Relation) &
       s__valence(s__greaterThanOrEqualTo__m,V__VALENCE)
     &
     (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
         (((s__instance(V__NUMBER,s__PositiveInteger) &
               s__instance(V__CLASS,s__SetOrClass))
             =>
             (((s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__greaterThanOrEqualTo__m,V__NUMBER,V__CLASS)
               &
               (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__greaterThanOrEqualTo(V__ROW2,V__ITEM))))))))))
=>
(s__instance(s__greaterThanOrEqualTo__m,s__TotalValuedRelation) &
s__instance(s__greaterThanOrEqualTo__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__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__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__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__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__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__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__Abstract) =>
       ((((s__instance(s__abstractPart__m,s__TotalValuedRelation) &
               s__instance(s__abstractPart__m,s__Predicate))
             =>
             ( ? [V__VALENCE] :
               ((s__instance(V__VALENCE,s__PositiveInteger) &
                   (s__instance(s__abstractPart__m,s__Relation) &
                     s__valence(s__abstractPart__m,V__VALENCE)
                   &
                   (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
                       (((s__instance(V__NUMBER,s__PositiveInteger) &
                             s__instance(V__CLASS,s__SetOrClass))
                           =>
                           (((s__lessThan(V__NUMBER,V__VALENCE)
                               &
                               s__domain(s__abstractPart__m,V__NUMBER,V__CLASS)
                             &
                             (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
                            ,V__NUMBER)))
                       =>
                       (s__instance(V__ELEMENT,V__CLASS)))))))
           =>
           (( ? [V__ITEM] :
               ((s__instance(V__ITEM,s__Abstract) &
                   s__abstractPart(V__ROW2,V__ITEM)))))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
     (s__instance(s__abstractPart__m,s__Relation) &
       s__valence(s__abstractPart__m,V__VALENCE)
     &
     (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
         (((s__instance(V__NUMBER,s__PositiveInteger) &
               s__instance(V__CLASS,s__SetOrClass))
             =>
             (((s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__abstractPart__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         (s__instance(V__ELEMENT,V__CLASS)))))))
=>
(( ? [V__ITEM] :
((s__instance(V__ITEM,s__Abstract) &
     s__abstractPart(V__ROW2,V__ITEM))))))))))
=>
(s__instance(s__abstractPart__m,s__TotalValuedRelation) &
s__instance(s__abstractPart__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__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__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__Object) =>
       ((((s__instance(s__properPart__m,s__TotalValuedRelation) &
               s__instance(s__properPart__m,s__Predicate))
             =>
             ( ? [V__VALENCE] :
               ((s__instance(V__VALENCE,s__PositiveInteger) &
                   (s__instance(s__properPart__m,s__Relation) &
                     s__valence(s__properPart__m,V__VALENCE)
                   &
                   (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
                       (((s__instance(V__NUMBER,s__PositiveInteger) &
                             s__instance(V__CLASS,s__SetOrClass))
                           =>
                           (((s__lessThan(V__NUMBER,V__VALENCE)
                               &
                               s__domain(s__properPart__m,V__NUMBER,V__CLASS)
                             &
                             (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
                            ,V__NUMBER)))
                       =>
                       (s__instance(V__ELEMENT,V__CLASS)))))))
           =>
           (( ? [V__ITEM] :
               (s__properPart(V__ROW2,V__ITEM))))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
     (s__instance(s__properPart__m,s__Relation) &
       s__valence(s__properPart__m,V__VALENCE)
     &
     (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
         (((s__instance(V__NUMBER,s__PositiveInteger) &
               s__instance(V__CLASS,s__SetOrClass))
             =>
             (((s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__properPart__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         (s__instance(V__ELEMENT,V__CLASS)))))))
=>
(( ? [V__ITEM] :
(s__properPart(V__ROW2,V__ITEM)))))))))
=>
(s__instance(s__properPart__m,s__TotalValuedRelation) &
s__instance(s__properPart__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__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__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__Quantity) =>
       ((((s__instance(s__lessThanOrEqualTo__m,s__TotalValuedRelation) &
               s__instance(s__lessThanOrEqualTo__m,s__Predicate))
             =>
             ( ? [V__VALENCE] :
               ((s__instance(V__VALENCE,s__PositiveInteger) &
                   (s__instance(s__lessThanOrEqualTo__m,s__Relation) &
                     s__valence(s__lessThanOrEqualTo__m,V__VALENCE)
                   &
                   (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
                       (((s__instance(V__NUMBER,s__PositiveInteger) &
                             s__instance(V__CLASS,s__SetOrClass))
                           =>
                           (((s__lessThan(V__NUMBER,V__VALENCE)
                               &
                               s__domain(s__lessThanOrEqualTo__m,V__NUMBER,V__CLASS)
                             &
                             (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__lessThanOrEqualTo(V__ROW2,V__ITEM)))))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
     (s__instance(s__lessThanOrEqualTo__m,s__Relation) &
       s__valence(s__lessThanOrEqualTo__m,V__VALENCE)
     &
     (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
         (((s__instance(V__NUMBER,s__PositiveInteger) &
               s__instance(V__CLASS,s__SetOrClass))
             =>
             (((s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__lessThanOrEqualTo__m,V__NUMBER,V__CLASS)
               &
               (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__lessThanOrEqualTo(V__ROW2,V__ITEM))))))))))
=>
(s__instance(s__lessThanOrEqualTo__m,s__TotalValuedRelation) &
s__instance(s__lessThanOrEqualTo__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__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__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__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__SelfConnectedObject) =>
       ((((s__instance(s__approximateDiameter__m,s__TotalValuedRelation) &
               s__instance(s__approximateDiameter__m,s__Predicate))
             =>
             ( ? [V__VALENCE] :
               ((s__instance(V__VALENCE,s__PositiveInteger) &
                   (s__instance(s__approximateDiameter__m,s__Relation) &
                     s__valence(s__approximateDiameter__m,V__VALENCE)
                   &
                   (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
                       (((s__instance(V__NUMBER,s__PositiveInteger) &
                             s__instance(V__CLASS,s__SetOrClass))
                           =>
                           (((s__lessThan(V__NUMBER,V__VALENCE)
                               &
                               s__domain(s__approximateDiameter__m,V__NUMBER,V__CLASS)
                             &
                             (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__approximateDiameter(V__ROW2,V__ITEM)))))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
     (s__instance(s__approximateDiameter__m,s__Relation) &
       s__valence(s__approximateDiameter__m,V__VALENCE)
     &
     (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
         (((s__instance(V__NUMBER,s__PositiveInteger) &
               s__instance(V__CLASS,s__SetOrClass))
             =>
             (((s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__approximateDiameter__m,V__NUMBER,V__CLASS)
               &
               (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__approximateDiameter(V__ROW2,V__ITEM))))))))))
=>
(s__instance(s__approximateDiameter__m,s__TotalValuedRelation) &
s__instance(s__approximateDiameter__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__Object) =>
       ((((s__instance(s__color__m,s__TotalValuedRelation) &
               s__instance(s__color__m,s__Predicate))
             =>
             ( ? [V__VALENCE] :
               ((s__instance(V__VALENCE,s__PositiveInteger) &
                   (s__instance(s__color__m,s__Relation) &
                     s__valence(s__color__m,V__VALENCE)
                   &
                   (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
                       (((s__instance(V__NUMBER,s__PositiveInteger) &
                             s__instance(V__CLASS,s__SetOrClass))
                           =>
                           (((s__lessThan(V__NUMBER,V__VALENCE)
                               &
                               s__domain(s__color__m,V__NUMBER,V__CLASS)
                             &
                             (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
                            ,V__NUMBER)))
                       =>
                       (s__instance(V__ELEMENT,V__CLASS)))))))
           =>
           (( ? [V__ITEM] :
               ((s__instance(V__ITEM,s__ColorAttribute) &
                   s__color(V__ROW2,V__ITEM)))))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
     (s__instance(s__color__m,s__Relation) &
       s__valence(s__color__m,V__VALENCE)
     &
     (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
         (((s__instance(V__NUMBER,s__PositiveInteger) &
               s__instance(V__CLASS,s__SetOrClass))
             =>
             (((s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__color__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         (s__instance(V__ELEMENT,V__CLASS)))))))
=>
(( ? [V__ITEM] :
((s__instance(V__ITEM,s__ColorAttribute) &
     s__color(V__ROW2,V__ITEM))))))))))
=>
(s__instance(s__color__m,s__TotalValuedRelation) &
s__instance(s__color__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__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__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__ROW3,V__ROW2] :
   (((s__subclass(V__ROW3,s__Weapon) &
         s__instance(V__ROW2,s__MilitaryVehicle))
       =>
       ((((s__instance(s__weaponCarryingCapability__m,s__TotalValuedRelation) &
               s__instance(s__weaponCarryingCapability__m,s__Predicate))
             =>
             ( ? [V__VALENCE] :
               ((s__instance(V__VALENCE,s__PositiveInteger) &
                   (s__instance(s__weaponCarryingCapability__m,s__Relation) &
                     s__valence(s__weaponCarryingCapability__m,V__VALENCE)
                   &
                   (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
                       (((s__instance(V__NUMBER,s__PositiveInteger) &
                             s__instance(V__CLASS,s__SetOrClass))
                           =>
                           (((s__lessThan(V__NUMBER,V__VALENCE)
                               &
                               s__domain(s__weaponCarryingCapability__m,V__NUMBER,V__CLASS)
                             &
                             (V__ELEMENT = s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
                            ,V__NUMBER)))
                       =>
                       (s__instance(V__ELEMENT,V__CLASS)))))))
           =>
           (( ? [V__ITEM] :
               ((s__instance(V__ITEM,s__PositiveInteger) &
                   s__weaponCarryingCapability(V__ROW2,V__ROW3,V__ITEM)))))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
     (s__instance(s__weaponCarryingCapability__m,s__Relation) &
       s__valence(s__weaponCarryingCapability__m,V__VALENCE)
     &
     (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
         (((s__instance(V__NUMBER,s__PositiveInteger) &
               s__instance(V__CLASS,s__SetOrClass))
             =>
             (((s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__weaponCarryingCapability__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
              ,V__NUMBER)))
         =>
         (s__instance(V__ELEMENT,V__CLASS)))))))
=>
(( ? [V__ITEM] :
((s__instance(V__ITEM,s__PositiveInteger) &
     s__weaponCarryingCapability(V__ROW2,V__ROW3,V__ITEM))))))))))
=>
(s__instance(s__weaponCarryingCapability__m,s__TotalValuedRelation) &
s__instance(s__weaponCarryingCapability__m,s__Predicate))))))
)
)

( ! [V__ROW2] :
   ((s__instance(V__ROW2,s__Object) =>
       ((((s__instance(s__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,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))))))))))
=>
(s__instance(s__deviceState__m,s__TotalValuedRelation) &
s__instance(s__deviceState__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__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(s__immediateInstance__m,s__TotalValuedRelation) &
           s__instance(s__immediateInstance__m,s__Predicate))
         =>
         ( ? [V__VALENCE] :
           ((s__instance(V__VALENCE,s__PositiveInteger) &
               (s__instance(s__immediateInstance__m,s__Relation) &
                 s__valence(s__immediateInstance__m,V__VALENCE)
               &
               (( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
                   (((s__instance(V__NUMBER,s__PositiveInteger) &
                         s__instance(V__CLASS,s__SetOrClass))
                       =>
                       (((s__lessThan(V__NUMBER,V__VALENCE)
                           &
                           s__domain(s__immediateInstance__m,V__NUMBER,V__CLASS)
                         &
                         (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
                        ,V__NUMBER)))
                   =>
                   (s__instance(V__ELEMENT,V__CLASS)))))))
       =>
       (( ? [V__ITEM] :
           (s__immediateInstance(V__ROW2,V__ITEM))))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__immediateInstance__m,s__Relation) &
   s__valence(s__immediateInstance__m,V__VALENCE)
&
(( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
     (((s__instance(V__NUMBER,s__PositiveInteger) &
           s__instance(V__CLASS,s__SetOrClass))
         =>
         (((s__lessThan(V__NUMBER,V__VALENCE)
             &
             s__domain(s__immediateInstance__m,V__NUMBER,V__CLASS)
           &
           (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
          ,V__NUMBER)))
     =>
     (s__instance(V__ELEMENT,V__CLASS)))))))
=>
(( ? [V__ITEM] :
(s__immediateInstance(V__ROW2,V__ITEM)))))))))
=>
(s__instance(s__immediateInstance__m,s__TotalValuedRelation) &
s__instance(s__immediateInstance__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__Physical) =>
       ((((s__instance(