timeline-based reasoning