Գրեք սա: Two-step approaches to natural language formalisms