Praxish: A Rational Reconstruction of a Logic-Based DSL for Modeling Social Practices. - James Dameris; Rosaura Hernandez Roman; Max Kreminski (AIIDE, 2023)