%% ?- answer(X0).

answer(ok) :- ("P1Y" @< "P2Y"), ("P1Y2M" @> "P1Y1M").