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.