Pulman, S. G. Second Order Inference in Natural Language Semantics. JLM 2018, 6, 1–40.