label(X) :- labeling([], X).
time(X) :- X.