Hahn, Michael, and Frank Richter. “Henkin Semantics for Reasoning With Natural Language”. Journal of Language Modelling 3, no. 2 (February 11, 2016): 513–568. Accessed June 25, 2022. https://jlm.ipipan.waw.pl/index.php/JLM/article/view/113.