Grounding and identity are distinct relations; non-reductive grounding (e.g., composition) successfu...
This proposition has not been edited since the history system was added.