New example goal in the DCG example