Evaluierungskarten - eingebettet - komplexe Logik