Modal Categorical Inferences in Quarc. - Simon Dominik Vonlanthen; Matteo Pascucci (FCR@KI, 2024)