% Inspired by Logtalk's invalid nonterminal translation cases.
3 --> [].
%% ?- phrase(p, []).