Может быть Вы проглядели?
> -- Цитата:
> ...                                           We call these formulas , or simply. Subject and predicate are syntactic classes. A shorter notation for the above omitsmeaningful identifiers: