semantischen Regeln korrekten Folgerns /