% phrase//1 propagates its grammar-body instantiation requirement.
invoke(Body) --> phrase(Body).
%% ?- phrase(invoke(Body), []).