%% ?- phrase([], [], not_a_terminal_sequence).