Convert sentences in first-order logic to SQL statements.