Frege Interpreter