How do you translate non-categorical proposition to categorical proposition?