The kind of temporalized entity, which does not depend on any other entity except other time spans.
(=> (Time-Span ?Self) (Exists (?A) (And (Strictly-Depends-On ?Self ?A) (Time-Span ?A))))