Hahn, M., & Richter, F. (2016). Henkin semantics for reasoning with natural language. Journal of Language Modelling, 3(2), 513–568. https://doi.org/10.15398/jlm.v3i2.113