The Semantic Representation of Natural Language by Matthew Donald & Michael Levison