begin%temp%
TmpAgg2(tlx, tly, min(tlt)):- TmpAgg(tlx, tly, tlt).
end%temp%
