// Error: Schedule blocks overlap in time
// Demonstrates ScheduleOverlap validation error

schedule DailyRoutine {
    08:00 -> 12:30: work
    12:00 -> 13:00: lunch
    13:00 -> 17:00: work
}