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