While this CFG defines the structure of conversation trees, by itself this grammar is insufficient for our task.
it contains a single nonterminal of each type (S, X, T , C) and so does not distinguish between topics.