Describir: Grounding, Well-Foundedness, and Terminating Chains.