Natural language reasoning about obligations, possibilities, and time-order requires explicit modal/...
This proposition has not been edited since the history system was added.