Part of an if statement or part of the and then operator.
then is defined in ISO 7185 Pascal and supported by all known Pascal variants.
program ThenDemo;
var
i: Integer;
begin
Write ('Enter a number: ');
ReadLn (i);
if i > 42 then
WriteLn ('The number is greater than 42')
end.