Adds DCG definitions and commentaries.