Inferential systems require structured knowledge; 'bachelor' entails 'unmarried' only if the system ...
This proposition has not been edited since the history system was added.