The Existential Fragment of Third Order Logic and Third Order Relational Machines