r(Ys) :-
   [a,b|Xs] = [_|Ys],
   Xs = [e].



% :- initialization((r(Ys), writeq(Ys), nl, halt)).