Ricardo Contreras, Filip Smola, Jiawei Zheng, Jane Hillston, Jacques D. Fleuriot: Verifying Properties of Activities of Daily Living. DataMod 2024: 52-69