! [V__OBJ1,V__OBJ2] :
(((s__instance(s__onboard,s__BinaryPredicate) &
       s__instance(s__onboard,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__onboard(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__physicalAmplitude,s__BinaryPredicate) &
       s__instance(s__physicalAmplitude,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__physicalAmplitude(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__quarter,s__BinaryPredicate) &
       s__instance(s__quarter,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__quarter(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__connectedEngineeringComponents,s__BinaryPredicate) &
       s__instance(s__connectedEngineeringComponents,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__connectedEngineeringComponents(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__half,s__BinaryPredicate) &
       s__instance(s__half,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__half(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__postCity,s__BinaryPredicate) &
       s__instance(s__postCity,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__postCity(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__routeInSystem,s__BinaryPredicate) &
       s__instance(s__routeInSystem,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__routeInSystem(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__keyName,s__BinaryPredicate) &
       s__instance(s__keyName,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__keyName(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__telecomCode2,s__BinaryPredicate) &
       s__instance(s__telecomCode2,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__telecomCode2(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__part,s__BinaryPredicate) &
       s__instance(s__part,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__part(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__pathInSystem,s__BinaryPredicate) &
       s__instance(s__pathInSystem,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__pathInSystem(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__politicalPartyOfCountry,s__BinaryPredicate) &
       s__instance(s__politicalPartyOfCountry,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__politicalPartyOfCountry(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__inString,s__BinaryPredicate) &
       s__instance(s__inString,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__inString(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__connectedRegions,s__BinaryPredicate) &
       s__instance(s__connectedRegions,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__connectedRegions(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__larger,s__BinaryPredicate) &
       s__instance(s__larger,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__larger(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__streamOutfall,s__BinaryPredicate) &
       s__instance(s__streamOutfall,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__streamOutfall(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__postDistrict,s__BinaryPredicate) &
       s__instance(s__postDistrict,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__postDistrict(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__powerComponent,s__BinaryPredicate) &
       s__instance(s__powerComponent,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__powerComponent(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__properPart,s__BinaryPredicate) &
       s__instance(s__properPart,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__properPart(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__completelyFills,s__BinaryPredicate) &
       s__instance(s__completelyFills,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__completelyFills(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__properlyFills,s__BinaryPredicate) &
       s__instance(s__properlyFills,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__properlyFills(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__geneticSubstrateOfVirus,s__BinaryPredicate) &
       s__instance(s__geneticSubstrateOfVirus,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__geneticSubstrateOfVirus(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__subString,s__BinaryPredicate) &
       s__instance(s__subString,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__subString(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__third,s__BinaryPredicate) &
       s__instance(s__third,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__third(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__exactlyLocated,s__BinaryPredicate) &
       s__instance(s__exactlyLocated,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__exactlyLocated(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__parallelLinesInSpace,s__BinaryPredicate) &
       s__instance(s__parallelLinesInSpace,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__parallelLinesInSpace(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__contains,s__BinaryPredicate) &
       s__instance(s__contains,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__contains(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__centerOfMass,s__BinaryPredicate) &
       s__instance(s__centerOfMass,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__centerOfMass(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__geopoliticalSubdivision,s__BinaryPredicate) &
       s__instance(s__geopoliticalSubdivision,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__geopoliticalSubdivision(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__overlapsSpatially,s__BinaryPredicate) &
       s__instance(s__overlapsSpatially,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__overlapsSpatially(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__smaller,s__BinaryPredicate) &
       s__instance(s__smaller,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__smaller(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__penetrates,s__BinaryPredicate) &
       s__instance(s__penetrates,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__penetrates(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__connected,s__BinaryPredicate) &
       s__instance(s__connected,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__connected(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__traverses,s__BinaryPredicate) &
       s__instance(s__traverses,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__traverses(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__fills,s__BinaryPredicate) &
       s__instance(s__fills,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__fills(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__telecomCountryCode,s__BinaryPredicate) &
       s__instance(s__telecomCountryCode,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__telecomCountryCode(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__piece,s__BinaryPredicate) &
       s__instance(s__piece,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__piece(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__telecomCoreNumber,s__BinaryPredicate) &
       s__instance(s__telecomCoreNumber,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__telecomCoreNumber(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__geographicSubregion,s__BinaryPredicate) &
       s__instance(s__geographicSubregion,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__geographicSubregion(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__postCountry,s__BinaryPredicate) &
       s__instance(s__postCountry,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__postCountry(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__postPostcodeArea,s__BinaryPredicate) &
       s__instance(s__postPostcodeArea,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__postPostcodeArea(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__located,s__BinaryPredicate) &
       s__instance(s__located,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__located(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__partiallyFills,s__BinaryPredicate) &
       s__instance(s__partiallyFills,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__partiallyFills(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__partlyLocated,s__BinaryPredicate) &
       s__instance(s__partlyLocated,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__partlyLocated(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__telecomAreaCode,s__BinaryPredicate) &
       s__instance(s__telecomAreaCode,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__telecomAreaCode(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__primaryGeopoliticalSubdivision,s__BinaryPredicate) &
       s__instance(s__primaryGeopoliticalSubdivision,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__primaryGeopoliticalSubdivision(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__physicalEnd,s__BinaryPredicate) &
       s__instance(s__physicalEnd,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__physicalEnd(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__agentOperatesInArea,s__BinaryPredicate) &
       s__instance(s__agentOperatesInArea,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__agentOperatesInArea(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__component,s__BinaryPredicate) &
       s__instance(s__component,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__component(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__covers,s__BinaryPredicate) &
       s__instance(s__covers,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__covers(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__hole,s__BinaryPredicate) &
       s__instance(s__hole,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__hole(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__postNeighborhood,s__BinaryPredicate) &
       s__instance(s__postNeighborhood,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__postNeighborhood(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__interiorPart,s__BinaryPredicate) &
       s__instance(s__interiorPart,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__interiorPart(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__cylinderBore,s__BinaryPredicate) &
       s__instance(s__cylinderBore,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__cylinderBore(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__most,s__BinaryPredicate) &
       s__instance(s__most,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__most(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__headquartersOfOrganization,s__BinaryPredicate) &
       s__instance(s__headquartersOfOrganization,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__headquartersOfOrganization(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__engineeringSubcomponent,s__BinaryPredicate) &
       s__instance(s__engineeringSubcomponent,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__engineeringSubcomponent(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__administrativeCenter,s__BinaryPredicate) &
       s__instance(s__administrativeCenter,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__administrativeCenter(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__absoluteHeight,s__BinaryPredicate) &
       s__instance(s__absoluteHeight,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__absoluteHeight(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__capitalCity,s__BinaryPredicate) &
       s__instance(s__capitalCity,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__capitalCity(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)