Some progress on syntax translation