Գրեք սա: Transformations and their use in the resolution of syntactic homomorphy :