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