! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__ComputerPath) &
       s__instance(V__ROW2,s__TimeDuration))
     =>
     ((s__subrelation(s__abbreviation,s__batchInterArrival) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__batchInterArrival,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__batchInterArrival(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__subclass(V__ROW1,s__Holiday) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__subclass(V__ROW2,s__TimeInterval))
     =>
     ((s__subrelation(s__abbreviation,s__commemoratesDate) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__commemoratesDate,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__commemoratesDate(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW1,s__TwoDimensionalAngle) &
       s__instance(V__ROW2,s__AngleMeasure))
     =>
     ((s__subrelation(s__abbreviation,s__angularMeasure) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__angularMeasure,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__angularMeasure(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Experimenting) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Human))
     =>
     ((s__subrelation(s__abbreviation,s__experimentalSubject) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__experimentalSubject,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__experimentalSubject(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__DiseaseOrSyndrome) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__subclass(V__ROW2,s__BiologicallyActiveSubstance) &
       s__instance(V__ROW3,s__Language) &
       s__subclass(V__ROW3,s__Process))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__diseaseMedicine) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__diseaseMedicine,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__diseaseMedicine(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CurrencyMeasure) &
       s__instance(V__ROW3,s__CognitiveAgent) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__productPrice) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__productPrice,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__productPrice(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__RealtimeSystem) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__TimingRequirementAttribute))
     =>
     ((s__subrelation(s__abbreviation,s__complexity) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__complexity,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__complexity(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__GeographicArea) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__TimeInterval) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__TemperatureMeasure))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__highestTemperatureForPeriod) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__highestTemperatureForPeriod,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__highestTemperatureForPeriod(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__Human) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CurrencyMeasure) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__OrganizationalProcess))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__taxDeferredIncome) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__taxDeferredIncome,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__taxDeferredIncome(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__GeopoliticalArea) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CurrencyMeasure) &
       s__instance(V__ROW3,s__Language) &
       s__subclass(V__ROW3,s__TimeInterval))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__economicAidReceivedNetInPeriod) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__economicAidReceivedNetInPeriod,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__economicAidReceivedNetInPeriod(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__AutonomousAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__SocialRole) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__SocialRole))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__roleNominatesRole) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__roleNominatesRole,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__roleNominatesRole(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__GeometricPoint) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__GeometricPoint) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__LengthMeasure))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__geometricDistance) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__geometricDistance,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__geometricDistance(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__GeopoliticalArea) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CurrencyMeasure))
     =>
     ((s__subrelation(s__abbreviation,s__annualImportTotal) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__annualImportTotal,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__annualImportTotal(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Identifier) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__WebListingCategory))
     =>
     ((s__subrelation(s__abbreviation,s__categoryID) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__categoryID,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__categoryID(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__ContentBearingObject) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CodingScheme))
     =>
     ((s__subrelation(s__abbreviation,s__coding) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__coding,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__coding(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Object) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Object))
     =>
     ((s__subrelation(s__abbreviation,s__connectedDownstream) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__connectedDownstream,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__connectedDownstream(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__GeopoliticalArea) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CurrencyMeasure))
     =>
     ((s__subrelation(s__abbreviation,s__annualRevenuesOfArea) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__annualRevenuesOfArea,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__annualRevenuesOfArea(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CognitiveAgent) &
       s__instance(V__ROW3,s__Contest) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__contestEntry) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__contestEntry,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__contestEntry(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Bond) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Interest))
     =>
     ((s__subrelation(s__abbreviation,s__accruedInterest) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__accruedInterest,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__accruedInterest(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__BinaryRelation) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Class))
     =>
     ((s__subrelation(s__abbreviation,s__equivalenceRelationOn) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__equivalenceRelationOn,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__equivalenceRelationOn(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Election) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Organization))
     =>
     ((s__subrelation(s__abbreviation,s__electionForOrganization) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__electionForOrganization,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__electionForOrganization(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__Class) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Class) &
       s__instance(V__ROW3,s__Class) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__disjointDecomposition) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__disjointDecomposition,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__disjointDecomposition(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__Human) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Human) &
       s__instance(V__ROW3,s__Day) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__weddingdate) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__weddingdate,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__weddingdate(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__Object) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Object) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__Object))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__between) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__between,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__between(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW3,V__ROW2] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__titleInLanguage) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__titleInLanguage,s__Predicate) &
         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__CognitiveAgent) &
       s__instance(V__ROW1,s__SymbolicString))
     =>
     ((s__subrelation(s__abbreviation,s__enjoys) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__enjoys,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__enjoys(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__ConstantQuantity) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Transitway))
     =>
     ((s__subrelation(s__abbreviation,s__distanceOnPath) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__distanceOnPath,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__distanceOnPath(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CognitiveAgent) &
       s__instance(V__ROW3,s__Formula) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__confersObligation) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__confersObligation,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__confersObligation(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__RealtimeSystem) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__DesignPatternAttribute))
     =>
     ((s__subrelation(s__abbreviation,s__designPattern) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__designPattern,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__designPattern(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Confining) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Animal))
     =>
     ((s__subrelation(s__abbreviation,s__detainee) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__detainee,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__detainee(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__subclass(V__ROW1,s__PureSubstance) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__TemperatureMeasure))
     =>
     ((s__subrelation(s__abbreviation,s__boilingPoint) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__boilingPoint,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__boilingPoint(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Human) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Human))
     =>
     ((s__subrelation(s__abbreviation,s__coaches) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__coaches,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__coaches(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Aircraft) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__AltitudeMeasure))
     =>
     ((s__subrelation(s__abbreviation,s__absoluteHeight) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__absoluteHeight,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__absoluteHeight(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Object) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__TemperatureMeasure))
     =>
     ((s__subrelation(s__abbreviation,s__airTemperature) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__airTemperature,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__airTemperature(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__Human) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__AutonomousAgent) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__LegalAction))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__counselInCase) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__counselInCase,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__counselInCase(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Image) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__ComputerDisplay))
     =>
     ((s__subrelation(s__abbreviation,s__displayedUpon) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__displayedUpon,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__displayedUpon(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__AutonomousAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Collection) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__WebSite))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__watchingListings) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__watchingListings,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__watchingListings(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__SelfConnectedObject) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__ConstantQuantity))
     =>
     ((s__subrelation(s__abbreviation,s__capacity) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__capacity,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__capacity(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__ComputerProcess) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__UserAccount))
     =>
     ((s__subrelation(s__abbreviation,s__accountUsed) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__accountUsed,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__accountUsed(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW1,s__TimeInterval) &
       s__instance(V__ROW2,s__WebSite) &
       s__instance(V__ROW3,s__Collection) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__firstTimeBuyers) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__firstTimeBuyers,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__firstTimeBuyers(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Object) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__HoleRegion))
     =>
     ((s__subrelation(s__abbreviation,s__completelyFills) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__completelyFills,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__completelyFills(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__Appointing) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__AutonomousAgent) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__Position))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__appointedPosition) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__appointedPosition,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__appointedPosition(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__ContentBearingObject) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__BankCard))
     =>
     ((s__subrelation(s__abbreviation,s__cardCode) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__cardCode,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__cardCode(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Human) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__subclass(V__ROW2,s__Day))
     =>
     ((s__subrelation(s__abbreviation,s__birthday) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__birthday,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__birthday(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Loan) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CognitiveAgent))
     =>
     ((s__subrelation(s__abbreviation,s__borrower) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__borrower,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__borrower(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW1,s__UnitOfCurrency) &
       s__instance(V__ROW2,s__CurrencyMeasure) &
       s__instance(V__ROW3,s__Language) &
       s__subclass(V__ROW3,s__TimeInterval))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__currencyExchangeRateInPeriod) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__currencyExchangeRateInPeriod,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__currencyExchangeRateInPeriod(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__AmbienceAttribute) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__AutonomousAgent))
     =>
     ((s__subrelation(s__abbreviation,s__dressCode) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__dressCode,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__dressCode(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__FinancialTransaction) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__AutonomousAgent))
     =>
     ((s__subrelation(s__abbreviation,s__broker) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__broker,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__broker(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__FinancialAccount) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Interest) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__TimeInterval))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__interestEarned) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__interestEarned,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__interestEarned(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW1,s__Transportation) &
       s__instance(V__ROW2,s__TransportationDevice))
     =>
     ((s__subrelation(s__abbreviation,s__conveyance) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__conveyance,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__conveyance(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Process) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__AutonomousAgent))
     =>
     ((s__subrelation(s__abbreviation,s__experiencer) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__experiencer,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__experiencer(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Human) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Human))
     =>
     ((s__subrelation(s__abbreviation,s__cohabitant) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__cohabitant,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__cohabitant(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__subclass(V__ROW1,s__Object) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__LengthMeasure))
     =>
     ((s__subrelation(s__abbreviation,s__defaultMinimumHeight) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__defaultMinimumHeight,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__defaultMinimumHeight(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Artifact) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__subclass(V__ROW2,s__Device))
     =>
     ((s__subrelation(s__abbreviation,s__equipmentType) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__equipmentType,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__equipmentType(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__Human) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Business) &
       s__instance(V__ROW3,s__CurrencyMeasure) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__customerValue) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__customerValue,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__customerValue(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__ContentBearingObject) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__DataStorageDevice))
     =>
     ((s__subrelation(s__abbreviation,s__dataStored) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__dataStored,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__dataStored(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__subclass(V__ROW1,s__Object) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Quantity))
     =>
     ((s__subrelation(s__abbreviation,s__defaultMaximumMeasure) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__defaultMaximumMeasure,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__defaultMaximumMeasure(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Human) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__subclass(V__ROW2,s__Substance))
     =>
     ((s__subrelation(s__abbreviation,s__allergic) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__allergic,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__allergic(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__ComputerPath) &
       s__instance(V__ROW2,s__TimeDuration))
     =>
     ((s__subrelation(s__abbreviation,s__batchLatency) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__batchLatency,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__batchLatency(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__ContentBearingPhysical))
     =>
     ((s__subrelation(s__abbreviation,s__equivalentContentInstance) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__equivalentContentInstance,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__equivalentContentInstance(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__subclass(V__ROW1,s__Attribute) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Attribute) &
       s__instance(V__ROW3,s__Attribute) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__exhaustiveAttribute) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__exhaustiveAttribute,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__exhaustiveAttribute(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__AutonomousAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__AutonomousAgent) &
       s__instance(V__ROW3,s__AutonomousAgent) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__representativeAgentToAgent) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__representativeAgentToAgent,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__representativeAgentToAgent(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Animal) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Object))
     =>
     ((s__subrelation(s__abbreviation,s__burialplace) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__burialplace,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__burialplace(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__ObjectiveNorm) &
       s__instance(V__ROW3,s__Formula) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__deprivesNorm) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__deprivesNorm,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__deprivesNorm(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__AutonomousAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__SocialRole) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__SocialRole))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__roleApprovesRole) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__roleApprovesRole,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__roleApprovesRole(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__Object) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CurrencyMeasure) &
       s__instance(V__ROW3,s__AutonomousAgent) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__askPrice) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__askPrice,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__askPrice(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__AutonomousAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__GeographicArea))
     =>
     ((s__subrelation(s__abbreviation,s__agentOperatesInArea) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__agentOperatesInArea,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__agentOperatesInArea(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__CognitiveAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Formula))
     =>
     ((s__subrelation(s__abbreviation,s__considers) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__considers,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__considers(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__Human) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CurrencyMeasure) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__OrganizationalProcess))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__beforeTaxIncome) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__beforeTaxIncome,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__beforeTaxIncome(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Man) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Human))
     =>
     ((s__subrelation(s__abbreviation,s__brother) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__brother,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__brother(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__FinancialAccount) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Day) &
       s__instance(V__ROW3,s__CurrencyMeasure) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__buyingPowerAmount) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__buyingPowerAmount,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__buyingPowerAmount(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__GeopoliticalArea) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__GeopoliticalArea))
     =>
     ((s__subrelation(s__abbreviation,s__diplomaticRelations) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__diplomaticRelations,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__diplomaticRelations(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__Collection) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Collection) &
       s__instance(V__ROW3,s__Experimenting) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__statisticalPopulation) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__statisticalPopulation,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__statisticalPopulation(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__AutonomousAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__subclass(V__ROW2,s__Process) &
       s__instance(V__ROW3,s__GeographicArea) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__areaOfResponsibility) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__areaOfResponsibility,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__areaOfResponsibility(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__GeopoliticalArea) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CurrencyMeasure) &
       s__instance(V__ROW3,s__Language) &
       s__subclass(V__ROW3,s__TimeInterval))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__exportTotalInPeriod) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__exportTotalInPeriod,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__exportTotalInPeriod(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__CognitiveAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Object))
     =>
     ((s__subrelation(s__abbreviation,s__dislikes) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__dislikes,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__dislikes(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__InternalCombustionEngine) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__FunctionQuantity))
     =>
     ((s__subrelation(s__abbreviation,s__engineIdleSpeed) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__engineIdleSpeed,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__engineIdleSpeed(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW1,s__UnitOfCurrency) &
       s__instance(V__ROW2,s__CurrencyMeasure))
     =>
     ((s__subrelation(s__abbreviation,s__currencyExchangeRate) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__currencyExchangeRate,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__currencyExchangeRate(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__subclass(V__ROW1,s__MediaAppliance) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__PowerMeasure))
     =>
     ((s__subrelation(s__abbreviation,s__audioRecordingPowerConsumption) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__audioRecordingPowerConsumption,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__audioRecordingPowerConsumption(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__Organization) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Position) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__Position))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__subordinatePosition) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__subordinatePosition,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__subordinatePosition(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__AutonomousAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__subclass(V__ROW2,s__Organization) &
       s__instance(V__ROW3,s__AutonomousAgent) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__diplomaticOrganizationType) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__diplomaticOrganizationType,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__diplomaticOrganizationType(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__subclass(V__ROW1,s__BiochemicalAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__FunctionQuantity))
     =>
     ((s__subrelation(s__abbreviation,s__effectiveDose) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__effectiveDose,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__effectiveDose(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__Stock) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CurrencyMeasure) &
       s__instance(V__ROW3,s__Day) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__closingPrice) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__closingPrice,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__closingPrice(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__GeopoliticalArea) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CurrencyMeasure) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__TimeInterval))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__perCapitaGDPInPeriod) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__perCapitaGDPInPeriod,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__perCapitaGDPInPeriod(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW3,V__ROW2] :
(((s__instance(V__ROW1,s__HumanLanguage) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__SymbolicString))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__utterance) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__utterance,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__utterance(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__AutonomousAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Artifact))
     =>
     ((s__subrelation(s__abbreviation,s__engineers) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__engineers,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__engineers(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__StationaryArtifact) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__AutonomousAgent))
     =>
     ((s__subrelation(s__abbreviation,s__contractor) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__contractor,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__contractor(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__CognitiveAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__TimePoint))
     =>
     ((s__subrelation(s__abbreviation,s__checkOutTime) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__checkOutTime,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__checkOutTime(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__subclass(V__ROW1,s__BiochemicalAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__subclass(V__ROW2,s__BiologicallyActiveSubstance) &
       s__instance(V__ROW3,s__Language) &
       s__subclass(V__ROW3,s__Process))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__biochemicalAgentAntidote) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__biochemicalAgentAntidote,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__biochemicalAgentAntidote(V__ROW1,V__ROW2,V__ROW3)))
)

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

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Check) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__FinancialAccount))
     =>
     ((s__subrelation(s__abbreviation,s__checkAccount) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__checkAccount,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__checkAccount(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__AutonomousAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__AutonomousAgent))
     =>
     ((s__subrelation(s__abbreviation,s__allied) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__allied,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__allied(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__GeopoliticalArea) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__PhysicalQuantity))
     =>
     ((s__subrelation(s__abbreviation,s__annualElectricityProduction) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__annualElectricityProduction,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__annualElectricityProduction(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__subclass(V__ROW1,s__Muscle) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__subclass(V__ROW2,s__Muscle))
     =>
     ((s__subrelation(s__abbreviation,s__antagonistMuscles) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__antagonistMuscles,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__antagonistMuscles(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__GeometricPoint) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__GeometricPoint) &
       s__instance(V__ROW3,s__ClosedLineSegment) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__endPointsOfLine) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__endPointsOfLine,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__endPointsOfLine(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Proposition) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__subclass(V__ROW2,s__TimePosition))
     =>
     ((s__subrelation(s__abbreviation,s__activePolicy) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__activePolicy,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__activePolicy(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Process) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Object))
     =>
     ((s__subrelation(s__abbreviation,s__eventLocated) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__eventLocated,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__eventLocated(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW1,s__TimeInterval) &
       s__instance(V__ROW2,s__WebSite) &
       s__instance(V__ROW3,s__Collection) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__firstTimeSellers) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__firstTimeSellers,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__firstTimeSellers(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__EngineeringComponent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__EngineeringComponent))
     =>
     ((s__subrelation(s__abbreviation,s__engineeringSubcomponent) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__engineeringSubcomponent,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__engineeringSubcomponent(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Process) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Process))
     =>
     ((s__subrelation(s__abbreviation,s__causes) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__causes,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__causes(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__TelecomNumber) &
       s__instance(V__ROW2,s__TelephonyDevice))
     =>
     ((s__subrelation(s__abbreviation,s__deviceTelecomNumber) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__deviceTelecomNumber,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__deviceTelecomNumber(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__Object) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__MeasurementAttribute) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__Quantity))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__allowableValue) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__allowableValue,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__allowableValue(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__FinancialAccount) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Day) &
       s__instance(V__ROW3,s__CurrencyMeasure) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__availableBalance) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__availableBalance,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__availableBalance(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__subclass(V__ROW1,s__Object) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__GeographicArea) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__TimePoint))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__releaseForSale) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__releaseForSale,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__releaseForSale(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__GeopoliticalArea) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__PhysicalQuantity) &
       s__instance(V__ROW3,s__Language) &
       s__subclass(V__ROW3,s__TimeInterval))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__electricityExportInPeriod) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__electricityExportInPeriod,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__electricityExportInPeriod(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__Human) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Position) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__Organization))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__occupiesPosition) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__occupiesPosition,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__occupiesPosition(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Physical) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__LengthMeasure))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__altitude) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__altitude,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__altitude(V__ROW1,V__ROW2,V__ROW3)))
)

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

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW1,s__UserAccount) &
       s__instance(V__ROW2,s__Proposition))
     =>
     ((s__subrelation(s__abbreviation,s__accountInformation) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__accountInformation,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__accountInformation(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Human) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Nation))
     =>
     ((s__subrelation(s__abbreviation,s__citizen) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__citizen,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__citizen(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__Human) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CurrencyMeasure) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__TimePosition))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__compensationPackage) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__compensationPackage,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__compensationPackage(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Human) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Human))
     =>
     ((s__subrelation(s__abbreviation,s__cousin) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__cousin,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__cousin(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__AutonomousAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CognitiveAgent))
     =>
     ((s__subrelation(s__abbreviation,s__employs) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__employs,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__employs(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__AutonomousAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Process))
     =>
     ((s__subrelation(s__abbreviation,s__commentator) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__commentator,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__commentator(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__FinancialAccount) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CurrencyMeasure) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__TimeInterval))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__creditsPerPeriod) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__creditsPerPeriod,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__creditsPerPeriod(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__ComputerProcess) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Computer))
     =>
     ((s__subrelation(s__abbreviation,s__computerRunning) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__computerRunning,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__computerRunning(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Album) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__RelationalAttribute))
     =>
     ((s__subrelation(s__abbreviation,s__albumType) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__albumType,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__albumType(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__FinancialAccount) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CurrencyMeasure) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__TimePosition))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__amountDue) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__amountDue,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__amountDue(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__ComputerResponse) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__UserRequest))
     =>
     ((s__subrelation(s__abbreviation,s__computerResponseTo) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__computerResponseTo,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__computerResponseTo(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__PointInSpace) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__PointInSpace) &
       s__instance(V__ROW3,s__FiniteLineInSpace) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__endPointsOfLineInSpace) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__endPointsOfLineInSpace,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__endPointsOfLineInSpace(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__Class) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Class) &
       s__instance(V__ROW3,s__Class) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__partition) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__partition,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__partition(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__subclass(V__ROW1,s__ContentBearingPhysical) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__subclass(V__ROW2,s__ContentBearingPhysical))
     =>
     ((s__subrelation(s__abbreviation,s__equivalentContentClass) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__equivalentContentClass,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__equivalentContentClass(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Agreement) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__subclass(V__ROW2,s__Day))
     =>
     ((s__subrelation(s__abbreviation,s__agreementEffectiveDate) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__agreementEffectiveDate,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__agreementEffectiveDate(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Organization) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Organization))
     =>
     ((s__subrelation(s__abbreviation,s__chamberOfLegislature) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__chamberOfLegislature,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__chamberOfLegislature(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Object) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__ColorAttribute))
     =>
     ((s__subrelation(s__abbreviation,s__color) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__color,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__color(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__subclass(V__ROW1,s__Process) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__SocialRole) &
       s__instance(V__ROW3,s__AutonomousAgent) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__hasSkillInRole) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__hasSkillInRole,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__hasSkillInRole(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__FinancialOrganization) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__FinancialTransaction) &
       s__instance(V__ROW3,s__CurrencyMeasure) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__serviceFee) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__serviceFee,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__serviceFee(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__Attribute) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Attribute) &
       s__instance(V__ROW3,s__Attribute) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__contraryAttribute) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__contraryAttribute,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__contraryAttribute(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__Human) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__ConstantQuantity) &
       s__instance(V__ROW3,s__ConstantQuantity) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__hearingAcuity) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__hearingAcuity,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__hearingAcuity(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__CorpuscularObject) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CorpuscularObject))
     =>
     ((s__subrelation(s__abbreviation,s__component) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__component,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__component(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Argument) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Formula))
     =>
     ((s__subrelation(s__abbreviation,s__conclusion) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__conclusion,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__conclusion(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__subclass(V__ROW2,s__TimePosition))
     =>
     ((s__subrelation(s__abbreviation,s__dateDissolved) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__dateDissolved,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__dateDissolved(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Object) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Object))
     =>
     ((s__subrelation(s__abbreviation,s__crosses) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__crosses,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__crosses(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__RoomInventory) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Policy))
     =>
     ((s__subrelation(s__abbreviation,s__allRoomsPolicy) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__allRoomsPolicy,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__allRoomsPolicy(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__CodeMap) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__SymbolicString) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__codeMapping) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__codeMapping,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__codeMapping(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Day))
     =>
     ((s__subrelation(s__abbreviation,s__date) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__date,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__date(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__subclass(V__ROW1,s__Object) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Quantity))
     =>
     ((s__subrelation(s__abbreviation,s__defaultMeasure) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__defaultMeasure,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__defaultMeasure(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__ComputerProcess) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__DigitalData))
     =>
     ((s__subrelation(s__abbreviation,s__dataProcessed) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__dataProcessed,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__dataProcessed(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Human) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Day))
     =>
     ((s__subrelation(s__abbreviation,s__deathdate) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__deathdate,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__deathdate(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__ComputationalSystem) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__MonitoringProgram) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__Quantity))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__benchmarkPerformance) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__benchmarkPerformance,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__benchmarkPerformance(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Animal) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Object))
     =>
     ((s__subrelation(s__abbreviation,s__birthplace) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__birthplace,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__birthplace(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Device) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__TimeInterval))
     =>
     ((s__subrelation(s__abbreviation,s__deviceUpTime) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__deviceUpTime,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__deviceUpTime(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__EmotionalState) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__subclass(V__ROW2,s__EmotionalBehavioralProcess))
     =>
     ((s__subrelation(s__abbreviation,s__actionTendency) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__actionTendency,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__actionTendency(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Album) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__TimeDuration))
     =>
     ((s__subrelation(s__abbreviation,s__albumLength) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__albumLength,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__albumLength(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__FinancialAccount) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CurrencyMeasure) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__TimeInterval))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__purchasesPerPeriod) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__purchasesPerPeriod,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__purchasesPerPeriod(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW1,s__Woman) &
       s__instance(V__ROW2,s__Human))
     =>
     ((s__subrelation(s__abbreviation,s__aunt) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__aunt,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__aunt(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__CompoundSubstance) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CompoundSubstance))
     =>
     ((s__subrelation(s__abbreviation,s__conjugate) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__conjugate,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__conjugate(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Contest) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CognitiveAgent))
     =>
     ((s__subrelation(s__abbreviation,s__contestOrganizer) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__contestOrganizer,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__contestOrganizer(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Attribute) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Attribute))
     =>
     ((s__subrelation(s__abbreviation,s__contraryAttribute) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__contraryAttribute,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__contraryAttribute(V__ROW1,V__ROW2)))
)

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

! [V__ROW1,V__ROW3,V__ROW2] :
(((s__instance(V__ROW1,s__AutonomousAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__TimeInterval))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__offersAtTime) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__offersAtTime,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__offersAtTime(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Process) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__AutonomousAgent))
     =>
     ((s__subrelation(s__abbreviation,s__agent) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__agent,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__agent(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW1,s__TimeInterval) &
       s__instance(V__ROW2,s__TimeDuration))
     =>
     ((s__subrelation(s__abbreviation,s__duration) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__duration,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__duration(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Set))
     =>
     ((s__subrelation(s__abbreviation,s__element) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__element,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__element(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Formula) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Formula))
     =>
     ((s__subrelation(s__abbreviation,s__decreasesLikelihood) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__decreasesLikelihood,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__decreasesLikelihood(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__ContentBearingObject) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__AutonomousAgent))
     =>
     ((s__subrelation(s__abbreviation,s__deceptiveIdentifier) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__deceptiveIdentifier,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__deceptiveIdentifier(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Object) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__WebSite))
     =>
     ((s__subrelation(s__abbreviation,s__advertisedOn) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__advertisedOn,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__advertisedOn(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__subclass(V__ROW1,s__Attribute) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Attribute))
     =>
     ((s__subrelation(s__abbreviation,s__exhaustiveAttribute) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__exhaustiveAttribute,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__exhaustiveAttribute(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW1,s__WebListingCategory) &
       s__instance(V__ROW2,s__WebSite))
     =>
     ((s__subrelation(s__abbreviation,s__categoryOf) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__categoryOf,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__categoryOf(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__ComputerNetwork) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__FunctionQuantity))
     =>
     ((s__subrelation(s__abbreviation,s__bandwidth) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__bandwidth,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__bandwidth(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__subclass(V__ROW1,s__BiochemicalAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__subclass(V__ROW2,s__Process))
     =>
     ((s__subrelation(s__abbreviation,s__biochemicalAgentDelivery) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__biochemicalAgentDelivery,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__biochemicalAgentDelivery(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Object) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Object))
     =>
     ((s__subrelation(s__abbreviation,s__copy) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__copy,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__copy(V__ROW1,V__ROW2)))
)

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

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__GeopoliticalArea) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CurrencyMeasure) &
       s__instance(V__ROW3,s__Language) &
       s__subclass(V__ROW3,s__TimeInterval))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__externalDebtInPeriod) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__externalDebtInPeriod,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__externalDebtInPeriod(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Human) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__subclass(V__ROW2,s__AcademicDegree))
     =>
     ((s__subrelation(s__abbreviation,s__expectedDegree) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__expectedDegree,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__expectedDegree(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__GeopoliticalArea) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__SymbolicString) &
       s__instance(V__ROW3,s__GeopoliticalArea) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__chanceryAddressInArea) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__chanceryAddressInArea,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__chanceryAddressInArea(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CognitiveAgent) &
       s__instance(V__ROW3,s__Formula) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__confersRight) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__confersRight,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__confersRight(V__ROW1,V__ROW2,V__ROW3)))
)

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

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__Region) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Language) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__SymbolicString))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__canonicalPlaceName) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__canonicalPlaceName,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__canonicalPlaceName(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__FinancialAccount) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Day) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__Number))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__currentInterestRate) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__currentInterestRate,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__currentInterestRate(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW3,V__ROW2] :
(((s__instance(V__ROW1,s__HumanLanguage) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__SymbolicString))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__pastTense) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__pastTense,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__pastTense(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__CognitiveAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Formula) &
       s__instance(V__ROW3,s__Formula) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__prefers) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__prefers,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__prefers(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__HumanLanguage) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__SymbolicString))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__documentation) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__documentation,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__documentation(V__ROW1,V__ROW2,V__ROW3)))
)

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

! [V__ROW1,V__ROW2] :
(((s__subclass(V__ROW1,s__BiologicalAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__subclass(V__ROW2,s__Organism))
     =>
     ((s__subrelation(s__abbreviation,s__biologicalAgentCarrier) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__biologicalAgentCarrier,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__biologicalAgentCarrier(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__CarryBot) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Object))
     =>
     ((s__subrelation(s__abbreviation,s__canCarry) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__canCarry,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__canCarry(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__EmotionalState) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__AutonomousAgent) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__attitudeForObject) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__attitudeForObject,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__attitudeForObject(V__ROW1,V__ROW2,V__ROW3)))
)

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

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW1,s__TwoDimensionalAngle) &
       s__instance(V__ROW2,s__GeometricFigure))
     =>
     ((s__subrelation(s__abbreviation,s__angleOfFigure) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__angleOfFigure,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__angleOfFigure(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__AutonomousAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__AutonomousAgent))
     =>
     ((s__subrelation(s__abbreviation,s__enemy) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__enemy,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__enemy(V__ROW1,V__ROW2)))
)

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

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__City) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__GeopoliticalArea))
     =>
     ((s__subrelation(s__abbreviation,s__capitalCity) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__capitalCity,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__capitalCity(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__Election) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__SocialRole) &
       s__instance(V__ROW3,s__AutonomousAgent) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__candidateForPosition) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__candidateForPosition,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__candidateForPosition(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__AutonomousAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__subclass(V__ROW2,s__Text))
     =>
     ((s__subrelation(s__abbreviation,s__editor) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__editor,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__editor(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__ComputerHardware) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Computer))
     =>
     ((s__subrelation(s__abbreviation,s__connectedPeripheral) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__connectedPeripheral,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__connectedPeripheral(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__DiseaseOrSyndrome) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__TimeDuration) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__TimeDuration))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__diseaseIncubation) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__diseaseIncubation,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__diseaseIncubation(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__ComputationalSystem) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__TimeDuration))
     =>
     ((s__subrelation(s__abbreviation,s__collectRate) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__collectRate,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__collectRate(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__ComputerProgram) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__TimeDuration))
     =>
     ((s__subrelation(s__abbreviation,s__dependencyDelay) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__dependencyDelay,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__dependencyDelay(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__subclass(V__ROW1,s__Currency) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CurrencyMeasure))
     =>
     ((s__subrelation(s__abbreviation,s__currencyValue) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__currencyValue,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__currencyValue(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW1,s__agent) &
       s__instance(V__ROW2,s__destination))
     =>
     ((s__subrelation(s__abbreviation,s__automatedNotification) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__automatedNotification,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__automatedNotification(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__subclass(V__ROW1,s__TimeInterval) &
       s__instance(V__ROW2,s__AutonomousAgent))
     =>
     ((s__subrelation(s__abbreviation,s__businessHours) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__businessHours,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__businessHours(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Physical) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__PlaneAngleMeasure))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__courseWRTMagneticNorth) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__courseWRTMagneticNorth,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__courseWRTMagneticNorth(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__AutonomousAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Formula) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__WebSite))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__visitorParameter) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__visitorParameter,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__visitorParameter(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Object) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__EnergyMeasure))
     =>
     ((s__subrelation(s__abbreviation,s__energyConsumptionPerWashingCycle) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__energyConsumptionPerWashingCycle,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__energyConsumptionPerWashingCycle(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Abstract) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Abstract))
     =>
     ((s__subrelation(s__abbreviation,s__abstractPart) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__abstractPart,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__abstractPart(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__AutonomousAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Collection) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__WebSite))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__webcart) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__webcart,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__webcart(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__FinancialAccount) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Interest) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__TimeInterval))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__compoundInterest) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__compoundInterest,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__compoundInterest(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Abstract) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Physical))
     =>
     ((s__subrelation(s__abbreviation,s__abstractCounterpart) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__abstractCounterpart,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__abstractCounterpart(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__GeopoliticalArea) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__SymbolicString) &
       s__instance(V__ROW3,s__GeopoliticalArea) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__chanceryFAXNumberInArea) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__chanceryFAXNumberInArea,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__chanceryFAXNumberInArea(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__Region) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__TimeInterval) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__LengthMeasure))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__highTide) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__highTide,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__highTide(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__Object) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__PhysicalQuantity) &
       s__instance(V__ROW3,s__DirectionalAttribute) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__lowAltitudeWindVelocity) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__lowAltitudeWindVelocity,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__lowAltitudeWindVelocity(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__CircularArc) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__LengthMeasure))
     =>
     ((s__subrelation(s__abbreviation,s__arcLength) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__arcLength,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__arcLength(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__AutonomousAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__AutonomousAgent) &
       s__instance(V__ROW3,s__Language) &
       s__subclass(V__ROW3,s__TimeInterval))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__importPartnerInPeriod) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__importPartnerInPeriod,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__importPartnerInPeriod(V__ROW1,V__ROW2,V__ROW3)))
)

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

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__GeopoliticalArea) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CurrencyMeasure) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__TimeInterval))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__militaryExpendituresInUSDollarsInPeriod) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__militaryExpendituresInUSDollarsInPeriod,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__militaryExpendituresInUSDollarsInPeriod(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CrossFunctionalTeam))
     =>
     ((s__subrelation(s__abbreviation,s__crossFunctionalTeamFocus) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__crossFunctionalTeamFocus,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__crossFunctionalTeamFocus(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Recording) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Album))
     =>
     ((s__subrelation(s__abbreviation,s__albumTrack) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__albumTrack,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__albumTrack(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__FinancialAccount) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Day) &
       s__instance(V__ROW3,s__CurrencyMeasure) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__availableCash) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__availableCash,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__availableCash(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__GeopoliticalArea) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__subclass(V__ROW2,s__Object))
     =>
     ((s__subrelation(s__abbreviation,s__agriculturalProductType) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__agriculturalProductType,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__agriculturalProductType(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Process) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__PositionalAttribute))
     =>
     ((s__subrelation(s__abbreviation,s__direction) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__direction,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__direction(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__GeographicArea) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__TimeInterval) &
       s__instance(V__ROW3,s__FunctionQuantity) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__rainfallIntensity) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__rainfallIntensity,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__rainfallIntensity(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__subclass(V__ROW1,s__MilitaryUnit) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__MilitaryRank))
     =>
     ((s__subrelation(s__abbreviation,s__commandRankOfEchelon) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__commandRankOfEchelon,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__commandRankOfEchelon(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__subclass(V__ROW1,s__BodyPart) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__subclass(V__ROW2,s__BodyPart))
     =>
     ((s__subrelation(s__abbreviation,s__connectedBodyPart) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__connectedBodyPart,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__connectedBodyPart(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__MonitoringProgram) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__SymbolicString))
     =>
     ((s__subrelation(s__abbreviation,s__dataID) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__dataID,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__dataID(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Class) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Class))
     =>
     ((s__subrelation(s__abbreviation,s__disjoint) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__disjoint,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__disjoint(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__RoomInventory) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__subclass(V__ROW2,s__Object))
     =>
     ((s__subrelation(s__abbreviation,s__allRoomsPhysicalAmenity) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__allRoomsPhysicalAmenity,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__allRoomsPhysicalAmenity(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW1,s__WaterArea) &
       s__instance(V__ROW2,s__TimePosition) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__LengthMeasure))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__significantWaveHeight) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__significantWaveHeight,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__significantWaveHeight(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__DiseaseOrSyndrome) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__subclass(V__ROW2,s__TherapeuticProcess))
     =>
     ((s__subrelation(s__abbreviation,s__diseaseTreatment) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__diseaseTreatment,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__diseaseTreatment(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__subclass(V__ROW1,s__BiochemicalAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__DiseaseOrSyndrome))
     =>
     ((s__subrelation(s__abbreviation,s__biochemicalAgentSyndrome) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__biochemicalAgentSyndrome,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__biochemicalAgentSyndrome(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Experimenting) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Process))
     =>
     ((s__subrelation(s__abbreviation,s__conversionEvent) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__conversionEvent,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__conversionEvent(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Object) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Object))
     =>
     ((s__subrelation(s__abbreviation,s__covers) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__covers,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__covers(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Organism) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__TemperatureMeasure))
     =>
     ((s__subrelation(s__abbreviation,s__coreBodyTemp) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__coreBodyTemp,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__coreBodyTemp(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__subclass(V__ROW1,s__Process) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__subclass(V__ROW2,s__Process))
     =>
     ((s__subrelation(s__abbreviation,s__causesSubclass) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__causesSubclass,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__causesSubclass(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__LegalAction) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__CognitiveAgent))
     =>
     ((s__subrelation(s__abbreviation,s__defendant) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__defendant,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__defendant(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__FunctionQuantity) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Region) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__TimePosition))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__speedOfSound) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__speedOfSound,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__speedOfSound(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__AutonomousAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__UserAccount) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__TimeInterval))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__loggedInDuring) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__loggedInDuring,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__loggedInDuring(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Object) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__RadiationMeasure))
     =>
     ((s__subrelation(s__abbreviation,s__absorbedDose) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__absorbedDose,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__absorbedDose(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__GraphNode) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__GraphNode) &
       s__instance(V__ROW3,s__GraphArc) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__links) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__links,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__links(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Organization) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Organization))
     =>
     ((s__subrelation(s__abbreviation,s__ancestorOrganization) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__ancestorOrganization,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__ancestorOrganization(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW1,s__Translocation) &
       s__instance(V__ROW2,s__Object))
     =>
     ((s__subrelation(s__abbreviation,s__changesLocation) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__changesLocation,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__changesLocation(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__Region) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__TimePosition) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__LengthMeasure))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__visibilityInMeteorology) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__visibilityInMeteorology,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__visibilityInMeteorology(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__subclass(V__ROW1,s__Physical) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__FunctionQuantity) &
       s__instance(V__ROW3,s__Agreement) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__contractedRentalPrice) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__contractedRentalPrice,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__contractedRentalPrice(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__Attribute) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Attribute) &
       s__instance(V__ROW3,s__BinaryPredicate) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__contraryAttributeWRT) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__contraryAttributeWRT,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__contraryAttributeWRT(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Formula) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Formula))
     =>
     ((s__subrelation(s__abbreviation,s__causesProposition) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__causesProposition,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__causesProposition(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__CognitiveAgent) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Formula))
     =>
     ((s__subrelation(s__abbreviation,s__desires) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__desires,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__desires(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Process) &
       s__instance(V__ROW1,s__SymbolicString))
     =>
     ((s__subrelation(s__abbreviation,s__destination) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__destination,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__destination(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__Object) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__PhysicalQuantity) &
       s__instance(V__ROW3,s__DirectionalAttribute) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__surfaceWindVelocity) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__surfaceWindVelocity,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__surfaceWindVelocity(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Album) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Image))
     =>
     ((s__subrelation(s__abbreviation,s__albumCoverImage) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__albumCoverImage,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__albumCoverImage(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__subclass(V__ROW1,s__Object) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__LengthMeasure))
     =>
     ((s__subrelation(s__abbreviation,s__defaultMinimumWidth) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__defaultMinimumWidth,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__defaultMinimumWidth(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Physical) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__PlaneAngleMeasure))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__courseWRTCompassNorth) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__courseWRTCompassNorth,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__courseWRTCompassNorth(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW1,s__Transitway) &
       s__instance(V__ROW2,s__Region) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__Region))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__routeBetween) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__routeBetween,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__routeBetween(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW1,s__Vehicle) &
       s__instance(V__ROW2,s__LengthMeasure) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__LengthMeasure))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__maximumPayloadHeightWidth) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__maximumPayloadHeightWidth,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__maximumPayloadHeightWidth(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__Device) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__LengthMeasure))
     =>
     ((s__subrelation(s__abbreviation,s__effectiveRange) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__effectiveRange,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__effectiveRange(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__BankStatement) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Day))
     =>
     ((s__subrelation(s__abbreviation,s__dateOfStatement) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__dateOfStatement,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__dateOfStatement(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__Physical) &
       s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW3,s__LengthMeasure))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__distance) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__distance,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__distance(V__ROW1,V__ROW2,V__ROW3)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__AutonomousAgent))
     =>
     ((s__subrelation(s__abbreviation,s__alias) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__alias,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__alias(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2] :
(((s__instance(V__ROW1,s__ComputerProgram) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__instance(V__ROW2,s__List))
     =>
     ((s__subrelation(s__abbreviation,s__commandLineArguments) &
         s__instance(s__abbreviation,s__Predicate) &
         s__instance(s__commandLineArguments,s__Predicate) &
         s__abbreviation(V__ROW1,V__ROW2))
     =>
     s__commandLineArguments(V__ROW1,V__ROW2)))
)

! [V__ROW1,V__ROW2,V__ROW3] :
(((s__instance(V__ROW1,s__CurrencyMeasure) &
       s__instance(V__ROW1,s__SymbolicString) &
       s__subclass(V__ROW2,s__Object) &
       s__instance(V__ROW3,s__AutonomousAgent) &
       s__instance(V__ROW3,s__Language))
     =>
     ((s__subrelation(s__abbreviatedDisplayTitle,s__corkageFee) &
         s__instance(s__abbreviatedDisplayTitle,s__Predicate) &
         s__instance(s__corkageFee,s__Predicate) &
         s__abbreviatedDisplayTitle(V__ROW1,V__ROW2,V__ROW3))
     =>
     s__corkageFee(V__ROW1,V__ROW2,V__ROW3)))
)

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

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