Ph.D. Student at the University of Manchester specialising in Decidable Fragment of First-Order Logic
\(\mathfrak{A}, \mathrm{this\_url} \not\models \mathrm{page}(x)\).
