Two entities whatsoever existing in disjoint time-spans. This is useful for temporal precedence involving non-temporalized entities.
(=> (Antedates ?A ?B) (Exists (?Z ?W) (And (Time-Span ?Z) (Time-Span ?W) (Temporally-Contains ?Z ?A) (Temporally-Contains ?W ?B) (Precedes ?Z ?W))))