:- expects_dialect(lps).

maxTime(4).
if writeln(foo) at T then writeln(verdade-T2) from T1 to T2.