le_pat for intervals