Temporal connection; diagrammatically: --.
(=> (Meets ?A ?B) (Not (Exists (?Z) (And (Time-Span ?Z) (Precedes ?Z ?B) (Precedes ?A ?Z)))))