% A semicontext with an uninstantiated tail cannot be translated.
p, [a|Tail] --> [].
%% ?- phrase(p, []).