If 'bachelor' semantically entails 'unmarried male,' the inference holds logically even when express...
This proposition has not been edited since the history system was added.