Federal Taxes: Fed Tax Lien Form 668 (Y) (C) Filed Against Property Already Sold

Storyline: IRS Files Tax Lien Form 668 (Y)(c) in 2017. Trouble is, the property was already sold in 2014. In other words, Fed Tax lien was filed after equity in property was already liquidated.

Does this violate proper procedure for IRS?
And besides disputing with TransUnion, Equifax, or Experian, what steps can consumer take to remove the lien?

Federal Taxes: Fed Tax Lien Form 668 (Y) (C) Filed Against Property Already Sold