Editing of the writing inference rules document