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

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