A system can represent knowledge-belief interaction semantically even if its syntax lacks explicit '...
This proposition has not been edited since the history system was added.