( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Attribute))
       =>
       ((s__attribute(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__fullName(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CorpuscularObject) &
         s__subclass(V__ROW2,s__Artifact) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__powerComponent(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__UserAccount) &
         s__instance(V__ROW2,s__Proposition))
       =>
       ((s__accountInformation(V__ROW1,V__ROW2)
         =>
         (s__containsInformation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Proposition))
       =>
       ((s__conforms(V__ROW1,V__ROW2)
         =>
         (s__represents(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__UserAccount) &
         s__instance(V__ROW2,s__UserName))
       =>
       ((s__userName(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Motion) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__path(V__ROW1,V__ROW2)
         =>
         (s__eventPartlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__LinguisticExpression) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__referenceTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__representsInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PostalPlace) &
         s__instance(V__ROW2,s__Neighborhood))
       =>
       ((s__postNeighborhood(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__AchievingControl) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__controlled(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__PlacingUnderArrest) =>
       ((s__arrestingOfficer(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Physical) &
         s__instance(V__ROW2,s__PhysicalQuantity))
       =>
       ((s__width(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__City) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__capitalCity(V__ROW1,V__ROW2)
         =>
         (s__properPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__cohabitant(V__ROW1,V__ROW2)
         =>
         (s__acquaintance(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__paternalUncle(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__TemporaryResidence))
       =>
       ((s__stays(V__ROW1,V__ROW2)
         =>
         (s__inhabits(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__TelecomNumber))
       =>
       ((s__telecomCountryCode(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__experiencer(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__primaryGeopoliticalSubdivision(V__ROW1,V__ROW2)
         =>
         (s__geographicSubregion(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__UserAccount))
       =>
       ((s__accountUsed(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__fathersBrothersSon(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Hole))
       =>
       ((s__fills(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Computer) &
         s__instance(V__ROW2,s__ComputerStatus))
       =>
       ((s__hostStatus(V__ROW1,V__ROW2)
         =>
         (s__attribute(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__WaterArea) &
         s__instance(V__ROW2,s__River))
       =>
       ((s__streamOutfall(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__maternalAunt(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__marketValueAmount(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__availableBalance(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Set) &
         s__instance(V__ROW1,s__Class) &
         s__instance(V__ROW2,s__Set) &
         s__instance(V__ROW2,s__Class))
       =>
       ((s__subset(V__ROW1,V__ROW2)
         =>
         (s__subclass(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Transfer) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__objectTransferred(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__localShortName(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__daughter(V__ROW1,V__ROW2)
         =>
         (s__parent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__EducationalOrganization))
       =>
       ((s__student(V__ROW1,V__ROW2)
         =>
         (s__member(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__WaterArea) &
         s__instance(V__ROW2,s__LengthMeasure))
       =>
       ((s__waterDepth(V__ROW1,V__ROW2)
         =>
         (s__length(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__RealtimeSystem) &
         s__instance(V__ROW2,s__TaskRelationAttribute))
       =>
       ((s__taskRelation(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__nameIndexOrder(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__humanName(V__ROW1,V__ROW2)
         =>
         (s__agentName(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Transitway) &
         s__instance(V__ROW2,s__Object) &
         s__instance(V__ROW2,s__TransitSystem))
       =>
       ((s__pathInSystem(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__primaryGeopoliticalSubdivision(V__ROW1,V__ROW2)
         =>
         (s__properPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__OrganicObject) &
         s__instance(V__ROW2,s__DevelopmentalAttribute))
       =>
       ((s__developmentalForm(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__Computer))
       =>
       ((s__computerRunning(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__third(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Hole))
       =>
       ((s__properlyFills(V__ROW1,V__ROW2)
         =>
         (s__partiallyFills(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__City) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__capitalCity(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__LegalAction) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__defendant(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__SymbolicString) &
         s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__SymbolicString))
       =>
       ((s__nameBeforeKeyName(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__precedesInString(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputationalSystem) &
         s__subclass(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__TimeDuration))
       =>
       ((s__sendRate(V__ROW1,V__ROW2)
         =>
         (s__frequency(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__instance(V__ROW2,s__UserAccount))
       =>
       ((s__hasAccount(V__ROW1,V__ROW2)
         =>
         (s__possesses(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Computer) &
         s__instance(V__ROW2,s__ComputerStatus))
       =>
       ((s__hostStatus(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__maternalUncle(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__interiorPart(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__subclass(V__ROW2,s__ContentBearingObject) &
         s__subclass(V__ROW2,s__MusicalComposition))
       =>
       ((s__composer(V__ROW1,V__ROW2)
         =>
         (s__authors(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Man) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__brother(V__ROW1,V__ROW2)
         =>
         (s__sibling(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__TimeInterval) &
         s__instance(V__ROW2,s__TimeInterval))
       =>
       ((s__finishes(V__ROW1,V__ROW2)
         =>
         (s__temporalPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ChemicalProcess) &
         s__instance(V__ROW2,s__Substance))
       =>
       ((s__reagent(V__ROW1,V__ROW2)
         =>
         (s__instrument(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Agreement) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__accountHolder(V__ROW1,V__ROW2)
         =>
         (s__partyToAgreement(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ServiceProcess) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__serviceProvider(V__ROW1,V__ROW2)
         =>
         (s__agent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Man) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__brother(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Recording) &
         s__instance(V__ROW2,s__Album))
       =>
       ((s__albumTrack(V__ROW1,V__ROW2)
         =>
         (s__inList(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Organization))
       =>
       ((s__organizationName(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__TelecomNumber))
       =>
       ((s__telecomAreaCode(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Computer))
       =>
       ((s__hardwareType(V__ROW1,V__ROW2)
         =>
         (s__represents(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__FinancialTransaction) &
         s__instance(V__ROW2,s__WebSite))
       =>
       ((s__eCommerceSite(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__marginBalanceAmount(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__availableBalance(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ChemicalProcess) &
         s__instance(V__ROW2,s__Substance))
       =>
       ((s__reagent(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ContentBearingPhysical) &
         s__instance(V__ROW2,s__Proposition))
       =>
       ((s__containsInformation(V__ROW1,V__ROW2)
         =>
         (s__represents(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Organization))
       =>
       ((s__organizationName(V__ROW1,V__ROW2)
         =>
         (s__agentName(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__DeviceStateAttribute))
       =>
       ((s__deviceState(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__LinguisticExpression) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__representsInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Physical) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__exactlyLocated(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__LinguisticExpression) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__groupingTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__representsInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__physicalEnd(V__ROW1,V__ROW2)
         =>
         (s__properPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__geopoliticalSubdivision(V__ROW1,V__ROW2)
         =>
         (s__geographicSubregion(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organization) &
         s__instance(V__ROW2,s__Organization))
       =>
       ((s__chamberOfLegislature(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__LegalAction) =>
       ((s__defenseLawyer(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PlacingUnderArrest) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__arrested(V__ROW1,V__ROW2)
         =>
         (s__controlled(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agreement) &
         s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Agreement) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__optionHolder(V__ROW1,V__ROW2)
         =>
         (s__partyToAgreement(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Abstract) &
         s__instance(V__ROW2,s__Physical))
       =>
       ((s__abstractCounterpart(V__ROW1,V__ROW2)
         =>
         (s__represents(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__fathersBrothersDaughter(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Transportation) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__transported(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__TimeInterval) &
         s__instance(V__ROW2,s__TimeInterval))
       =>
       ((s__starts(V__ROW1,V__ROW2)
         =>
         (s__temporalPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Organization))
       =>
       ((s__organizationName(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerFile) &
         s__instance(V__ROW2,s__ComputerProgram))
       =>
       ((s__programCopy(V__ROW1,V__ROW2)
         =>
         (s__containsInformation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Motion) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__moves(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__instance(V__ROW2,s__EconomicAttribute))
       =>
       ((s__economyType(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__UserAccount) &
         s__instance(V__ROW2,s__TelecomNumber))
       =>
       ((s__accountPhoneNumber(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__NounPhrase) &
         s__instance(V__ROW2,s__Sentence))
       =>
       ((s__sententialSubject(V__ROW1,V__ROW2)
         =>
         (s__grammaticalRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Transportation) &
         s__instance(V__ROW2,s__TransportationDevice))
       =>
       ((s__conveyance(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__Computer))
       =>
       ((s__computerRunning(V__ROW1,V__ROW2)
         =>
         (s__instrument(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Attribute))
       =>
       ((s__manner(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__guest(V__ROW1,V__ROW2)
         =>
         (s__customer(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__TimePoint) &
         s__instance(V__ROW2,s__TimePoint))
       =>
       ((s__before(V__ROW1,V__ROW2)
         =>
         (s__beforeOrEqual(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerFile) &
         s__instance(V__ROW2,s__ComputerProgram))
       =>
       ((s__programCopy(V__ROW1,V__ROW2)
         =>
         (s__represents(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__financialAsset(V__ROW1,V__ROW2)
         =>
         (s__possesses(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__UserAccount))
       =>
       ((s__accountUsed(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Substance) &
         s__instance(V__ROW2,s__Substance))
       =>
       ((s__piece(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Contest) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__contestParticipant(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__LegalAction) =>
       ((s__witness(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__translatedTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__titleInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Proposition))
       =>
       ((s__realization(V__ROW1,V__ROW2)
         =>
         (s__represents(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__birthday(V__ROW1,V__ROW2)
         =>
         (s__anniversary(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Proposition))
       =>
       ((s__conforms(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__subclass(V__ROW1,s__HotelFunctionRoom) &
         s__subclass(V__ROW2,s__Physical))
       =>
       ((s__paidFunctionRoomAmenity(V__ROW1,V__ROW2)
         =>
         (s__functionRoomAmenity(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__TimePoint) &
         s__instance(V__ROW1,s__TimePoint) &
         s__instance(V__ROW2,s__TimePoint))
       =>
       ((s__temporallyBetween(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__temporallyBetweenOrEqual(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__Process) =>
       ((s__eventLocated(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__RealtimeSystem) &
         s__instance(V__ROW2,s__TimingRequirementAttribute))
       =>
       ((s__complexity(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__City) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__capitalCity(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Hole))
       =>
       ((s__fills(V__ROW1,V__ROW2)
         =>
         (s__completelyFills(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__fathersSistersDaughter(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__UserAccount) &
         s__instance(V__ROW2,s__TelecomNumber) &
         s__instance(V__ROW2,s__Proposition))
       =>
       ((s__accountPhoneNumber(V__ROW1,V__ROW2)
         =>
         (s__containsInformation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Hole))
       =>
       ((s__partiallyFills(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Hole))
       =>
       ((s__fills(V__ROW1,V__ROW2)
         =>
         (s__properlyFills(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ViralCellInvasion) &
         s__instance(V__ROW2,s__Virus))
       =>
       ((s__invadingVirus(V__ROW1,V__ROW2)
         =>
         (s__agent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeographicArea) &
         s__instance(V__ROW2,s__GeographicArea))
       =>
       ((s__geographicSubregion(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__availableCash(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__currentAccountBalance(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__HotelReservation) &
         s__instance(V__ROW2,s__Integer))
       =>
       ((s__numberSeniorOccupant(V__ROW1,V__ROW2)
         =>
         (s__numberOccupant(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__acronym(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__cousin(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__List) &
         s__instance(V__ROW2,s__List))
       =>
       ((s__initialList(V__ROW1,V__ROW2)
         =>
         (s__subList(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__WaterVehicle) &
         s__instance(V__ROW2,s__MassMeasure))
       =>
       ((s__vesselDeadWeightTonnage(V__ROW1,V__ROW2)
         =>
         (s__vesselDisplacement(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Formula))
       =>
       ((s__desires(V__ROW1,V__ROW2)
         =>
         (s__inScopeOfInterest(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW2,s__Set) &
         s__instance(V__ROW2,s__Class))
       =>
       ((s__element(V__ROW1,V__ROW2)
         =>
         (s__instance(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__productBrand(V__ROW1,V__ROW2)
     =>
     (s__represents(V__ROW1,V__ROW2)))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__instance(V__ROW2,s__FormOfGovernment))
       =>
       ((s__governmentType(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__WaterVehicle) &
         s__instance(V__ROW2,s__PhysicalQuantity))
       =>
       ((s__vesselDisplacement(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__coworker(V__ROW1,V__ROW2)
         =>
         (s__acquaintance(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ChangeOfControl) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__losesControl(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__TelecomNumber) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__personalPhoneNumber(V__ROW1,V__ROW2)
         =>
         (s__telephoneNumber(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Collection) &
         s__instance(V__ROW2,s__Collection))
       =>
       ((s__subCollection(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__ComputerInputDevice))
       =>
       ((s__standardInputDevice(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerComponent) &
         s__instance(V__ROW2,s__ConstantQuantity))
       =>
       ((s__load(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__Process) =>
       ((s__destination(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__displayTitle(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__Process) =>
       ((s__result(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__NounPhrase) &
         s__instance(V__ROW2,s__Sentence))
       =>
       ((s__sententialObject(V__ROW1,V__ROW2)
         =>
         (s__grammaticalRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Bond) &
         s__instance(V__ROW2,s__FinancialRating))
       =>
       ((s__bondRating(V__ROW1,V__ROW2)
         =>
         (s__attribute(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SelfConnectedObject) &
         s__instance(V__ROW2,s__SelfConnectedObject))
       =>
       ((s__bottom(V__ROW1,V__ROW2)
         =>
         (s__superficialPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__Process) =>
       ((s__objectAttached(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__friend(V__ROW1,V__ROW2)
         =>
         (s__acquaintance(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__coworker(V__ROW1,V__ROW2)
         =>
         (s__mutualAcquaintance(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__overlapsSpatially(V__ROW1,V__ROW2)
         =>
         (s__connected(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Shipping) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__cargo(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Motion) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__path(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Physical) &
         s__instance(V__ROW2,s__LengthMeasure))
       =>
       ((s__length(V__ROW1,V__ROW2)
         =>
         (s__linearExtent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__sortingTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__titleInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__buyingPowerAmount(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__availableBalance(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__fathersBrothersWife(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__UserAccount) &
         s__instance(V__ROW2,s__TelecomNumber))
       =>
       ((s__accountPhoneNumber(V__ROW1,V__ROW2)
         =>
         (s__represents(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__agentName(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__sibling(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__LegalAction) =>
       ((s__witness(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__availableCash(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__availableBalance(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__conventionalLongName(V__ROW1,V__ROW2)
         =>
         (s__fullName(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__LinguisticExpression) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__alternativeTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__representsInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__targetInAttack(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__subclass(V__ROW2,s__Holiday))
       =>
       ((s__nationalCelebration(V__ROW1,V__ROW2)
         =>
         (s__nationalHoliday(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PostalPlace) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__workAddress(V__ROW1,V__ROW2)
         =>
         (s__postContactSite(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__EngineeringComponent) &
         s__instance(V__ROW2,s__EngineeringComponent))
       =>
       ((s__engineeringSubcomponent(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__mutualAcquaintance(V__ROW1,V__ROW2)
         =>
         (s__acquaintance(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__ComputerOutputDevice))
       =>
       ((s__standardOutputDevice(V__ROW1,V__ROW2)
         =>
         (s__instrument(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Agent) &
         s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__CurrencyMeasure))
       =>
       ((s__askPrice(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__price(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__RealtimeSystem) &
         s__instance(V__ROW2,s__DesignPatternAttribute))
       =>
       ((s__designPattern(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__synonymousExternalConcept(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__relatedExternalConcept(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PlacingUnderArrest) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__arrestingOfficer(V__ROW1,V__ROW2)
         =>
         (s__agent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__FieldOfStudy) &
         s__instance(V__ROW2,s__FieldOfStudy))
       =>
       ((s__subField(V__ROW1,V__ROW2)
         =>
         (s__subProposition(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__Process) =>
       ((s__objectAttached(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Plan) &
         s__instance(V__ROW2,s__Plan))
       =>
       ((s__subPlan(V__ROW1,V__ROW2)
         =>
         (s__subProposition(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__givenName(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Molecule) &
         s__instance(V__ROW2,s__MoleculeStructuralAttribute))
       =>
       ((s__hasMolecularStructuralAttribute(V__ROW1,V__ROW2)
         =>
         (s__attribute(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__acronym(V__ROW1,V__ROW2)
         =>
         (s__conventionalShortName(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Loan) &
         s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Agreement) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__borrower(V__ROW1,V__ROW2)
         =>
         (s__partyToAgreement(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__son(V__ROW1,V__ROW2)
         =>
         (s__parent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__represents(V__ROW1,V__ROW2)
     =>
     (s__refers(V__ROW1,V__ROW2)))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__fathersSistersHusband(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PostalPlace) &
         s__instance(V__ROW2,s__StateOrProvince))
       =>
       ((s__postDistrict(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Transportation) &
         s__instance(V__ROW2,s__TransportationDevice))
       =>
       ((s__conveyance(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__localShortName(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__LegalAction) =>
       ((s__defenseLawyer(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__DigitalData))
       =>
       ((s__filename(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ServiceProcess) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__serviceProvider(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SelfConnectedObject) &
         s__instance(V__ROW2,s__MassMeasure))
       =>
       ((s__weight(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__WaterVehicle) &
         s__instance(V__ROW2,s__MassMeasure))
       =>
       ((s__vesselDeadWeightTonnage(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SelfConnectedObject) &
         s__instance(V__ROW2,s__Vehicle))
       =>
       ((s__onboard(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__OrganizationalProcess) &
         s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__CurrencyMeasure))
       =>
       ((s__afterTaxIncome(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__incomeEarned(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__AcidityMeasure))
       =>
       ((s__phMeasure(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW2,s__Class) =>
       ((s__immediateInstance(V__ROW1,V__ROW2)
         =>
         (s__instance(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ServiceProcess) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__serviceRecipient(V__ROW1,V__ROW2)
         =>
         (s__experiencer(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__DigitalData))
       =>
       ((s__filename(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Formula))
       =>
       ((s__fears(V__ROW1,V__ROW2)
         =>
         (s__expects(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__referenceTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__titleInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__familyName(V__ROW1,V__ROW2)
         =>
         (s__humanName(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__ColorAttribute))
       =>
       ((s__color(V__ROW1,V__ROW2)
         =>
         (s__attribute(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Formula) &
         s__instance(V__ROW2,s__NormativeAttribute))
       =>
       ((s__modalAttribute(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Attribute))
       =>
       ((s__musicGenre(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__mothersSistersHusband(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__alias(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__subclass(V__ROW1,s__OrganicObject) &
         s__subclass(V__ROW2,s__Animal))
       =>
       ((s__meatOfAnimal(V__ROW1,V__ROW2)
         =>
         (s__productOfAnimal(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__administrativeCenter(V__ROW1,V__ROW2)
         =>
         (s__geographicSubregion(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__TelecomNumber) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__mobilePhoneNumber(V__ROW1,V__ROW2)
         =>
         (s__telephoneNumber(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__LinguisticExpression) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__originalTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__representsInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__fathersSistersDaughter(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Proposition))
       =>
       ((s__realization(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeographicArea) &
         s__instance(V__ROW2,s__GeographicArea))
       =>
       ((s__geographicSubregion(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ViralCellInvasion) &
         s__instance(V__ROW2,s__Virus))
       =>
       ((s__invadingVirus(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Shipping) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__cargo(V__ROW1,V__ROW2)
         =>
         (s__transported(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Molecule) &
         s__instance(V__ROW2,s__MoleculeStructuralAttribute))
       =>
       ((s__hasMolecularStructuralAttribute(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ContentBearingObject) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__deceptiveIdentifier(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__UnitOfCurrency))
       =>
       ((s__currencyCode(V__ROW1,V__ROW2)
         =>
         (s__conventionalShortName(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__mothersSistersSon(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__givenName(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Woman) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__aunt(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__subsumingExternalConcept(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__relatedExternalConcept(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Transportation) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__transported(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProgram) &
         s__subclass(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__TimeDuration))
       =>
       ((s__softwareHeartBeatRate(V__ROW1,V__ROW2)
         =>
         (s__frequency(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__abbreviation(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organization) &
         s__instance(V__ROW2,s__Organization))
       =>
       ((s__chamberOfLegislature(V__ROW1,V__ROW2)
         =>
         (s__subCollection(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__subclass(V__ROW1,s__ComputerProgram) &
         s__subclass(V__ROW2,s__Computer))
       =>
       ((s__deviceOS(V__ROW1,V__ROW2)
         =>
         (s__canRunOn(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__CognitiveAgent) =>
       ((s__lacks(V__ROW1,V__ROW2)
         =>
         (s__inScopeOfInterest(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__subclass(V__ROW2,s__Physical))
       =>
       ((s__paidPropertyAmenity(V__ROW1,V__ROW2)
         =>
         (s__propertyAmenity(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__WaterArea) &
         s__instance(V__ROW2,s__LengthMeasure))
       =>
       ((s__waterDepth(V__ROW1,V__ROW2)
         =>
         (s__linearExtent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__ComputerOutputDevice))
       =>
       ((s__standardOutputDevice(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__ComputerInputDevice))
       =>
       ((s__standardInputDevice(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Collection) &
         s__instance(V__ROW2,s__PhysicalQuantity))
       =>
       ((s__fleetGrossRegisteredTonnage(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Hole))
       =>
       ((s__fills(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__origin(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__alternativeTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__titleInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ContentBearingObject) &
         s__instance(V__ROW2,s__MimeEncodingScheme))
       =>
       ((s__mimeType(V__ROW1,V__ROW2)
         =>
         (s__coding(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__CriminalAction) =>
       ((s__perpetrator(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__ComputerOutputDevice))
       =>
       ((s__standardOutputDevice(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__subclass(V__ROW2,s__MusicalComposition))
       =>
       ((s__composer(V__ROW1,V__ROW2)
         =>
         (s__creator(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__administrativeCenter(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Man) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__brother(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organization) &
         s__instance(V__ROW2,s__Organization))
       =>
       ((s__subOrganization(V__ROW1,V__ROW2)
         =>
         (s__subCollection(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__dependentGeopoliticalArea(V__ROW1,V__ROW2)
         =>
         (s__claimedTerritory(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeographicArea) &
         s__instance(V__ROW2,s__GeographicArea))
       =>
       ((s__geographicSubregion(V__ROW1,V__ROW2)
         =>
         (s__properPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__alias(V__ROW1,V__ROW2)
         =>
         (s__deceptiveIdentifier(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PostalPlace) &
         s__instance(V__ROW2,s__PostcodeArea))
       =>
       ((s__postPostcodeArea(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Man) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__nephew(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Experimenting) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__experimentalControl(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PostalPlace) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__postCountry(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__mothersBrothersSon(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__localLongName(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__fullNameIndexOrder(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__DigitalData))
       =>
       ((s__dataProcessed(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__properPart(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Hole))
       =>
       ((s__partiallyFills(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__TemperatureMeasure))
       =>
       ((s__airTemperature(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__TelecomNumber))
       =>
       ((s__telecomCode2(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ContentBearingPhysical) &
         s__instance(V__ROW2,s__Proposition))
       =>
       ((s__containsInformation(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__spouse(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__LegalAction) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__plaintiff(V__ROW1,V__ROW2)
         =>
         (s__agent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__RealtimeSystem) &
         s__instance(V__ROW2,s__AbstractionLevelAttribute))
       =>
       ((s__abstractionLevel(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__OneDimensionalFigure) &
         s__instance(V__ROW2,s__GeometricFigure))
       =>
       ((s__sideOfFigure(V__ROW1,V__ROW2)
         =>
         (s__geometricPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__Transfer) =>
       ((s__passenger(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__TimeInterval) &
         s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__Interest))
       =>
       ((s__compoundInterest(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__interestEarned(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organization) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__headquartersOfOrganization(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__fathersBrothersSon(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__subclass(V__ROW2,s__ContentBearingPhysical))
       =>
       ((s__titles(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Transfer) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__objectTransferred(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__agent(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Hole))
       =>
       ((s__completelyFills(V__ROW1,V__ROW2)
         =>
         (s__partiallyFills(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__UnitOfCurrency))
       =>
       ((s__currencyCode(V__ROW1,V__ROW2)
         =>
         (s__abbreviation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SelfConnectedObject) &
         s__instance(V__ROW2,s__SelfConnectedObject))
       =>
       ((s__top(V__ROW1,V__ROW2)
         =>
         (s__superficialPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProgram) &
         s__instance(V__ROW2,s__ComputerProtocol))
       =>
       ((s__implementsProtocol(V__ROW1,V__ROW2)
         =>
         (s__represents(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__City) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__capitalCity(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Man) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__nephew(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__penetrates(V__ROW1,V__ROW2)
         =>
         (s__traverses(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__OrganicObject) &
         s__instance(V__ROW2,s__DevelopmentalAttribute))
       =>
       ((s__developmentalForm(V__ROW1,V__ROW2)
         =>
         (s__attribute(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__TelecomNumber) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__homePhoneNumber(V__ROW1,V__ROW2)
         =>
         (s__telephoneNumber(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__GroupOfPeople))
       =>
       ((s__groupMember(V__ROW1,V__ROW2)
         =>
         (s__member(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__paternalUncle(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Confining) &
         s__instance(V__ROW2,s__Animal))
       =>
       ((s__detainee(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SelfConnectedObject) &
         s__instance(V__ROW2,s__SelfConnectedObject))
       =>
       ((s__surface(V__ROW1,V__ROW2)
         =>
         (s__superficialPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__instance(V__ROW2,s__AreaOfConcern))
       =>
       ((s__organizationalObjective(V__ROW1,V__ROW2)
         =>
         (s__attribute(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__fullName(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__primaryGeopoliticalSubdivision(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organization) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__headquartersOfOrganization(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__DigitalData))
       =>
       ((s__dataProcessed(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__City) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__capitalCity(V__ROW1,V__ROW2)
         =>
         (s__administrativeCenter(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__instance(V__ROW2,s__FormOfGovernment))
       =>
       ((s__governmentType(V__ROW1,V__ROW2)
         =>
         (s__attribute(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PostalPlace) &
         s__instance(V__ROW2,s__City))
       =>
       ((s__postCity(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ChargingAFee) &
         s__instance(V__ROW2,s__CurrencyMeasure))
       =>
       ((s__amountCharged(V__ROW1,V__ROW2)
         =>
         (s__transactionAmount(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__AchievingControl) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__gainsControl(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ChemicalProcess) &
         s__instance(V__ROW2,s__Substance))
       =>
       ((s__reactant(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Attribute))
       =>
       ((s__musicGenre(V__ROW1,V__ROW2)
         =>
         (s__attribute(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Formula))
       =>
       ((s__considers(V__ROW1,V__ROW2)
         =>
         (s__inScopeOfInterest(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__formerName(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Translocation) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__changesLocation(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__subclass(V__ROW2,s__ContentBearingPhysical))
       =>
       ((s__titles(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__ComputerOutputDevice))
       =>
       ((s__standardErrorDevice(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Woman) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__aunt(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__EngineeringComponent) &
         s__instance(V__ROW2,s__EngineeringComponent))
       =>
       ((s__engineeringSubcomponent(V__ROW1,V__ROW2)
         =>
         (s__properPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Woman) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__sister(V__ROW1,V__ROW2)
         =>
         (s__sibling(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__subclass(V__ROW1,s__Substance) &
         s__subclass(V__ROW2,s__PreparedFood) &
         s__instance(V__ROW2,s__CorpuscularObject))
       =>
       ((s__ingredient(V__ROW1,V__ROW2)
         =>
         (s__material(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__LinguisticExpression) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__translatedTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__representsInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__acronym(V__ROW1,V__ROW2)
         =>
         (s__abbreviation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__EngineeringComponent) &
         s__instance(V__ROW1,s__EngineeringConnection) &
         s__instance(V__ROW2,s__EngineeringComponent))
       =>
       ((s__connectsEngineeringComponents(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__connects(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__instance(V__ROW2,s__AreaOfConcern))
       =>
       ((s__organizationalObjective(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__geopoliticalSubdivision(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__Process) =>
       ((s__objectDetached(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Physical) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__date(V__ROW1,V__ROW2)
         =>
         (s__time(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__displayTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__titleInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Game) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__plays(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__resource(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SelfConnectedObject) &
         s__instance(V__ROW2,s__Vehicle))
       =>
       ((s__onboard(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__domesticPartner(V__ROW1,V__ROW2)
         =>
         (s__mutualAcquaintance(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeometricPoint) &
         s__instance(V__ROW2,s__GeometricFigure))
       =>
       ((s__pointOfFigure(V__ROW1,V__ROW2)
         =>
         (s__geometricPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__cohabitant(V__ROW1,V__ROW2)
         =>
         (s__mutualAcquaintance(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__FinancialCompany) &
         s__instance(V__ROW2,s__Agreement))
       =>
       ((s__financialAccount(V__ROW1,V__ROW2)
         =>
         (s__partyToAgreement(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__ComputerOutputDevice))
       =>
       ((s__standardErrorDevice(V__ROW1,V__ROW2)
         =>
         (s__instrument(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PostalPlace) &
         s__instance(V__ROW2,s__PostcodeArea))
       =>
       ((s__postPostcodeArea(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PostalPlace) &
         s__instance(V__ROW2,s__StateOrProvince))
       =>
       ((s__postDistrict(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__RealtimeSystem) &
         s__instance(V__ROW2,s__StrictnessAttribute))
       =>
       ((s__strictness(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__TelecomNumber))
       =>
       ((s__telecomCoreNumber(V__ROW1,V__ROW2)
         =>
         (s__subString(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__targetInAttack(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__administrativeCenter(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Woman) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__niece(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__conventionalShortName(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__maternalUncle(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Agreement) &
         s__instance(V__ROW2,s__FinancialOrganization))
       =>
       ((s__accountAt(V__ROW1,V__ROW2)
         =>
         (s__partyToAgreement(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__primaryGeopoliticalSubdivision(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Physical) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__exactlyLocated(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__ProcessStatus))
       =>
       ((s__status(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__misspelledTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__titleInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__LengthMeasure) &
         s__instance(V__ROW1,s__Physical) &
         s__instance(V__ROW2,s__Physical))
       =>
       ((s__depth(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__distance(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Contest) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__contestParticipant(V__ROW1,V__ROW2)
         =>
         (s__agent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__maternalAunt(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputationalSystem) &
         s__subclass(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__TimeDuration))
       =>
       ((s__collectRate(V__ROW1,V__ROW2)
         =>
         (s__frequency(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__AchievingControl) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__gainsControl(V__ROW1,V__ROW2)
         =>
         (s__agent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Hole))
       =>
       ((s__properlyFills(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__fullNameIndexOrder(V__ROW1,V__ROW2)
         =>
         (s__fullName(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Physical) &
         s__instance(V__ROW2,s__LengthMeasure))
       =>
       ((s__linearExtent(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__acronym(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__SymbolicString))
       =>
       ((s__keyName(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Sentence) &
         s__instance(V__ROW2,s__TruthValue))
       =>
       ((s__truth(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__flows(V__ROW1,V__ROW2)
         =>
         (s__connected(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ChemicalProcess) &
         s__instance(V__ROW2,s__Substance))
       =>
       ((s__reagent(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__subclass(V__ROW1,s__TimeInterval) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__standardRetailHours(V__ROW1,V__ROW2)
         =>
         (s__businessHours(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Hole))
       =>
       ((s__fills(V__ROW1,V__ROW2)
         =>
         (s__partiallyFills(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__geopoliticalSubdivision(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__geopoliticalSubdivision(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__mothersBrothersSon(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__mothersSistersHusband(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Transfer) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__passenger(V__ROW1,V__ROW2)
         =>
         (s__objectTransferred(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ChemicalProcess) &
         s__instance(V__ROW2,s__Substance))
       =>
       ((s__reactant(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Demonstrating) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__attends(V__ROW1,V__ROW2)
         =>
         (s__experiencer(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__UnitOfAtmosphericPressure))
       =>
       ((s__barometricPressure(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__TimePoint) &
         s__subclass(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__GeographicArea))
       =>
       ((s__releaseForSale(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__releaseForConsumption(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__givenName(V__ROW1,V__ROW2)
         =>
         (s__agentName(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__completelyFills(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__instance(V__ROW1,s__LyricalContent) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__lyricist(V__ROW1,V__ROW2)
         =>
         (s__creator(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__sibling(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__crosses(V__ROW1,V__ROW2)
         =>
         (s__traverses(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PermanentResidence) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__homeAddress(V__ROW1,V__ROW2)
         =>
         (s__postContactSite(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__quarter(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__HotelReservation) &
         s__instance(V__ROW2,s__Integer))
       =>
       ((s__numberAdultOccupant(V__ROW1,V__ROW2)
         =>
         (s__numberOccupant(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__LinguisticExpression) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__sortingTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__representsInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__marginBalanceAmount(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__currentAccountBalance(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__buyingPowerAmount(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__currentAccountBalance(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__LegalAction) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__plaintiff(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__fathersSistersSon(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__City) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__capitalCity(V__ROW1,V__ROW2)
         =>
         (s__geopoliticalSubdivision(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Text) &
         s__instance(V__ROW2,s__Physical))
       =>
       ((s__registeredItem(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Translocation) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__changesLocation(V__ROW1,V__ROW2)
         =>
         (s__moves(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__SymbolicString))
       =>
       ((s__subString(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__most(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PostalPlace) &
         s__instance(V__ROW2,s__Neighborhood))
       =>
       ((s__postNeighborhood(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__TelecomNumber))
       =>
       ((s__telecomAreaCode(V__ROW1,V__ROW2)
         =>
         (s__subString(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__subclass(V__ROW1,s__HotelFunctionRoom) &
         s__subclass(V__ROW2,s__Physical))
       =>
       ((s__freeFunctionRoomAmenity(V__ROW1,V__ROW2)
         =>
         (s__functionRoomAmenity(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__instrument(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__TelecomNumber))
       =>
       ((s__telecomCountryCode(V__ROW1,V__ROW2)
         =>
         (s__subString(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__humanName(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__mothersBrothersDaughter(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ContentBearingObject) &
         s__instance(V__ROW2,s__BankCard))
       =>
       ((s__cardCode(V__ROW1,V__ROW2)
         =>
         (s__represents(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Transportation) &
         s__instance(V__ROW2,s__TransportationDevice))
       =>
       ((s__conveyance(V__ROW1,V__ROW2)
         =>
         (s__instrument(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__shortBalanceAmount(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__availableBalance(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Physical))
       =>
       ((s__needs(V__ROW1,V__ROW2)
         =>
         (s__inScopeOfInterest(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__subclass(V__ROW1,s__Process) &
         s__instance(V__ROW1,s__UserRequest) &
         s__instance(V__ROW2,s__TimeDuration))
       =>
       ((s__requestRate(V__ROW1,V__ROW2)
         =>
         (s__frequency(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__FinancialTransaction) &
         s__instance(V__ROW2,s__WebSite))
       =>
       ((s__eCommerceSite(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__uniqueIdentifier(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__LegalAction) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__defendant(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Stock) &
         s__instance(V__ROW2,s__CurrencyMeasure))
       =>
       ((s__finalPrice(V__ROW1,V__ROW2)
         =>
         (s__monetaryValue(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agent) &
         s__instance(V__ROW2,s__Group))
       =>
       ((s__associateInOrganization(V__ROW1,V__ROW2)
         =>
         (s__member(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Device) &
         s__instance(V__ROW2,s__LengthMeasure))
       =>
       ((s__effectiveRange(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__mothersSistersDaughter(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__SymbolicString))
       =>
       ((s__keyName(V__ROW1,V__ROW2)
         =>
         (s__subString(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__paternalAunt(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__nameIndexOrder(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__ComputerResource))
       =>
       ((s__resourceUsed(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__eventPartlyLocated(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Agent) &
         s__instance(V__ROW1,s__Election) &
         s__instance(V__ROW2,s__SocialRole))
       =>
       ((s__electionWinner(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__candidateForPosition(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__TelecomNumber) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__workPhoneNumber(V__ROW1,V__ROW2)
         =>
         (s__telephoneNumber(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Woman) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__sister(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__primaryGeopoliticalSubdivision(V__ROW1,V__ROW2)
         =>
         (s__geopoliticalSubdivision(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW4,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Position) &
         s__instance(V__ROW4,s__Agent) &
         s__instance(V__ROW1,s__Agent) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__chiefOfDiplomaticMission(V__ROW1,V__ROW2,V__ROW3,V__ROW4)
         =>
         (s__diplomaticRepresentativeInRole(V__ROW1,V__ROW2,V__ROW3,V__ROW4)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Woman) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__niece(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__subclass(V__ROW2,s__Product))
       =>
       ((s__productModel(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__familyRelation(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__subclass(V__ROW1,s__HotelUnit) &
         s__subclass(V__ROW2,s__Physical))
       =>
       ((s__paidRoomAmenity(V__ROW1,V__ROW2)
         =>
         (s__roomAmenity(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__subclass(V__ROW1,s__Object) &
         s__subclass(V__ROW2,s__Object))
       =>
       ((s__partTypes(V__ROW1,V__ROW2)
         =>
         (s__typicalPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__half(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__TimeInterval) &
         s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__Interest))
       =>
       ((s__simpleInterest(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__interestEarned(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__mothersBrothersWife(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__instrument(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Demonstrating) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__attends(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__mothersSistersDaughter(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__subclass(V__ROW2,s__IntentionalProcess))
       =>
       ((s__enjoys(V__ROW1,V__ROW2)
         =>
         (s__inScopeOfInterest(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PoliticalParty) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__politicalPartyOfCountry(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__ComputerOutputDevice))
       =>
       ((s__standardErrorDevice(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__eventLocated(V__ROW1,V__ROW2)
         =>
         (s__eventPartlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Loan) &
         s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Agreement) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__lender(V__ROW1,V__ROW2)
         =>
         (s__partyToAgreement(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__spouse(V__ROW1,V__ROW2)
         =>
         (s__acquaintance(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__AchievingControl) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__controlled(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__HotelReservation) &
         s__instance(V__ROW2,s__Integer))
       =>
       ((s__numberChildOccupant(V__ROW1,V__ROW2)
         =>
         (s__numberOccupant(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Collateral) &
         s__instance(V__ROW2,s__CurrencyMeasure))
       =>
       ((s__appraisedValue(V__ROW1,V__ROW2)
         =>
         (s__monetaryValue(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CorpuscularObject) &
         s__subclass(V__ROW2,s__Artifact) &
         s__instance(V__ROW2,s__CorpuscularObject))
       =>
       ((s__powerComponent(V__ROW1,V__ROW2)
         =>
         (s__component(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__LegalAction) =>
       ((s__prosecutor(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Physical))
       =>
       ((s__lacks(V__ROW1,V__ROW2)
         =>
         (s__needs(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__humanName(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__FinancialTransaction) &
         s__instance(V__ROW2,s__Agent) &
         s__instance(V__ROW2,s__WebSite))
       =>
       ((s__eCommerceSite(V__ROW1,V__ROW2)
         =>
         (s__broker(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ContentBearingObject) &
         s__instance(V__ROW2,s__Physical))
       =>
       ((s__record(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__BankCard))
       =>
       ((s__pin(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Formula))
       =>
       ((s__believes(V__ROW1,V__ROW2)
         =>
         (s__inScopeOfInterest(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Formula))
       =>
       ((s__disapproves(V__ROW1,V__ROW2)
         =>
         (s__inScopeOfInterest(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__RadiationMeasure))
       =>
       ((s__absorbedDose(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__familyName(V__ROW1,V__ROW2)
         =>
         (s__agentName(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__familyName(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__localLongName(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PoliticalParty) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__politicalPartyOfCountry(V__ROW1,V__ROW2)
         =>
         (s__agentOperatesInArea(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__approves(V__ROW1,V__ROW2)
         =>
         (s__inScopeOfInterest(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__DeviceStateAttribute))
       =>
       ((s__deviceState(V__ROW1,V__ROW2)
         =>
         (s__attribute(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__shortBalanceAmount(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__currentAccountBalance(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__UnitOfCurrency))
       =>
       ((s__currencyCode(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__LegalAction) &
         s__instance(V__ROW2,s__Physical))
       =>
       ((s__evidence(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__SymbolicString) &
         s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__SymbolicString))
       =>
       ((s__stringConcatenation(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__precedesInString(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ContentBearingObject) &
         s__instance(V__ROW2,s__Physical))
       =>
       ((s__record(V__ROW1,V__ROW2)
         =>
         (s__represents(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Woman))
       =>
       ((s__stepmother(V__ROW1,V__ROW2)
         =>
         (s__legalRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__subsumedExternalConcept(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__relatedExternalConcept(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__givenName(V__ROW1,V__ROW2)
         =>
         (s__humanName(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__FinancialRating))
       =>
       ((s__creditRanking(V__ROW1,V__ROW2)
         =>
         (s__attribute(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Experimenting) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__experimentalControl(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ComputerProcess) &
         s__instance(V__ROW2,s__Computer))
       =>
       ((s__computerRunning(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Abstract) &
         s__instance(V__ROW2,s__Physical))
       =>
       ((s__abstractCounterpart(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__fathersBrothersWife(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Physical) &
         s__instance(V__ROW2,s__PhysicalQuantity))
       =>
       ((s__length(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__subclass(V__ROW2,s__Product))
       =>
       ((s__productModel(V__ROW1,V__ROW2)
         =>
         (s__represents(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PostalPlace) &
         s__instance(V__ROW2,s__City))
       =>
       ((s__postCity(V__ROW1,V__ROW2)
         =>
         (s__located(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__PositionalAttribute))
       =>
       ((s__direction(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__fullNameIndexOrder(V__ROW1,V__ROW2)
         =>
         (s__nameIndexOrder(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__alias(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Telephone))
       =>
       ((s__phoneNumber(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Man) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__uncle(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GUIElement) &
         s__instance(V__ROW2,s__GUElementState))
       =>
       ((s__hasGUEState(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Man))
       =>
       ((s__grandfather(V__ROW1,V__ROW2)
         =>
         (s__grandparent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__cousin(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__Process) =>
       ((s__result(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CriminalAction) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__perpetrator(V__ROW1,V__ROW2)
         =>
         (s__agent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__names(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__TelecomNumber))
       =>
       ((s__telecomCoreNumber(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__RadiatingSound) &
         s__instance(V__ROW2,s__ConstantQuantity))
       =>
       ((s__loudness(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__Process) =>
       ((s__patient(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SelfConnectedObject) &
         s__instance(V__ROW2,s__SelfConnectedObject))
       =>
       ((s__side(V__ROW1,V__ROW2)
         =>
         (s__superficialPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__EngineeringComponent) &
         s__instance(V__ROW2,s__EngineeringComponent))
       =>
       ((s__connectedEngineeringComponents(V__ROW1,V__ROW2)
         =>
         (s__connected(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__WaterVehicle) &
         s__instance(V__ROW2,s__PhysicalQuantity))
       =>
       ((s__vesselGrossRegisteredTonnage(V__ROW1,V__ROW2)
         =>
         (s__vesselDisplacement(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Transitway) &
         s__instance(V__ROW2,s__Object) &
         s__instance(V__ROW2,s__TransitSystem))
       =>
       ((s__routeInSystem(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__LinguisticExpression) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__titleInLanguage(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__representsInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PlacingUnderArrest) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__arrested(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__FinancialTransaction) &
         s__instance(V__ROW2,s__WebSite))
       =>
       ((s__eCommerceSite(V__ROW1,V__ROW2)
         =>
         (s__instrument(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Woman))
       =>
       ((s__grandmother(V__ROW1,V__ROW2)
         =>
         (s__grandparent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Computer))
       =>
       ((s__hardwareType(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Physical) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__maritimeHazard(V__ROW1,V__ROW2)
         =>
         (s__hazardous(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Agreement) &
         s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Agreement) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__optionSeller(V__ROW1,V__ROW2)
         =>
         (s__partyToAgreement(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__FinancialRating))
       =>
       ((s__creditRanking(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ServiceProcess) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__serviceRecipient(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__geopoliticalSubdivision(V__ROW1,V__ROW2)
         =>
         (s__properPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ContentBearingObject) &
         s__instance(V__ROW2,s__BankCard))
       =>
       ((s__cardCode(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Game) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__plays(V__ROW1,V__ROW2)
         =>
         (s__patient(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__friend(V__ROW1,V__ROW2)
         =>
         (s__mutualAcquaintance(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__mothersBrothersWife(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__fathersSistersHusband(V__ROW1,V__ROW2)
         =>
         (s__familyRelation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organization) &
         s__instance(V__ROW2,s__Organization))
       =>
       ((s__chamberOfLegislature(V__ROW1,V__ROW2)
         =>
         (s__subOrganization(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SelfConnectedObject) &
         s__instance(V__ROW2,s__LengthMeasure))
       =>
       ((s__height(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__RealtimeSystem) &
         s__instance(V__ROW2,s__SystemBehaviorAttribute))
       =>
       ((s__systemBehavior(V__ROW1,V__ROW2)
         =>
         (s__property(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW1,s__SymbolicString))
       =>
       ((s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__titleInLanguage(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__UserAccount) &
         s__instance(V__ROW2,s__TelecomNumber) &
         s__instance(V__ROW2,s__Proposition))
       =>
       ((s__accountPhoneNumber(V__ROW1,V__ROW2)
         =>
         (s__accountInformation(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__PostalPlace) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       ((s__workAddress(V__ROW1,V__ROW2)
         =>
         (s__siteForContact(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Formula))
       =>
       ((s__knows(V__ROW1,V__ROW2)
         =>
         (s__inScopeOfInterest(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__TelephonyDevice) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__telecomContactDevice(V__ROW1,V__ROW2)
         =>
         (s__siteForContact(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__emailAddress(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   ((s__instance(V__ROW1,s__SymbolicString) =>
       ((s__formerName(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__completelyFills(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Process) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__resource(V__ROW1,V__ROW2)
         =>
         (s__involvedInEvent(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW1,s__UserAccount) &
         s__instance(V__ROW2,s__UserName))
       =>
       ((s__userName(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW3,V__ROW1,V__ROW2] :
   (((s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__marketValueAmount(V__ROW1,V__ROW2,V__ROW3)
         =>
         (s__currentAccountBalance(V__ROW1,V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__ChemicalProcess) &
         s__instance(V__ROW2,s__Substance))
       =>
       ((s__reactant(V__ROW1,V__ROW2)
         =>
         (s__resource(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Character) &
         s__instance(V__ROW2,s__SymbolicString))
       =>
       ((s__inString(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Formula))
       =>
       ((s__hopes(V__ROW1,V__ROW2)
         =>
         (s__expects(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__WaterArea) &
         s__instance(V__ROW2,s__River))
       =>
       ((s__streamOutfall(V__ROW1,V__ROW2)
         =>
         (s__properPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea))
       =>
       ((s__primaryGeopoliticalSubdivision(V__ROW1,V__ROW2)
         =>
         (s__partlyLocated(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__TwoDimensionalAngle) &
         s__instance(V__ROW2,s__GeometricFigure))
       =>
       ((s__angleOfFigure(V__ROW1,V__ROW2)
         =>
         (s__geometricPart(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__enemy(V__ROW1,V__ROW2)
         =>
         (s__inScopeOfInterest(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__subclass(V__ROW1,s__HotelUnit) &
         s__subclass(V__ROW2,s__Physical))
       =>
       ((s__freeRoomAmenity(V__ROW1,V__ROW2)
         =>
         (s__roomAmenity(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Human) &
         s__instance(V__ROW2,s__EducationalOrganization))
       =>
       ((s__teacher(V__ROW1,V__ROW2)
         =>
         (s__member(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Physical))
       =>
       ((s__wants(V__ROW1,V__ROW2)
         =>
         (s__inScopeOfInterest(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__mothersSistersSon(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__UnitOfCurrency))
       =>
       ((s__currencyCode(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Agent))
       =>
       ((s__agentName(V__ROW1,V__ROW2)
         =>
         (s__refers(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Railway) &
         s__instance(V__ROW2,s__LengthMeasure))
       =>
       ((s__trackWidth(V__ROW1,V__ROW2)
         =>
         (s__measure(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__fathersBrothersDaughter(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__FinancialAccount) &
         s__instance(V__ROW2,s__TimePoint) &
         s__instance(V__ROW2,s__Day))
       =>
       ((s__maturityDate(V__ROW1,V__ROW2)
         =>
         (s__agreementExpirationDate(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organization) &
         s__instance(V__ROW2,s__Organization))
       =>
       ((s__subOrganization(V__ROW1,V__ROW2)
         =>
         (s__part(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Object) &
         s__instance(V__ROW2,s__Object))
       =>
       ((s__tributary(V__ROW1,V__ROW2)
         =>
         (s__connected(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__Organism) &
         s__instance(V__ROW2,s__Organism))
       =>
       ((s__mothersBrothersDaughter(V__ROW1,V__ROW2)
         =>
         (s__relative(V__ROW1,V__ROW2)))))
)
)

( ! [V__ROW1,V__ROW2] :
   (((s__instance(V__ROW1,s__SymbolicString) &
         s__instance(V__ROW2,s__Human))
       =>
       ((s__middleName(V__ROW1,V__ROW2)
         =>
         (s__names(V__ROW1,V__ROW2)))))
)
)