_:nontermA "terminalB" . _:nontermA "terminalC" _:nontermA _:nontermD _:nontermD _:nontermE _:nontermE "terminalF" _:nontermE "terminalG"