 One could also consider trying to define grounding in terms of naturalness. Here is a simple proposal, using the notion of naturalness for propositions (see §3.3), and assuming that facts are equated with true propositions: