If names are difficult to render in standard form, time expressions, usually rendered by adverbs such as today, now, later, etc. are just about impossible to translate recognizably. In this case, the subject is all of us. And all of us are things that are leaving today. There are numerous other types of sentences that look quite different from standard-form categorical claims, but can be appropriately translated with a little imagination. Replacing English category names with letter variables, as in the example above, removes some of the stylistic clumsiness of standard form claims and requires less writing also.
Some fattening things are healthy.
So, some desserts are healthy. So, back to our task of simplifying things. There's nothing necessary about simplifying things this way, but when it's helpful, go for it. One type of situation in which this sort of simplification is helpful occurs when we have to manipulate categories to get a clearer picture of how things relate to each other. That's one of the purposes of the immediate inferences we'll be looking at next.