Don't PourCerealintoCoffee: Differentiable TemporalLogicforTemporalActionSegmentation