Hahn, Michael, and Frank Richter. 2016. “Henkin Semantics for Reasoning With Natural Language”. Journal of Language Modelling 3 (2):513–568. https://doi.org/10.15398/jlm.v3i2.113.