Hi, As an addition to the previous mail I'd point out an existing proposal for SCL => SFOL translation on the SCL list: http://philebus.tamu.edu/pipermail/scl/2003-June/000269.html Regards, Tanel Tammet