https://1library.net/document/z3d3w9ey-deriving-database-queries-logical-forms-abductive-definition-expansion.html