%% goal: answer(X0)

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