Occurrence Logic with Temporal Heredity