This paper presents the NL2KR platform to build systems that can translate text to different formal languages. It is freely available, customizable, and comes with an Interactive GUI support that is useful in the development of a translation system. Our key contribution is a user friendly system based on an interactive multistage learning algorithm. This effective algorithm employs Inverse-Lambda, Generalization and user provided dictionary to learn new meanings of words from sentences and their representations. Using the learned meanings, and the Generalization approach, it is able to translate new sentences. ANON is evaluated on two standard corpora, Jobs and GeoQuery and t exhibits state-of-the-art performance on both of them.