HRNF has judgment liens against it
Highlights from the sunbiz (Florida) judgment lien site
-The judgment debtor may also select personal property worth up to $1,000, and one motor vehicle worth up to $1,000, as exempt property. Only people have exemptions. If your judgment is against a corporation or a partnership, the sheriff can seize all of its property. Of course, the sheriff can only levy on property the judgment debtor truly owns - not property owned by somebody else, such as leased property.
-If the judgment debtor does not pay, you are entitled to get the sheriff to seize the judgment debtor's property. The seizing of property by the sheriff is called a levy. Once the sheriff has levied on the property, the sheriff will then sell it, and pay you out of the money the sheriff receives from the sale. This process is called execution.