Top category.

The top category for the grammar (or start symbol) is defined by the unary predicate top_category. Its argument is an arbitrary non-variable Prolog term.