NL1-S4-Symbolisation