häufig Oberbegriff für beliebige Wörter und syntaktisch korrekte Zusammensetzungen aus Wörtern oder Wortfolgen, meist aber synonym zu Formel, d. h. zu einer Zeichenreihe, die bei Ersetzung der Objektvariablen durch Eigennamen in Aussagen übergeht.