Ever and always relationships

eContains(OPS) → boolean
aContains(OPS) → boolean
eCovers(OPS) → boolean
aCovers(OPS) → boolean
eDisjoint(OPS) → boolean
aDisjoint(OPS) → boolean
eDwithin(OPS,float) → boolean
aDwithin(OPS,float) → boolean
eIntersects(OPS) → boolean
aIntersects(OPS) → boolean
eTouches(OPS) → boolean
aTouches(OPS) → boolean

The ever relationships determine whether the relationship holds at some instant, and the always ones whether it holds at every instant. A temporal rigid geometry answers them at the body its reference geometry places at each instant, so the relationship read is the one of the placed body rather than of the reference geometry at the origin.

SELECT eIntersects(trgeometry 'Polygon((0 0,1 0,1 1,0 1,0 0));
  [Pose(Point(0 0),0)@2001-01-01, Pose(Point(3 3),0)@2001-01-03]',
  geometry 'Polygon((0 0,0 2,2 2,2 0,0 0))');
-- true
SELECT aIntersects(trgeometry 'Polygon((0 0,1 0,1 1,0 1,0 0));
  [Pose(Point(0 0),0)@2001-01-01, Pose(Point(3 3),0)@2001-01-03]',
  geometry 'Polygon((0 0,0 2,2 2,2 0,0 0))');
-- false