A proceeding to enforce a lien by a sale of the property in order to satisfy the debt.