Deriving Database Queries from Logical Forms by Abductive Definition Expansion