/syntaxes/LOTOS/