1:- module(dcg4pt_expand, []).    2:- reexport(library(dcg4pt)).    3
    4user:term_expansion(X1 --> Y1, [Rule]) :-
    5  dcg4pt:dcg4pt_rule_to_dcg_rule(X1 --> Y1, X2 --> Y2),
    6  dcg_translate_rule(X2 --> Y2, Rule)