Title: Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021)