Mit dieser Funktion kann ein logischer Ausdruck a ausgewertet werden. Siehe Details dazu bei Funktion evaluate term (a, b, c, d, e).

Der Rückgabewert der Funktion ist das Ergebnis der Auswertung von a.