Appendix for Don't Pour Cereal into Coffee: Differentiable Temporal Logic for Temporal Action Segmentation Ziwei Xu Yogesh S Rawat Yongkang Wong Mohan S Kankanhalli Mubarak Shah